Allgemeine Klasse Axiome

Question

OWL AXIOM Ausdrücke:

Gegeben: owl: Klasse Sport

Ausgang: zusätzlich zu den bestehenden owl: Objekteigenschaften möchte ich die Eule hinzuzufügen: Objekteigenschaft Spieler mit dem Wert Peter zu jeder Instanz vom Typ Eule: Klasse Sport. Das bedeutet, dass jede Person vom Typ Eule: Klassensport diese Objekteigenschaft mit dem Wert Peter geerbt haben soll.

Mein erster Gedanke war, es mit einem allgemeinen Klassenaxiom auszudrücken. Hier bin ich mir nicht wirklich sicher, ob das a) möglich ist und b) besser ist, es mit einer SPARQL-Update-Abfrage für intnt in Jena zu machen. Was würdest du mir empfehlen? Und wie würde solch ein allgemeines Klassenaxiom aussehen, wenn es in der Eulenmanchestersyntax ist

Answer 1

Wenn ich Sie richtig verstehe, brauchen Sie kein allgemeines Klassenaxiom dafür. Sie wollen einfach nur die "normalen" Unterklasse Axiom:

        Sport subClassOf (Spieler Wert Peter)

, die besagt, dass jede Instanz von SportPeter als Wert für die Eigenschaft Spieler.