# Re: inverse of a symmetric property?

From: Uli Sattler <sattler@cs.man.ac.uk>
Date: Tue, 29 Jun 2010 11:08:29 +0100

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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:19 UTC