Re: inverse of a symmetric property?

it entails { :x owl:equivalentProperty :y }

aldo

On 29 Jun 2010, at 00:37, Nathan wrote:

> is { :x a owl:SymmetricProperty . :y owl:inverseOf :x } invalid or does it entail { :x owl:sameAs :y } ?
> 
> Best,
> 
> Nathan
> 
> ps: didn't know I could be that concise!
> 



_____________________________________

Aldo Gangemi
Senior Researcher
Semantic Technology Lab (STLab)
Institute for Cognitive Science and Technology,
National Research Council (ISTC-CNR) 
Via Nomentana 56, 00161, Roma, Italy 
Tel: +390644161535
Fax: +390644161513
aldo.gangemi@cnr.it
http://www.stlab.istc.cnr.it
http://www.istc.cnr.it/createhtml.php?nbr=71
skype aldogangemi

Received on Monday, 28 June 2010 23:42:40 UTC