Class and Description |
---|
OWLReasoner
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.
|
OWLReasonerFactory
An OWLReasonerFactory is a point for creating instances of
OWLReasoner objects. |
Class and Description |
---|
OWLReasonerFactory
An OWLReasonerFactory is a point for creating instances of
OWLReasoner objects. |
Class and Description |
---|
OWLReasonerFactory
An OWLReasonerFactory is a point for creating instances of
OWLReasoner objects. |
Class and Description |
---|
OWLReasoner
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.
|
Class and Description |
---|
OWLReasoner
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.
|
Class and Description |
---|
AxiomNotInProfileException |
BufferingMode
Used to indicate the buffering mode of a reasoner.
|
ClassExpressionNotInProfileException |
FreshEntitiesException
Indicates that a query whose signature contained fresh entities was posed to
the reasoner.
|
FreshEntityPolicy
A fresh entity is an entity that is not a built in entity (see
OWLEntity.isBuiltIn() and is not
contained within the signature of the root ontology imports closure. |
IllegalConfigurationException |
InconsistentOntologyException
This type of exception is thrown by an
OWLReasoner to indicate that the
imports closure of the root ontology (returned by
OWLReasoner.getRootOntology() ) is
inconsistent. |
IndividualNodeSetPolicy
The policy of how a reasoner will return
NodeSet s of individuals for
queries that return node sets of named individuals such as
OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)
or
OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean)
. |
InferenceType
An enumeration that denotes various types of inference task.
|
Node
Represents a node (set) of entities.
|
NodeSet
A set of
Node s. |
OWLReasoner
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.
|
OWLReasonerConfiguration
An OWLReasonerConfiguration can be used to customise the setup of a reasoner
at reasoner creation time via an
OWLReasonerFactory . |
OWLReasonerRuntimeException |
ReasonerInterruptedException |
ReasonerProgressMonitor
The ReasonerProgressMonitor interface should be implemented by objects that
wish to montitor the progress of a resoner.
|
TimeOutException
Thrown when the current reasoner operation has been interrupted due to a
satisfiability check timeout.
|
UnsupportedEntailmentTypeException |
Class and Description |
---|
BufferingMode
Used to indicate the buffering mode of a reasoner.
|
FreshEntityPolicy
A fresh entity is an entity that is not a built in entity (see
OWLEntity.isBuiltIn() and is not
contained within the signature of the root ontology imports closure. |
IndividualNodeSetPolicy
The policy of how a reasoner will return
NodeSet s of individuals for
queries that return node sets of named individuals such as
OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)
or
OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean)
. |
Node
Represents a node (set) of entities.
|
NodeSet
A set of
Node s. |
OWLReasoner
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.
|
OWLReasonerConfiguration
An OWLReasonerConfiguration can be used to customise the setup of a reasoner
at reasoner creation time via an
OWLReasonerFactory . |
Class and Description |
---|
Node
Represents a node (set) of entities.
|
OWLReasoner
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.
|
Class and Description |
---|
AxiomNotInProfileException |
BufferingMode
Used to indicate the buffering mode of a reasoner.
|
ClassExpressionNotInProfileException |
FreshEntitiesException
Indicates that a query whose signature contained fresh entities was posed to
the reasoner.
|
FreshEntityPolicy
A fresh entity is an entity that is not a built in entity (see
OWLEntity.isBuiltIn() and is not
contained within the signature of the root ontology imports closure. |
IllegalConfigurationException |
InconsistentOntologyException
This type of exception is thrown by an
OWLReasoner to indicate that the
imports closure of the root ontology (returned by
OWLReasoner.getRootOntology() ) is
inconsistent. |
IndividualNodeSetPolicy
The policy of how a reasoner will return
NodeSet s of individuals for
queries that return node sets of named individuals such as
OWLReasoner.getTypes(org.semanticweb.owlapi.model.OWLNamedIndividual, boolean)
or
OWLReasoner.getInstances(org.semanticweb.owlapi.model.OWLClassExpression, boolean)
. |
InferenceType
An enumeration that denotes various types of inference task.
|
Node
Represents a node (set) of entities.
|
NodeSet
A set of
Node s. |
OWLReasoner
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.
|
OWLReasonerConfiguration
An OWLReasonerConfiguration can be used to customise the setup of a reasoner
at reasoner creation time via an
OWLReasonerFactory . |
OWLReasonerFactory
An OWLReasonerFactory is a point for creating instances of
OWLReasoner objects. |
ReasonerInterruptedException |
TimeOutException
Thrown when the current reasoner operation has been interrupted due to a
satisfiability check timeout.
|
UnsupportedEntailmentTypeException |
Class and Description |
---|
OWLReasoner
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.
|
Class and Description |
---|
OWLReasoner
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.
|
Copyright © 2017 The University of Manchester. All Rights Reserved.