org.dllearner.reasoning

Class OWLAPIReasoner

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.core.AbstractReasonerComponent

org.dllearner.reasoning.OWLAPIReasoner

All Implemented Interfaces:

BaseReasoner, Component, FuzzyIndividualReasoner, IndividualReasoner, Reasoner, ReasonerComponent, SchemaReasoner

public class OWLAPIReasoner
extends AbstractReasonerComponent

Mapping to OWL API reasoner interface. The OWL API currently supports the following OWL reasoners(ReasonerType): FaCT++, HermiT, Pellet, ELK, CEL and TrOWL. FaCT++ is connected using JNI and native libraries, while the others are pure Java libraries.

Author:

Jens Lehmann, Lorenz Buehmann

Field Summary

Fields inherited from class org.dllearner.core.AbstractReasonerComponent

logger

Constructor Summary

Constructors

Constructor and Description
OWLAPIReasoner()
OWLAPIReasoner(KnowledgeSource... sources)
OWLAPIReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
OWLAPIReasoner(Set<KnowledgeSource> sources)

Method Summary

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.

Methods inherited from class org.dllearner.core.AbstractReasonerComponent

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

Methods inherited from class org.dllearner.core.AbstractComponent

isInitialized

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OWLAPIReasoner

public OWLAPIReasoner()

OWLAPIReasoner

public OWLAPIReasoner(KnowledgeSource... sources)

OWLAPIReasoner

public OWLAPIReasoner(Set<KnowledgeSource> sources)

OWLAPIReasoner

public OWLAPIReasoner(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Detail

init

public void init()
          throws ComponentInitException

Description copied from interface: Component

Method to be called after the component has been configured. Implementation of components can overwrite this method to perform setup and initialisation tasks for this component.

Throws:

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).

getClasses

public Set<org.semanticweb.owlapi.model.OWLClass> getClasses()

Description copied from interface: BaseReasoner

Gets all named classes in the knowledge base, e.g. Person, City, Car.

Returns:

All named classes in KB.

getObjectPropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectPropertiesImpl()

getDatatypePropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypePropertiesImpl()

getIndividuals

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals()

Description copied from interface: BaseReasoner

Gets all individuals in the knowledge base, e.g. Eric, London, Car829.

Returns:

All individuals in KB.

setPrefixes

public void setPrefixes(Map<String,String> prefixes)

Parameters:

prefixes - the prefixes to set

setBaseURI

public void setBaseURI(String baseURI)

Parameters:

baseURI - the baseURI to set

getReasonerType

public ReasonerType getReasonerType()

Description copied from class: AbstractReasonerComponent

Gets the type of the underlying reasoner. Although rarely necessary, applications can use this to adapt their behaviour to the reasoner.

Specified by:

getReasonerType in class AbstractReasonerComponent

Returns:

The reasoner type.

isEntailed

public 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.

Parameters:

axiom - the axiom

Returns:

true 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.

See Also:

OWLReasoner.isEntailed(OWLAxiom)

isSuperClassOfImpl

public boolean isSuperClassOfImpl(org.semanticweb.owlapi.model.OWLClassExpression superConcept,
                                  org.semanticweb.owlapi.model.OWLClassExpression subConcept)

isDisjointImpl

public boolean isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA,
                              org.semanticweb.owlapi.model.OWLClass clsB)

hasTypeImpl

public boolean hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression concept,
                           org.semanticweb.owlapi.model.OWLIndividual individual)

getIndividualsImpl

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression ce)

getTypesImpl

public Set<org.semanticweb.owlapi.model.OWLClass> getTypesImpl(org.semanticweb.owlapi.model.OWLIndividual individual)

isSatisfiableImpl

public boolean isSatisfiableImpl()

getDomainImpl

public org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)

getDomainImpl

public org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)

getRangeImpl

public org.semanticweb.owlapi.model.OWLClassExpression getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)

getRangeImpl

public org.semanticweb.owlapi.model.OWLDataRange getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)

getPropertyMembersImpl

public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> getPropertyMembersImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)

getRelatedIndividualsImpl

public Set<org.semanticweb.owlapi.model.OWLIndividual> getRelatedIndividualsImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
                                                                                 org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)

getRelatedValuesImpl

public Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValuesImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
                                                                         org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)

getDoubleValues

public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> getDoubleValues(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)

getDatatypeMembersImpl

public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> getDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)

getBooleanDatatypePropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypePropertiesImpl()

getDoubleDatatypePropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypePropertiesImpl()

getIntDatatypePropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypePropertiesImpl()

getStringDatatypePropertiesImpl

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypePropertiesImpl()

getBaseURI

public String getBaseURI()

Description copied from interface: BaseReasoner

Returns the base URI of the knowledge base. If several knowledge sources are used, we only pick one of their base URIs.

Returns:

The base URI, e.g. http://dbpedia.org/resource/.

getPrefixes

public Map<String,String> getPrefixes()

Description copied from interface: BaseReasoner

Returns the prefixes used in the knowledge base, e.g. foaf for foaf: . If several knowledge sources are used, their prefixes are merged. (In case a prefix is defined twice with different values, we pick one of those.)

Returns:

The prefix mapping.

releaseKB

public void releaseKB()

Description copied from class: AbstractReasonerComponent

Call this method to release the knowledge base. Not calling the method may (depending on the underlying reasoner) result in resources for this knowledge base not being freed, which can cause memory leaks.

Specified by:

releaseKB in class AbstractReasonerComponent

getInconsistentClassesImpl

public Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClassesImpl()

getInconsistentOWLClasses

public Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentOWLClasses()

getLabelImpl

public Set<org.semanticweb.owlapi.model.OWLLiteral> getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity)

remainsSatisfiableImpl

public boolean remainsSatisfiableImpl(org.semanticweb.owlapi.model.OWLAxiom axiom)

getManager

public org.semanticweb.owlapi.model.OWLOntologyManager getManager()

Gets the OWL API ontology manager. Use with great caution.

Returns:

The OWL API ontology manager.

getOntology

public org.semanticweb.owlapi.model.OWLOntology getOntology()

Gets the internal OWL API ontology. Use with great caution.

Returns:

The internal OWL API ontology.

getReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Gets the internal OWL API reasoner. Use with great caution.

Returns:

The internal OWL API reasoner.

setReasonerImplementation

public void setReasonerImplementation(ReasonerImplementation reasonerImplementation)

Parameters:

reasonerImplementation - the reasonerImplementation to set

getOwlLinkURL

public String getOwlLinkURL()

setOwlLinkURL

public void setOwlLinkURL(String owlLinkURL)

set the URL of the remote OWLLink server

Parameters:

owlLinkURL - the URL of the remote OWLLink server

setUseFallbackReasoner

public void setUseFallbackReasoner(boolean useFallbackReasoner)

Some reasoner implementations do not support all operations yet. In that case a fallback reasoner based only on the asserted axioms can be enabled.

Parameters:

useFallbackReasoner - whether to enable a fallback reasoner

getDatatype

public org.semanticweb.owlapi.model.OWLDatatype getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)

Description copied from class: AbstractReasonerComponent

Returns the datatype of the data property, i.e. the range if it is a datatype.

Specified by:

getDatatype in class AbstractReasonerComponent

Parameters:

dp - the data property

Returns:

the datatype of the data property

setSynchronized

public void setSynchronized()

Description copied from class: AbstractReasonerComponent

Enabled a synchronized mode such that all reasoner methods are supposed to be thread safe.

Specified by:

setSynchronized in class AbstractReasonerComponent

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception