Antisymmetric vs. asymmetric object properties

I wonder if it's possible to include both antisymmetric as well as asymmetric and symmetric as an Object Property Expression?

I don't know what the addition of antisymmetric axioms would do to the decidability and complexity of description-logic reasoning with OWL ontologies, but it seems basic to assert that relations like part_of are antisymmetric, reflexive, and transitive (if you assert that it is asymmetric and reflexive you generate a contradiction and both Fact++ and Pellet in Protégé 4.0 crash).

For sure antisymmetric is a weaker constraint than asymmetric, and weaker constraints tend to increase complexity (disjunction vs. conjunction).  However, it seems as though the tableau could be simpler because a node could point to itself with an antisymmetric relation whereas an asymmetric relation requires the addition of a node.


William Hogan, MD, MS
Director, Medical Vocabulary Services
Associate Professor of Biomedical Informatics
University of Pittsburgh

This e-mail may contain confidential information of the sending organization. Any unauthorized or improper disclosure, copying, distribution, or use of the contents of this e-mail and attached document(s) is prohibited. The information contained in this e-mail and attached document(s) is intended only for the personal and confidential use of the recipient(s) named above. If you have received this communication in error, please notify the sender immediately by e-mail and delete the original e-mail and attached document(s).

Received on Wednesday, 29 October 2008 21:13:11 UTC