core
type: Ontology
dgs: Adrian Paschke
creator: Ralph Schäfermeier
comment: This ontology defines the core concepts and relations of Aspect-Oriented Ontology Development (AOOD). AOOD is a generic representation model for context-sensitive knowledge. AspectOWL is an instance of AOOD and an extension of the W3C Web Ontology Language (OWL) version 2. AspectOWL allows for the representation of context in terms of instances of a special kind of OWL class, called "Aspect" and introduces a new kind of relation that allows to connect Aspect (sub) classes to any kind of OWL axiom. The semantics of AspectOWL are based on the possible world semantics of (multi-)modal logics and involve the use of accessibility relations. This ontology defines the core concepts of AOOD (and AspectOWL), such as Aspect and the accessibility relation. The core ontology is intended to be augmented by modules specializing these concepts and relations by creating sub entities (sub classes and sub object properties, respectively) and adding restrictions, which correspond to the semantics of a particular type of context they are supposed to represent. It is distributed along with a set of predefined modules, namely: simple, temporal, topological, epistemic, deontic, and dynamic aspect modules.

accessible
type: ObjectProperty
label: erreichbar @de

aspect
type: Class
creator: Ralph Schäfermeier
comment: "Aspect" constitutes the core concept of the Aspect-Oriented Ontology Development (AOOD) paradigm. Concrete aspects (such as the temporal aspect defining the temporal context of Barack Obama's US Presidency) must be (direct or indirect) subclasses of Aspect. The subclass relationship is not required to be specified explictly by an ontology developer. An AOOD-enabled OWL reasoner, however, *must* infer the subclass relationship for every class expression that is used as an aspect. Instances of a (direct or indirect) subclass of Aspect represent possible worlds (in the sense of Kripke's semantics for Modal Logics). Its use in combination with the "accessible" relation allows the definition of coherent contexts that influence the interpretation of axioms (the mapping of axioms to a truth value).
comment: "Aspekt" stellt den Kernbegriff des Paradigmas der Aspektorientierten Ontologieentwicklung (Aspect-Oriented Ontology Development, AOOD) dar. Konkrete Aspekte (wie z.B. der temporale Aspekt, der den zeitlichen Kontext Barack Obamas US-Präsidentschaft definiert) müssen (direkte oder indirekte) Unterklassen von Aspekt sein. Die Unterklassenrelation muss nicht zwingend explizit durch Ontologieentwickler:innen spezifiziert werden. Jedoch *muss* eine AOOD-fähige OWL-Inferenzmaschine (Reasoner) jede Unterklassenbeziehung für jeden Klassenausdruck, der als Aspekt verwendet wird, herleiten. Instanzen einer Aspekt-Unterklasse repräsentieren mögliche Welten (im Sinne von Kripkes Semantik für Modale Logiken). In Kombination mit der Erreichbarkeitsrelation lassen sich zusammenhängende Kontexte definieren, die die Interpretation von Axiomen (deren Abbildung auf einen Wahrheitswert) beeinflussen. @de
label: Aspekt @de