Disjoint Properties in OWL 1.1

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