|Node<E extends OWLObject>||
Represents a node (set) of entities.
|NodeSet<E extends OWLObject>||
A set of
An OWLReasoner reasons over a set of axioms (the set of reasoner axioms) that is based on the imports closure of a particular ontology - the "root" ontology.
An OWLReasonerConfiguration can be used to customise the setup of a reasoner at reasoner creation time via an
An OWLReasonerFactory is a point for creating instances of
The ReasonerProgressMonitor interface should be implemented by objects that wish to montitor the progress of a resoner.
An implementation of a progress monitor that does nothing when it receives notification of progress events.
A simple configuration with the general options.
Used to indicate the buffering mode of a reasoner.
A fresh entity is an entity that is not a built in entity (see
The policy of how a reasoner will return
An enumeration that denotes various types of inference task.
Indicates that a query whose signature contained fresh entities was posed to the reasoner.
This exception indicates that the reasoner cannot handle the set of axioms that are in the imports closure of the root ontology because the axioms fall outside of the "largest" OWL profile (i.e.
Specifies that a some internal error occurred during reasoning.
Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.
Copyright © 2018 The University of Manchester. All rights reserved.