OWL-Typ-Inferenz mit einer Einschränkung
Ich studiere den Begriff der OWL-Beschränkungen mit Protege 4 unter Verwendung von FaCT ++ und einer trivialen Ontologie. Angenommen, ich habe eine Personfoo
der KlasseSomething
:
:Something a owl:Class.
:foo a :Something, owl:NamedIndividual.
und eine andere Klasse, die aus einer Einschränkung deshasBar
Eigentum:
:hasBar a owl:ObjectProperty.
:SomethingElse owl:equivalentClass [a owl:Restriction;
owl:onProperty :hasBar;
owl:allValuesFrom :Something].
Wenn ich das behaupte:
:x :hasBar :foo.
warum kann ich daraus nicht schließen, dassx
ist einSomethingElse
(über die Tatsache, dassfoo
ist einSomething
)? Die einzige Möglichkeit, es zum Laufen zu bringen, ist, wennrange
vonhasBar
ist definiert:
:hasBar a owl:ObjectProperty;
rdfs:range :Something.
Das möchte ich aber vermeiden, denn es schränkt ein, worum es sich handeln kannhasBar
(was mir weiter Ärger macht).