Search Mailing List Archives
[p4-feedback] Get Inferred axioms ...
florysf at gmail.com
Tue Apr 28 05:55:03 PDT 2009
I am using the Protege 4 source code, more precisely trying to develop some
I want to get all the inferred axioms (displayed in the class description
like equivalent classes, superclasses, inherited anonymous classes)...is it
possible to get all that information (I can get the asserted axioms easily
since OWLOntology has methods for these axioms)? I tried to use the reasoner
methods but it doesn't give any inferred axiom...I don't want to create a
new ontology containing those axioms (the way in which export inferred
Thanks a lot!
View this message in context: http://www.nabble.com/Get-Inferred-axioms-...-tp23274802p23274802.html
Sent from the Protege - Protege 4 Feedback mailing list archive at Nabble.com.
More information about the p4-feedback