W3C home > Mailing lists > Public > public-owl-wg@w3.org > June 2008

RE: Representation of Negative Assertions in OWL 1.0

From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
Date: Sun, 8 Jun 2008 15:35:39 -0400
Message-ID: <DBA3C02EAD0DC14BBB667C345EE2D12402948819@PHSXMB20.partners.org>
To: "Christine Golbreich" <cgolbrei@gmail.com>
Cc: "OWL Working Group WG" <public-owl-wg@w3.org>

> > 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

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.


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 Sunday, 8 June 2008 19:36:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:48 UTC