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

-Timothy

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070406/4ddcaa5d/attachment.html>


More information about the protege-owl mailing list