- From: Matt Williams <matthew.williams@cancer.org.uk>
- Date: Tue, 06 Mar 2007 11:35:01 +0000
- To: Semantic Web <semantic-web@w3.org>, public-owl-dev-request@w3.org
Dear All, I'm trying to understand some of the new features in OWL 1.1, specifically the disjoint properties. If understand them correctly, then: f1: People \exists hasPositiveIntention. Intention f2: People \exists hasNegativeIntention. Intention where hasPositiveIntention and hasNegativeIntention are disjoint properties then: f1 & f2 will be non-satisfiable ? Is that correct? Any other pointers/ gotchas in using them? Thanks, Matt -- http://acl.icnet.uk/~mw http://adhominem.blogsome.com/ +44 (0)7834 899570
Received on Tuesday, 6 March 2007 11:35:13 UTC