deontic
type: Ontology
imports: core
creator: Ralph Schäfermeier

accepts
type: ObjectProperty
sub property of: accessible
comment: 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.

Axiom
annotated source: Thing
annotated property: subClassOf
annotated target: Restriction
comment: This axiom is to ensure the serial condition on all frames that include the "accepts" relation.

Deontic Aspect
type: Class
equivalent class: Restriction
  some values from: Deontic Aspect
  on property: accepts
subclass of: Aspect
label: Deontischer Aspekt @de

Obligatory
type: Class
equivalent class: Restriction
  all values from: Reality
  on property: accepts
subclass of: Deontic Aspect
label: Geboten @de

Permissible
type: Class
equivalent class: Restriction
  some values from: Reality
  on property: accepts
subclass of: Deontic Aspect
label: Erlaubt @de

Prohibited
type: Class
equivalent class: Class
  complement of: Permissible
subclass of: Deontic Aspect
label: Verboten @de

Reality
type: Class
equivalent class: Class
  one of: Reality
subclass of: Deontic Aspect
type: NamedIndividual
comment: 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). @de
comment: 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").
label: Realität @de