Package | Description |
---|---|
com.clarkparsia.owlapi.explanation |
Explanation package.
|
org.semanticweb.owlapi.debugging |
Debugging package.
|
org.semanticweb.owlapi.metrics |
Metrics package.
|
org.semanticweb.owlapi.modularity |
Modularity interface package.
|
org.semanticweb.owlapi.modularity.locality | |
org.semanticweb.owlapi.profiles |
Profile classes.
|
org.semanticweb.owlapi.reasoner |
OWLReasoner package.
|
org.semanticweb.owlapi.reasoner.impl |
OWLReasoner implementation package.
|
org.semanticweb.owlapi.reasoner.knowledgeexploration |
Knowledge exploration package.
|
org.semanticweb.owlapi.reasoner.structural |
Structural reasoner implementation package.
|
org.semanticweb.owlapi.util |
Utilities package.
|
org.semanticweb.owlapitools.decomposition | |
uk.ac.manchester.cs.owlapi.modularity |
Modularity package.
|
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 |
---|
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 |
---|
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 |
---|
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)
. |
InferenceDepth
An enumeration that denotes depth of inference: direct or indirect relations,
e.g., all subclasses or only direct subclasses.
|
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 |
ReasonerProgressMonitor
The ReasonerProgressMonitor interface should be implemented by objects that wish to monitor the
progress of a reasoner.
|
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 |
---|
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)
. |
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. |
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.
|
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.
|
Copyright © 2020 The University of Manchester. All rights reserved.