[Attempto] inverse names of relations

[Nagarjuna G]

Is there a way how I can tell the inference engine to handle the following
situation:

"x is a part of y" and "y consists of x" are alternative propositional
transformations saving the truth value. How to tell that the predicate "part
of" and "consists of" are inverse to each other.

If this query is already handled in ACE literature, just a pointer will do.

Thanks
--
GN
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20110901/076161fd/attachment.html>