W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Semantics of antisymmetric properties

From: Evren Sirin <evren@clarkparsia.com>
Date: Wed, 07 Mar 2007 16:15:48 -0500
Message-ID: <45EF2B84.7050803@clarkparsia.com>
To: public-owl-dev@w3.org 

The standard definition of antisymmetry is "R(x,y) and R(y,x) implies 
x=y". In OWL 1.1 semantics document, we have the definition "( x , y ) 
in RIpo implies ( y , x ) is not in RIpo" which is not the same 
definition and suggests that antisymmetric properties are irreflexive 
(because x could be equivalent to y and it is not allowed yb this 
definition). Is this a bug in the definition?

Regards,
Evren
Received on Wednesday, 7 March 2007 21:16:01 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:41:52 GMT