sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

OWL 1.1 seems to provide for antisymmetric properties, but, by their semantics, the properties are asymmetric. #3

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
See:
   <http://lists.w3.org/Archives/Public/public-owl-dev/2007JanMar/0195.html> (thread)

Fix:
   Rename antisymmetric to asymmetric.

Note:
   I think I caught all the documents that have "antisymmetric" in them.

Original issue reported on code.google.com by bparsia on 29 Mar 2007 at 12:59

GoogleCodeExporter commented 9 years ago
This was due to the fact that the original SROIQ paper used the 
term "antisymmetric". The more common term for the proposed semantics is, as 
correctly suggested, "asymmetric". Therefore, we changed the specification 
accordingly.

Original comment by borismo...@gmail.com on 23 May 2007 at 2:03