- From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
- Date: Sun, 8 Jun 2008 18:38:26 -0400
- 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))))) ---Vipul > -----Original Message----- > From: Alan Ruttenberg [mailto:alanruttenberg@gmail.com] > Sent: Sunday, June 08, 2008 6:18 PM > To: Kashyap, Vipul > Cc: Christine Golbreich; OWL Working Group WG > Subject: Re: Representation of Negative Assertions in OWL 1.0 > > > On Jun 8, 2008, at 3:35 PM, Kashyap, Vipul wrote: > > > > > > >>> Individual(Sarkozy type(Restriction(isPresidentOf allValuesFrom > >>> (complementOf(oneOf(USA)))))) > >> > >> what about: > >> > >> Individual(Sarkozy > >> type(ObjectComplementOf(ObjectAllValuesFrom(isPresidentOf > >> ObjectOneOf(USA))))) ??? > > It may be intuitive, but I don't believe it captures what you want. > It says that Sarkozy can't only be the the president of the USA. > However he could be president of both the USA and France. > > I've put these examples in an OWL file. If you classify it you will > see that the previous two expressions (from earlier emails) are > determined to be equivalent, and that there is no inconsistency in > making Sarkozy a president of both USA and France, as I have done in > the example. > > http://purl.org/science/owl2/examples/president.owl > > Best, > Alan > > > > > 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. > > > > > > > > > >
Received on Sunday, 8 June 2008 22:39:07 UTC