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: Mon, 9 Jun 2008 06:53:53 -0400
Message-ID: <DBA3C02EAD0DC14BBB667C345EE2D12402948826@PHSXMB20.partners.org>
To: "Alan Ruttenberg" <alanruttenberg@gmail.com>
Cc: "Christine Golbreich" <cgolbrei@gmail.com>, "OWL Working Group WG" <public-owl-wg@w3.org>

 
> > I think the Demorgan Law was not applied properly.
> > I think what Christine probably had in mind was the following  
> > expression;
> >
> > Individual(Sarkozy type(ObjectComplementOf(ObjectSomeValuesFrom 
> > (isPresidentOf
> > ObjectOneOf(USA)))))
> 
> I've added this expression to http://purl.org/science/owl2/examples/ 
> president.owl
> You can see it is equivalent to the two earlier ones.

The interesting issue is out of these three logically equivalent expressions,
which
Of these is more intuitive to an ontology engineer who is not trained in logic.

More interestingly, it highlights the value of introducing syntatic sugar for
negative property assertions.

Cheers,

---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.
Received on Monday, 9 June 2008 10:54:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 9 June 2008 10:54:36 GMT