Wenn% A eine Unterklasse von B ist, beschränkt dies A notwendigerweise auf alle Merkmale von B , aber nicht umgekehrt . In Ihrem Beispiel A = Teenager und B = hasAge [12:19] (meine eigene Notation, aber Sie bekommen die Idee).
Das bedeutet, dass jede Instanz von Teenager in der OWL-Ontologie notwendigerweise auch die Eigenschaft hasAge mit einem Wert im Bereich [12:19] haben muss, aber umgekehrt nicht um herum. Dies bedeutet insbesondere nicht, dass eine Instanz von etwas mit der Eigenschaft hasAge mit einem Wert im Bereich [12:19] ebenfalls eine Instanz von Teenager ist. Um dies zu verdeutlichen, betrachten Sie eine Instanz (namens c ) der Klasse Car . Wir könnten das auch sagen:
c . hasAge 13
Dies besagt, dass die Instanz c von Car 13 Jahre alt ist. Mit dem Axiom der Unterklasse, das Teenager oben definiert, würde ein Reasoner jedoch nicht folgern, dass c auch eine Instanz von Teenager ist (vielleicht so, wie wir es wollen) , wenn Jugendliche Leute sind, keine Autos).
Der Unterschied bei der Verwendung von Äquivalenz ist, dass die Unterklassenbeziehung impliziert wird, dass sie in beide Richtungen gehen. Wenn wir stattdessen das zweite Axiom, das Teenager als äquivalent definiert hat, zu einem Objekt mit der Eigenschaft hasAge mit einem Wert im Bereich [12:19] hinzufügen, würde ein Reasoner dies ableiten Das Auto c ist auch eine Instanz von Teenager .
Äquivalente Klassen können die gleichen Mitglieder haben, z. B.
%Vor%werden beide die gleichen Personen haben (alle oder einige der US-Präsidenten). Wenn wir also behaupten, dass John Adams ein USCommanderInChief war, kann man folgern, dass John Adams auch US-Präsident war.
Mit der Unterklasse geben wir eine Hierarchie an. Beispielsweise ist GrannySmithApple eine Art von Apple.
Tags und Links owl