Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

7 Konzeptbeschreibungssprachen
Eine OWL Lite- oder OWL DL- Ontologie entspricht einer TBox zusammen mit einer
Rollenhierarchie, die den Wissenbereich mittels Konzepten und Rollen beschreiben. Allerdings
wird in OWL statt Konzept der Begriff Klasse (Class) und statt Rolle der Begriff Eigenschaft
(Property) verwendet. Eine Ontologie besteht aus einer Menge von Axiomen, die
beispielsweise Subsumtionsbeziehungen zwischen Konzepten (oder Rollen) zusichern.
Genau wie in den bereits gesehenen Beschreibungslogiken werden OWL Klassen durch
einfachere Klassen und Konstruktoren gebildet. Die in OWL verfügbaren Konstrukte und
ihre Entsprechung in Beschreibungslogik zeigt die folgende Tabelle:
Konstruktor
Syntax in DL
owl:Thing ⊤
owl:Nothing ⊥
intersectionOf C 1 ⊓ . . . ⊓ C n
unionOf C 1 ⊔ . . . ⊔ C n
complementOf ¬C
oneOf {a 1 , . . . , a m }
allValuesFrom ∀R.C
someValuesFrom ∃R.C
hasValue ∃R.{a}
minCardinality ≥ nR
maxCardinality ≤ nR
inverseOf R −
Die RDF/XML-Darstellung ist dabei noch nicht gezeigt, da sie ziemlich unübersichtlich
ist. Z.B. kann das Konzept Mensch ⊓ Weiblich in XML-Notation als
geschrieben werden, und ≤ 2hatKind⊤ kann als
2
geschrieben werden.
Konstrukte zum Formulieren von Axiomen zeigt die folgende Tabelle
Stand: 30. Januar 2013 256 M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13