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).