W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2010

Re: inverse of a symmetric property?

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Tue, 29 Jun 2010 11:08:29 +0100
Cc: nathan@webr3.org, public-owl-dev@w3.org
Message-Id: <CAE36D24-3D08-4639-BE89-6C8808CCE1BD@cs.man.ac.uk>
To: Aldo Gangemi <aldo.gangemi@cnr.it>

Hi Nathan, I guess you mean the following, and an example of P would  
be "IsMarriedTo", which is symmetric, and you could even think of InvP  
as "hasSpouse"...in general, if a property is symmetric, you can't  
distinguish between that property and its inverse, so introducing a  
name for the inverse (rather than, say, an alternative name for the  
property itself) can be confusing...

Anyway, in the example below, there is nothing that would allow us to  
deduce that a and b are identical (in the same way as Mr and Mrs  
Miller aren't identical)...

But perhaps I completely misunderstood your question?

Cheers, Uli

----

ObjectProperty: P

     Characteristics:
         Symmetric

     InverseOf:
         InvP


ObjectProperty: InvP

     SubPropertyOf:
         owl:topObjectProperty

     InverseOf:
         P

Individual: b

Individual: a

     Facts:
         P  b



On 29 Jun 2010, at 00:42, Aldo Gangemi wrote:

> 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 Tuesday, 29 June 2010 10:08:29 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:58 GMT