This content has been marked as final. Show 5 replies
Unfortunately 220.127.116.11 does not support OWL2RL. You will have to upgrade. The latest patch set is 18.104.22.168.
Having said that, OWLPrime + additional inference components may give you a good enough coverage.
In OWL2RL, NegativeObjectPropertyAssertion can help you find conflict. Is that the goal you want to
can you pls tell me where can i find the patch 22.214.171.124? i can't find it in oracle download webpage. i use NegativeObjectPropertyAssertion and NegativeDataPropertyAssertion to model some negation knowledge such as ''patients have CAD but don't have active bleeding". it is bit akward to model this kind of negation in owl 1.1 because i have to define a concept -CADpatient_without_activeBleeding which maybe is not a good chooice for the ontology. thanks a lot.