Search Mailing List Archives
[p4-feedback] Get Inferred axioms ...
nick.drummond at cs.manchester.ac.uk
Wed Apr 29 04:05:14 PDT 2009
You won't be able to get ALL the inferred axioms - this is an infinite set.
But, you can get the inferred subclasses/types etc - the same as the
The easiest way would still be to use the InferredOntologyGenerator - you
can create another ontology without having to save or even view it.
I would definitely look at InferredAxiomsFrameSection
2009/4/28 flory <florysf at gmail.com>
> Dear all,
> I am using the Protege 4 source code, more precisely trying to develop some
> new plugins.
> 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
> 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
> axioms works).
> Thanks a lot!
> View this message in context:
> Sent from the Protege - Protege 4 Feedback mailing list archive at
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback