Ontologien in DL-Syntax schreiben?

Question

Ich habe gerade OWL und Protege entdeckt. Nach dem Lesen von this Referenzseite (die ich unten zitieren), bin ich links fragen, ob es möglich ist, nicht verwenden Sie die abstrakte Syntax OWL, und eher in DL-Syntax zu schreiben. Mein Hintergrund ist logisch, also klingt es, als würde es mehr Spaß machen, selbst wenn ich die Ontologien später übersetzen müsste (obwohl ich sicher bin, dass es dafür Anwendungen geben muss - außerdem don't reasoners use DL?).

Wenn es möglich ist, welche Konfiguration der Einstellungen sollte ich in Protege (oder andere Software Ihres Vorschlags) verwenden, um dies zu tun? Ich vermute, es ist nicht möglich, aber ich will sicher sein, da ich dafür keinen anderen Grund als die Peinlichkeit spezieller Symbole sehe.

EDIT: Wenn es nicht möglich ist, wie genau werden DL-Sprachen verwendet?

OWL DL ist die Beschreibung Logik SHOIN mit Unterstützung von Datenwerten, Datentypen und Datentyp-Eigenschaften, dh SHOIN (D), aber da OWL auf RDF basiert (S), die Terminologie unterscheidet sich geringfügig . ... Zur Beschreibung der OWL-Ontologie oder des Wissens kann die DL-Syntax verwendet werden. Es gibt eine "abstrakte" LISP-ähnliche Syntax definiert, die einfacher in ASCII-Zeichensatz schreiben ist.

Hier ist ein very brief working example of the two syntax styles für die gleichen Daten.

Answer 1

nicht vernünftige DL verwenden?

Nicht unbedingt. Sie verwenden alle Arten von Logiken, von denen einige DLs sind, andere nicht.

Wenn es möglich ist, welche Konfiguration der Einstellungen sollte ich in Protege (oder andere Software Ihres Vorschlags) verwenden, um dies zu tun?

Ich bin mir ziemlich sicher, dass es für Protégé kein solches Plug-in gibt. Aber wenn Sie wirklich Spaß haben möchten, verwenden Sie einen Texteditor und schreiben Sie Ihre Ontologie von Hand. Es gibt viele Syntaxen, die Sie verwenden können: die functional syntax, die OWL/XML syntax, die RDF/XML syntax sind alle normativ. Darüber hinaus können Sie die Manchester syntax, Turtle, N-Triples, JSON-LD, verwenden, die zukünftige Empfehlungen für das Schreiben von RDF (und damit OWL) sein werden. Oder die exotischere RDF/JSON, HDT. Oder wieder, mehr "starke" Syntaxen wie Notation3, TriG, TriX, NQuads. Viel Spaß!

In jedem Fall, wenn Sie in der DL-Syntax schreiben möchten, müssten Sie spezielle Unicode-Zeichen oder spezielle Befehle wie in LaTeX zum Beispiel verwenden. Und der Parser, der damit beschäftigt ist, müsste diese Zeichen oder Befehle lesen. Nicht ideal, wenn Sie programmieren. Aber Sie können immer die DL-Syntax in Ihren Schriften verwenden.

BTW, der aktuelle Standard Web Ontology Language ist OWL 2. Seine DL-Variante (nämlich OWL 2 DL) basiert auf the even more irresistible SROIQ.