Ableiten der Eigenschaft t aus der Existenz der Eigenschaft p ohne Untereigenschaft axiom

Question

Angenommen, Sie haben eine Eigenschaft p. Wie kann ich das folgende Problem mit OWL2 modellieren (ich spreche nur über Objekteigenschaften):

Ich möchte die Eigenschaft t erfierbar aus der Existenz einer Instanz der Eigenschaft p, ohne die Verwendung der Untereigenschaft Axiom. Oder: wenn es ein Triple wie A p B -> gibt, möchte ich das folgende Triple A t B ableiten, aber dort würde keine p rdfs:subpropertyOf+ t in meiner Ontologie sein (auch keine Eule: equivalentProperty ebenso!).

Ich kann das Subproperty-Axiom nicht verwenden, da dies in der Tat bedeuten würde, eine fremde Ontologie zu entführen. Und ich kann diese Eigenschaften nicht durch meine eigenen ersetzen, da sie gut etabliert sind. Ich weiß, ich kann dies für Eigenschaftswege mit mehr als einer Eigenschaft tun, indem Sie das Axiom der Eigenschaftskette verwenden. Aber da dieses Axiom mindestens zwei Eigenschaften benötigt, stecke ich mit diesem Problem fest.

Jede Hilfe wäre willkommen.

Answer 1

Ich würde versuchen, mit

some p A subClassOf some r A 

Jedes Mal, wenn eine Person einen r-Füllstoff vom Typ A hat, wird es auch die gleichen Personen für Having hat einen p-Füllstoff vom Typ A abgeleitet wird beide erfordern ein eher feinsinniger Ansatz.

Allerdings denke ich, dass ein Untereigenschaftsaxiom die beste Lösung ist.