org.dllearner.reasoning

Class ClosedWorldReasoner

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.core.AbstractReasonerComponent

org.dllearner.reasoning.ClosedWorldReasoner

All Implemented Interfaces:

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

public class ClosedWorldReasoner
extends AbstractReasonerComponent

Reasoner for fast instance checks. It works by completely dematerialising the knowledge base to speed up later reasoning requests. It then continues by only considering one model of the knowledge base (TODO: more explanation), which is neither correct nor complete, but sufficient in many cases. A big advantage of the algorithm is that it does not need even need to perform any set modifications (union, intersection, difference), so it avoids any Java object creation, which makes it extremely fast compared to standard reasoners. Meanwhile, the algorithm has been extended to also perform fast retrieval operations. However, those need write access to memory and potentially have to deal with all individuals in a knowledge base. For many knowledge bases, they should still be reasonably fast.

Author:

Jens Lehmann

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ClosedWorldReasoner.DisjointnessSemantics There are different ways on how disjointness between classes can be assumed.
static class	ClosedWorldReasoner.ForallSemantics

Constructor Summary

Constructors

Constructor and Description
ClosedWorldReasoner()
ClosedWorldReasoner(KnowledgeSource... sources)
ClosedWorldReasoner(OWLAPIReasoner baseReasoner)
ClosedWorldReasoner(Set<KnowledgeSource> sources)
ClosedWorldReasoner(TreeSet<org.semanticweb.owlapi.model.OWLIndividual> individuals, Map<org.semanticweb.owlapi.model.OWLClass,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> classInstancesPos, Map<org.semanticweb.owlapi.model.OWLObjectProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>>> opPos, Map<org.semanticweb.owlapi.model.OWLDataProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>> id, Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdPos, Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdNeg, 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 datatypeProperty)
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDatatypePropertiesImpl()
org.semanticweb.owlapi.model.OWLClassExpression	getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
org.semanticweb.owlapi.model.OWLClassExpression	getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>>	getDoubleDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDoubleDatatypePropertiesImpl()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getFalseDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
ClosedWorldReasoner.ForallSemantics	getForAllSemantics()
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 concept)
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getIndividualsImplFast(org.semanticweb.owlapi.model.OWLClassExpression description)
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getIndividualsImplStandard(org.semanticweb.owlapi.model.OWLClassExpression concept)
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>	getIntDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getIntDatatypePropertiesImpl()
Set<org.semanticweb.owlapi.model.OWLLiteral>	getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity)
Set<org.semanticweb.owlapi.model.OWLObjectProperty>	getObjectPropertiesImpl()
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 atomicRole)
org.semanticweb.owlapi.model.OWLDataRange	getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
org.semanticweb.owlapi.model.OWLClassExpression	getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
OWLAPIReasoner	getReasonerComponent()
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()
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getTrueDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
boolean	hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression description, org.semanticweb.owlapi.model.OWLIndividual individual)
void	init() Method to be called after the component has been configured.
boolean	isDefaultNegation()
boolean	isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA, org.semanticweb.owlapi.model.OWLClass clsB)
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	setDefaultNegation(boolean defaultNegation)
void	setForAllSemantics(ClosedWorldReasoner.ForallSemantics forAllSemantics)
void	setHandlePunning(boolean handlePunning)
void	setMaterializeExistentialRestrictions(boolean materializeExistentialRestrictions)
void	setPrefixes(Map<String,String> prefixes)
void	setReasonerComponent(OWLAPIReasoner rc)
void	setSynchronized() Enabled a synchronized mode such that all reasoner methods are supposed to be thread safe.
void	setUseMaterializationCaching(boolean useMaterializationCaching)

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

ClosedWorldReasoner

public ClosedWorldReasoner()

ClosedWorldReasoner

public ClosedWorldReasoner(TreeSet<org.semanticweb.owlapi.model.OWLIndividual> individuals,
                           Map<org.semanticweb.owlapi.model.OWLClass,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> classInstancesPos,
                           Map<org.semanticweb.owlapi.model.OWLObjectProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>>> opPos,
                           Map<org.semanticweb.owlapi.model.OWLDataProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>> id,
                           Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdPos,
                           Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdNeg,
                           KnowledgeSource... sources)

ClosedWorldReasoner

public ClosedWorldReasoner(Set<KnowledgeSource> sources)

ClosedWorldReasoner

public ClosedWorldReasoner(KnowledgeSource... sources)

ClosedWorldReasoner

public ClosedWorldReasoner(OWLAPIReasoner baseReasoner)

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

hasTypeImpl

public boolean hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression description,
                           org.semanticweb.owlapi.model.OWLIndividual individual)
                    throws ReasoningMethodUnsupportedException

Throws:

ReasoningMethodUnsupportedException

getIndividualsImpl

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression concept)
                                                                         throws ReasoningMethodUnsupportedException

Throws:

ReasoningMethodUnsupportedException

getIndividualsImplStandard

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImplStandard(org.semanticweb.owlapi.model.OWLClassExpression concept)

getIndividualsImplFast

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImplFast(org.semanticweb.owlapi.model.OWLClassExpression description)
                                                                             throws ReasoningMethodUnsupportedException

Throws:

ReasoningMethodUnsupportedException

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

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

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.

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.

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)

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.

setPrefixes

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

setBaseURI

public void setBaseURI(String baseURI)

Parameters:

baseURI - the baseURI to set

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

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

getTrueDatatypeMembersImpl

public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getTrueDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)

getFalseDatatypeMembersImpl

public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getFalseDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)

getIntDatatypeMembersImpl

public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> getIntDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)

getDoubleDatatypeMembersImpl

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

getDatatypeMembersImpl

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

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)

isSatisfiableImpl

public boolean isSatisfiableImpl()

getLabelImpl

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

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

remainsSatisfiableImpl

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

getReasonerComponent

public OWLAPIReasoner getReasonerComponent()

setReasonerComponent

@Autowired(required=false)
public void setReasonerComponent(OWLAPIReasoner rc)

isDefaultNegation

public boolean isDefaultNegation()

setDefaultNegation

public void setDefaultNegation(boolean defaultNegation)

getForAllSemantics

public ClosedWorldReasoner.ForallSemantics getForAllSemantics()

setForAllSemantics

public void setForAllSemantics(ClosedWorldReasoner.ForallSemantics forAllSemantics)

setUseMaterializationCaching

public void setUseMaterializationCaching(boolean useMaterializationCaching)

Parameters:

useMaterializationCaching - the useMaterializationCaching to set

setHandlePunning

public void setHandlePunning(boolean handlePunning)

Parameters:

handlePunning - the handlePunning to set

setMaterializeExistentialRestrictions

public void setMaterializeExistentialRestrictions(boolean materializeExistentialRestrictions)

Parameters:

materializeExistentialRestrictions - the materializeExistentialRestrictions to set

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