Hello,  By what procedure can i reason about inverses in V6?

In particular, i would like to support for owl:inverseOf

http://www.w3.org/TR/owl-ref/#inverseOf-def

http://www.w3.org/TR/2009/CR-owl2-rdf-based-semantics-20090611/#Semantic_Conditions_for_Inverse_Properties


<http://www.w3.org/TR/owl-ref/#inverseOf-def>-=Michel=-

-- 
Michel Dumontier
Associate Professor of Bioinformatics
Carleton University
http://dumontierlab.com

Reply via email to