- From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
- Date: Mon, 9 Jun 2008 06:53:53 -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))))) > > 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 UTC