RE: Representation of Negative Assertions in OWL 1.0

 
> > Individual(Sarkozy type(Restriction(isPresidentOf allValuesFrom
> > (complementOf(oneOf(USA))))))
> 
> what about:
> 
> Individual(Sarkozy
> type(ObjectComplementOf(ObjectAllValuesFrom(isPresidentOf
> ObjectOneOf(USA))))) ???

IMHO, the above representation is more intuitive than the representations
proposed by Alan and I and corresponds, in my mind, to the "closest"
representation to the negative assertion 'Sarkozy is not the President of the
USA"

Of course all these are logically equivalent representations, but they have
different connotations to the non-logically oriented subject matter
expert/ontology engineer.

This is precisely, why the syntactic sugar is a very good value add.

---Vipul

The information transmitted in this electronic communication is intended only
for the person or entity to whom it is addressed and may contain confidential
and/or privileged material. Any review, retransmission, dissemination or other
use of or taking of any action in reliance upon this information by persons or
entities other than the intended recipient is prohibited. If you received this
information in error, please contact the Compliance HelpLine at 800-856-1983 and
properly dispose of this information.