Was sind die OWL Ontologie Sprachgrenzen? Wie:OWL Ontologie Sprachgrenzen
Was noch?
Die Grenzen von OWL werden durch die Grenzen der Logik des jeweiligen OWL-Dialekts bestimmt. Dies ist die Taxonomie der OWL2 Dialekte:
-First Bestellen Logic
--SWRL/RIF
--- OWL DL
---- OWL EL, RL, QL
----- Konzept Hierarchies
--OWL Voll
--- OWL D L
---- OWL EL, RL, QL
----- Konzept Hierarchies
--- RDFS
----- Konzepthierarchien
Sie kann mehr über diese Dialekte finden here.
Der am häufigsten verwendete Dialekt ist OWL-DL, da er eine gute Balance zwischen Aussagekraft und Entscheidbarkeit bietet. Es gibt ein Klassifizierungssystem für die Beschreibungslogik, um die Aussagekraft zu bestimmen:
"AL" erlaubt: atomare Negation; Konzept Kreuzung; Universelle Einschränkungen; Begrenzte existenzielle Quantifizierung
"FL" erlaubt: Konzept-Schnittpunkt; Universelle Einschränkungen; Begrenzte existenzielle Quantifizierung; Rolleneinschränkung
"EL" erlaubt: Konzeptschnitt; Existentielle Einschränkungen
Dann gibt es folgende Erweiterungen:
„F“ - Funktionseigenschaften, ein Spezialfall der Eindeutigkeit.
"E" - Full Existenz Qualifikation
"U" - Konzept-Union.
"C" - Komplexe Konzept-Negation.
"H" - Rollenhierarchie (Untereigenschaften - rdfs: subPropertyOf).
"R" - Begrenzte komplexe Rolleneinschlussaxiome; Reflexivität und Irreflexivität; Rollen-Disjunktheit.
"O" - Nennwerte. (Aufgezählte Klassen von Objektwerteinschränkungen - owl: oneOf, owl: hasValue).
"I" - Inverse Eigenschaften.
"N" - Kardinalität Einschränkungen (owl: Kardinalität, owl: maxCardinality), einem Sonderfall der
Quantifizierungs Zählen"Q" - Qualified Kardinalität Beschränkungen
"D" - Verwendung von Datentyp-Eigenschaften, Datenwerte oder Datentypen.
Gemäß dieser Klassifikation ist die Aussagekraft von OWL2-DL (SHROIQ (D)), wobei "S" für eine Abkürzung für "ALC" mit transitiven Rollen steht. (Anmerkung: Es gibt einen terminologischen Unterschied zwischen DL und OWL, zum Beispiel verwendet die OWL-Spezifikation "Eigenschaften", während DL "Rollen" verwendet).
Also, die kurze Antwort auf Ihre Frage lautet: Die Grenzen von OWL2-DL sind (SHROIQ (D)).
Kann ich eine Klasse mit anderen Eltern verwenden? (Mehrfachvererbung) Protege erlaubt es nicht, diese
sollten Sie vorsichtig sein, wenn sie versuchen, Metaphern aus anderen Modellierparadigmen anzuwenden. Streng genommen sind "Eltern" und "Vererbung" in OWL nicht anwendbar. Wir können sagen, dass es etwas wie das Teilen von Eigenschaften gibt, aber seine Richtung ist - anders als im objektorientierten Paradigma - aufwärts und nicht abwärts gerichtet. OWL verwendet "Klassen", aber Sie sollten sie als Mengen betrachten, nicht als "Klassen" von OO. Setzt man, kann eine Klasse als Unterklasse verschiedener Klassen fungieren und Protégé erlaubt dies. Tatsächlich wird es ziemlich oft benutzt. "Boar" ist eine Unterklasse von "Bear" und "Male", genauso wie "Bull" eine Unterklasse von "Cattle" und "Male" ist. Wir können immer eine Reihe von Eigenschaften finden, um eine neue Klasse zu erstellen. Alle bisherigen Beispiele wären natürlich Unterklassen von "Mammal" und dann von "Animal", aber sie können auch Unterklassen von z.B. "Zweiäugige Agenten", eine Klasse, die Unterklassen haben kann, die keine Tiere sind, zum Beispiel "zweiäugige Roboter".
Welche Charaktere, die ich kann oder nicht
OWL verwenden können, hat verschiedene periodische Veröffentlichungen wie zum OWL/XML, Turtle usw. Jeder hat seine eigene Syntax ist.
Als Sie nach nützlichen Ressourcen gefragt, wäre eine solche natürlich die OWL primer. Ich würde auch empfehlen this free course.