Sagt mal, ich möchte ja niemandem zunahe treten, aber kann den Artikel jemand mal in verständliches-Nicht-Informatiker-Deutsch übersetzen? Ich als Geisteswissenschaftler hab nämlich spätestens hier kein Wort mehr verstanden: Dies ist die Ebene, deren Semantik noch am ehesten an DAML+OIL heranreicht. DL steht für die Beschreibungslogik (description logic) \mathcal{SHOIN} (D), welche zu einer entscheidbaren 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. Ich interessiere mich echt für OWL aber ich möchte keine Informatik studieren, um es verstehen zu können. Oder muss ich das?! (Ernste Frage, bitte nicht übelnehmen) -- Davie 22:03, 29. Nov. 2006 (CET)