public class OWLAPIReasoner extends AbstractReasonerComponent
ReasonerType
): FaCT++, HermiT, Pellet, ELK, CEL and TrOWL. FaCT++ is connected
using JNI and native libraries, while the others are pure Java
libraries.logger
Constructor and Description |
---|
OWLAPIReasoner() |
OWLAPIReasoner(KnowledgeSource... sources) |
OWLAPIReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
OWLAPIReasoner(Set<KnowledgeSource> sources) |
Modifier and Type | Method and Description |
---|---|
String |
getBaseURI()
Returns the base URI of the knowledge base.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getBooleanDatatypePropertiesImpl() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getClasses()
Gets all named classes in the knowledge base, e.g.
|
org.semanticweb.owlapi.model.OWLDatatype |
getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
Returns the datatype of the data property, i.e.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> |
getDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDatatypePropertiesImpl() |
org.semanticweb.owlapi.model.OWLClassExpression |
getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty) |
org.semanticweb.owlapi.model.OWLClassExpression |
getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDoubleDatatypePropertiesImpl() |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> |
getDoubleValues(org.semanticweb.owlapi.model.OWLDataProperty dataProperty) |
Set<org.semanticweb.owlapi.model.OWLClass> |
getInconsistentClassesImpl() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getInconsistentOWLClasses() |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividuals()
Gets all individuals in the knowledge base, e.g.
|
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression ce) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getIntDatatypePropertiesImpl() |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity) |
org.semanticweb.owlapi.model.OWLOntologyManager |
getManager()
Gets the OWL API ontology manager.
|
Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
getObjectPropertiesImpl() |
org.semanticweb.owlapi.model.OWLOntology |
getOntology()
Gets the internal OWL API ontology.
|
String |
getOwlLinkURL() |
Map<String,String> |
getPrefixes()
Returns the prefixes used in the knowledge base, e.g.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> |
getPropertyMembersImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
org.semanticweb.owlapi.model.OWLDataRange |
getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
org.semanticweb.owlapi.model.OWLClassExpression |
getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
org.semanticweb.owlapi.reasoner.OWLReasoner |
getReasoner()
Gets the internal OWL API reasoner.
|
ReasonerType |
getReasonerType()
Gets the type of the underlying reasoner.
|
Set<org.semanticweb.owlapi.model.OWLIndividual> |
getRelatedIndividualsImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getRelatedValuesImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getStringDatatypePropertiesImpl() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getTypesImpl(org.semanticweb.owlapi.model.OWLIndividual individual) |
boolean |
hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression concept,
org.semanticweb.owlapi.model.OWLIndividual individual) |
void |
init()
Method to be called after the component has been configured.
|
boolean |
isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA,
org.semanticweb.owlapi.model.OWLClass clsB) |
boolean |
isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
A convenience method that determines if the specified axiom is entailed by the set of reasoner axioms.
|
boolean |
isSatisfiableImpl() |
boolean |
isSuperClassOfImpl(org.semanticweb.owlapi.model.OWLClassExpression superConcept,
org.semanticweb.owlapi.model.OWLClassExpression subConcept) |
static void |
main(String[] args) |
void |
releaseKB()
Call this method to release the knowledge base.
|
boolean |
remainsSatisfiableImpl(org.semanticweb.owlapi.model.OWLAxiom axiom) |
void |
setBaseURI(String baseURI) |
void |
setOwlLinkURL(String owlLinkURL)
set the URL of the remote OWLLink server
|
void |
setPrefixes(Map<String,String> prefixes) |
void |
setReasonerImplementation(ReasonerImplementation reasonerImplementation) |
void |
setSynchronized()
Enabled a synchronized mode such that all reasoner methods are supposed
to be thread safe.
|
void |
setUseFallbackReasoner(boolean useFallbackReasoner)
Some reasoner implementations do not support all operations yet.
|
changeSources, doubleRetrieval, getAssertedDefinitions, getAtomicConceptsList, getAtomicConceptsList, getAtomicRolesList, getBooleanDatatypeMembers, getBooleanDatatypeProperties, getClassHierarchy, getDataPropertyDomains, getDataPropertyRelationships, getDatatypeMembers, getDatatypeProperties, getDatatypePropertyHierarchy, getDomain, getDomain, getDoubleDatatypeMembers, getDoubleDatatypeProperties, getEquivalentClasses, getFalseDatatypeMembers, getFuzzyIndividuals, getInconsistentClasses, getIndividuals, getInstanceCheckReasoningTimeNs, getIntDatatypeMembers, getIntDatatypeProperties, getLabel, getMostGeneralDatatypeProperties, getMostGeneralProperties, getMostSpecialDatatypeProperties, getMostSpecialProperties, getNrOfInstanceChecks, getNrOfMultiInstanceChecks, getNrOfMultiSubsumptionChecks, getNrOfRetrievals, getNrOfSubsumptionChecks, getNrOfSubsumptionHierarchyQueries, getNumericDataProperties, getNumericDatatypeMembers, getNumericDatatypeMembers, getObjectProperties, getObjectPropertyDomains, getObjectPropertyHierarchy, getObjectPropertyRanges, getObjectPropertyRelationships, getOverallReasoningTimeNs, getPropertyMembers, getRange, getRange, getRelatedIndividuals, getRelatedValues, getRetrievalReasoningTimeNs, getSources, getStringDatatypeMembers, getStringDatatypeProperties, getSubClasses, getSubProperties, getSubProperties, getSubProperties, getSubsumptionReasoningTimeNs, getSuperClasses, getSuperProperties, getSuperProperties, getSuperProperties, getTimePerInstanceCheckNs, getTimePerRetrievalNs, getTimePerSubsumptionCheckNs, getTrueDatatypeMembers, getTypes, hasType, hasType, hasTypeFuzzyMembership, isDisjoint, isEquivalentClass, isSatisfiable, isSubPropertyOf, isSuperClassOf, isSuperClassOf, isUseInstanceChecks, prepareDatatypePropertyHierarchy, prepareObjectPropertyHierarchy, prepareSubsumptionHierarchy, remainsSatisfiable, resetStatistics, setPrecomputeClassHierarchy, setPrecomputeDataPropertyHierarchy, setPrecomputeObjectPropertyHierarchy, setSources, setSources, setSubsumptionHierarchy, setUpdated, setUseInstanceChecks, toString
isInitialized
public OWLAPIReasoner()
public OWLAPIReasoner(KnowledgeSource... sources)
public OWLAPIReasoner(Set<KnowledgeSource> sources)
public OWLAPIReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
public void init() throws ComponentInitException
Component
ComponentInitException
- This exception is thrown if any
exceptions occur within the initialisation process of this
component. As component developer, you are encouraged to
re-throw occurring exception as ComponentInitException and
giving an error message as well as the actually exception by
using the constructor ComponentInitException(String, Throwable)
.public Set<org.semanticweb.owlapi.model.OWLClass> getClasses()
BaseReasoner
public Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectPropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypePropertiesImpl()
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals()
BaseReasoner
public void setPrefixes(Map<String,String> prefixes)
prefixes
- the prefixes to setpublic void setBaseURI(String baseURI)
baseURI
- the baseURI to setpublic ReasonerType getReasonerType()
AbstractReasonerComponent
getReasonerType
in class AbstractReasonerComponent
public boolean isEntailed(org.semanticweb.owlapi.model.OWLAxiom axiom)
axiom
- the axiomtrue
if axiom
is entailed by the reasoner axioms
or false
if axiom
is not entailed by the reasoner
axioms. true
if the set of reasoner axioms is
inconsistent.OWLReasoner.isEntailed(OWLAxiom)
public boolean isSuperClassOfImpl(org.semanticweb.owlapi.model.OWLClassExpression superConcept, org.semanticweb.owlapi.model.OWLClassExpression subConcept)
public boolean isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA, org.semanticweb.owlapi.model.OWLClass clsB)
public boolean hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression concept, org.semanticweb.owlapi.model.OWLIndividual individual)
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression ce)
public Set<org.semanticweb.owlapi.model.OWLClass> getTypesImpl(org.semanticweb.owlapi.model.OWLIndividual individual)
public boolean isSatisfiableImpl()
public org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
public org.semanticweb.owlapi.model.OWLClassExpression getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public org.semanticweb.owlapi.model.OWLDataRange getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> getPropertyMembersImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public Set<org.semanticweb.owlapi.model.OWLIndividual> getRelatedIndividualsImpl(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValuesImpl(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> getDoubleValues(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> getDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypePropertiesImpl()
public String getBaseURI()
BaseReasoner
public Map<String,String> getPrefixes()
BaseReasoner
public void releaseKB()
AbstractReasonerComponent
releaseKB
in class AbstractReasonerComponent
public Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClassesImpl()
public Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentOWLClasses()
public Set<org.semanticweb.owlapi.model.OWLLiteral> getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity)
public boolean remainsSatisfiableImpl(org.semanticweb.owlapi.model.OWLAxiom axiom)
public org.semanticweb.owlapi.model.OWLOntologyManager getManager()
public org.semanticweb.owlapi.model.OWLOntology getOntology()
public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()
public void setReasonerImplementation(ReasonerImplementation reasonerImplementation)
reasonerImplementation
- the reasonerImplementation to setpublic String getOwlLinkURL()
public void setOwlLinkURL(String owlLinkURL)
owlLinkURL
- the URL of the remote OWLLink serverpublic void setUseFallbackReasoner(boolean useFallbackReasoner)
useFallbackReasoner
- whether to enable a fallback reasonerpublic org.semanticweb.owlapi.model.OWLDatatype getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
AbstractReasonerComponent
getDatatype
in class AbstractReasonerComponent
dp
- the data propertypublic void setSynchronized()
AbstractReasonerComponent
setSynchronized
in class AbstractReasonerComponent
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann