Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Query: Subclasses or Sibling

Timothy Redmond tredmond at
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://  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...
URL: <>

More information about the protege-owl mailing list