Re: Question about getSubClassAxiomsForSubClass

On 1 February 2015 at 10:31, Leila Bayoudhi <bayoudhileila@yahoo.fr> wrote:
> Hi,
> Please tell me if getSubClassAxiomsForSubClass method returns only axioms
> explicitly declared by the user or also it returns inferred ones.
> Thank you for your answer.
>

That's an OWL API method so I'm guessing the question is better
directed to the OWL API mailing list.

The method is on OWLOntology - all methods on OWLOntology do not use
any reasoner, so they only return explicitly asserted axioms.
Cheers,
Ignazio

Received on Sunday, 1 February 2015 10:48:03 UTC