Search Mailing List Archives
[protege-owl] Query: Subclasses or Sibling
tredmond at stanford.edu
Fri Apr 6 09:42:42 PDT 2007
> Can someone give a quick example showing the Uncle problem in OWL 1.1?
The short story is that in OWL 1.1 allows you to say that a
composition of properties is a sub property of another property.
Thus you can say that
hasBrother * hasParent \subseteq hasUncle.
This is described in section 6.2 of the owl 1.1 specification (http://
owl1_1.cs.manchester.ac.uk/owl_specification.html). The rub is that
you have to make sure that you satisfy the requirements of section 7
(nonstructural restrictions on axioms). But as I look at these they
seem pretty reasonable.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl