Representation of Negative Assertions in OWL 1.0


In the OWL 2.0 spec, it is mentioned that a negative assertion, e.g., Sarkozy is
not the president of  USA is included as syntactic sugar.
Can anyone show me how this assertion would be represented in OWL 1.0?



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.

Received on Saturday, 7 June 2008 11:57:45 UTC