W3C home > Mailing lists > Public > semantic-web@w3.org > March 2007

Disjoint Properties in OWL 1.1

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Tue, 06 Mar 2007 11:35:01 +0000
Message-ID: <45ED51E5.4050904@cancer.org.uk>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:55 UTC