Badam pojęcie ograniczeń OWL z Protege 4 używając FaCT ++ i trywialną ontologię. Przypuśćmy, że mam osobęfoo klasySomething:

:Something a owl:Class.
:foo a :Something, owl:NamedIndividual.

i inna klasa zdefiniowana na podstawie ograniczeniahasBar własność:

:hasBar a owl:ObjectProperty.
:SomethingElse owl:equivalentClass [a owl:Restriction;
                                    owl:onProperty :hasBar;
                                    owl:allValuesFrom :Something].

Jeśli stwierdzę, że:

:x :hasBar :foo.

dlaczego nie mogę z tego wywnioskowaćx jestSomethingElse (przez to, żefoo jestSomething)? Jedyny sposób, w jaki mogę to zrobić, to to, czyrange zhasBar definiuje:

:hasBar a owl:ObjectProperty;
        rdfs:range :Something.

Ale chciałbym tego uniknąć, ponieważ ogranicza to, co może być przedmiotemhasBar (co powoduje dalsze kłopoty).