- From: Michael Schneider <m_schnei@gmx.de>
- Date: Tue, 06 Mar 2007 14:05:40 +0100
- To: matthew.williams@cancer.org.uk
- CC: semantic-web@w3.org, public-owl-dev@w3.org
Hi Matt! First a hint: Please use <public-owl-dev@w3.org> for posting into the OWL list, not <public-owl-dev-request@w3.org>. Your mail did not reach the OWL list, AFAICS! Matt Williams wrote on Tue, 06 Mar 2007 at 11:35: > 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 f1&f2 would just be the class of all those people p, which have both, at least one positive intention i1, and at least one negative intention i2. This class, of course, /can/ be satisfied, for instance by myself! ;-) But the disjointness of the two properties would not allow that both intentions i1 and i2 are the /same/ for a given person p. More abstract: If (p,i1) \in hasPositiveIntention then NOT [ (p,i1) \in hasNegativeIntention ] and vice versa. Cheers, Michael
Received on Tuesday, 6 March 2007 13:06:09 UTC