Re: Representation of Negative Assertions in OWL 1.0

Individual(Sarkozy type(Restriction(isPresidentOf allValuesFrom 
(complementOf(oneOf(USA))))))

-Alan

On Jun 7, 2008, at 7:56 AM, Kashyap, Vipul wrote:

>
> Hi,
>
> In the OWL 2.0 spec, it is mentioned that a negative assertion,  
> e.g., Sarkozy is not the president of  USA is included as syntactic  
> sugar.
>
> Can anyone show me how this assertion would be represented in OWL 1.0?
>
> Thanks,
>
> ---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 Saturday, 7 June 2008 13:31:38 UTC