Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] Get Inferred axioms ...

Nick Drummond nick.drummond at cs.manchester.ac.uk
Wed Apr 29 04:05:14 PDT 2009


hi Flory,

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
InferredAxiomsFrameSection does.
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

Nick

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
> 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
> axioms works).
>
> Thanks a lot!
>
> Best,
>          Flory
>
> --
> 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.
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20090429/1d7c9720/attachment.html>


More information about the p4-feedback mailing list