The deontic accessibility relations that describes the deontic compatibiliy between states of affairs. For example, a violation of of a prohibitive rule may be represented by axiomatizing the rule and the real state of affairs of the universe using DL axioms and putting them into a Prohibited and the Reality aspect, respectively. Any contradictions found between the two contextualized axiomatizations indicate a rule violation.
This axiom is to ensure the serial condition on all frames that include the "accepts" relation.
Deontic Aspect
Deontischer Aspekt
Geboten
Obligatory
Erlaubt
Permissible
Prohibited
Verboten
Der deontische Kontext, der die Realität repräsentiert. Es wird hier dem ontologieschen Prinzip gefolgt, dass genau eine objektive Realität existiert (aber beliebig viele mögliche Realitäten). Dieser Annahme folgend ist die Klasse "Realität" als Singleton Nominal definiert und hat folglich genau eine Instanz (das Individual, das die einzige "reale Welt" repräsentiert).
The deontic context representing reality. The underlying ontological principle that is followed here is that there exists exactly one reality (but arbitrarily many possible realities). Therefore, Reality is defined as a singleton nominal, having exactly one member (the individual representing the one and only "real world").
Reality
Realität