- From: Kashyap, Vipul <VKASHYAP1@PARTNERS.ORG>
- Date: Sun, 8 Jun 2008 15:35:39 -0400
- 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 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 19:36:19 UTC