OWL DL |
Kommentar | Dies ist die Ebene, deren Semantik noch am ehesten an DAML+OIL heranreicht. DL steht für die Beschreibungslogik (description logic) , welche zu einer entscheidbare Untermenge der Prädikatenlogik erster Stufe äquivalent ist. Um die Abbildbarkeit auf diese Logik zu gewährleisten, wurden diverse Einschränkungen für den Einsatz von RDFS-Konstrukten eingefügt, zum Beispiel darf eine Klasse nicht Instanz einer anderen Klasse sein. |
Diagramm | SemTalk und OWL |
Oberklasse | OWL |
zur Erstellung von | Beschreibungslogik |
basiert auf | RDF |
ist Sprache zur Beschreibung von | Ontologie |
inv generiert | SemTalk OWL Edition |