AbstractReasonerComponent (DL-Learner Javadoc)

java.lang.Object
- org.dllearner.core.AbstractComponent
- - org.dllearner.core.AbstractReasonerComponent

All Implemented Interfaces:

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

Direct Known Subclasses:

ClosedWorldReasoner, OWLAPIReasoner, SPARQLReasoner
```
public abstract class AbstractReasonerComponent
extends AbstractComponent
implements Reasoner, ReasonerComponent
```
Abstract component representing a reasoner. Only a few reasoning operations are guaranteed to be implemented by the underlying reasoner, while a ReasoningMethodUnsupportedException is thrown for all other methods. In addition to calling the actual implementations of reasoning operations, the class also collects statistical information, which can be queried. Guidelines for extending the class:
- add the needed method to the corresponding interface (currenty BaseReasoner, SchemaReasoner, IndividualReasoner exist)
- reasoning methods which need to be supported by all reasoners: create method() and methodImpl() here, where the former is an overridden, final method delegating to the latter abstract, protected method
- reasoning method, which do not need to be supported by all reasoners: create method() and methodImpl() as before, but this time methodImpl() is not abstract and throws a ReasoningMethodUnsupportedException
- a few very basic methods (where we do not care about statistics) do not have an "Impl" variant, e.g. getting all named classes of a KB; those are directly inherited from the reasoner interface
Note, that the method delegation is done to collect statistical information about reasoning performance, e.g. count how often certain methods were called and how long it took to execute them.
Author:

Jens Lehmann

Field Summary

Fields
Modifier and Type Field and Description

static org.slf4j.Logger logger

Fields
Modifier and Type	Field and Description
`static org.slf4j.Logger`	`logger`

Constructor Summary

Constructors
Constructor and Description
`AbstractReasonerComponent()`
`AbstractReasonerComponent(KnowledgeSource source)`
`AbstractReasonerComponent(Set<KnowledgeSource> sources)` Constructs a new reasoner component.

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`changeSources(Set<KnowledgeSource> sources)` Method to exchange the reasoner underlying the learning problem.
`SortedSetTuple<org.semanticweb.owlapi.model.OWLIndividual>`	`doubleRetrieval(org.semanticweb.owlapi.model.OWLClassExpression concept)` Performs a query for all instances of the given class expression and its negation.
`Set<org.semanticweb.owlapi.model.OWLClassExpression>`	`getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)` Returns all asserted owl:equivalence class axioms for the given class.
`List<org.semanticweb.owlapi.model.OWLClass>`	`getAtomicConceptsList()`
`List<org.semanticweb.owlapi.model.OWLClass>`	`getAtomicConceptsList(boolean removeOWLThing)`
`List<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getAtomicRolesList()`
`Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Boolean>>`	`getBooleanDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used if it is known that the property has values which can be parsed as boolean value.
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getBooleanDatatypeProperties()` Gets all data properties with range xsd:boolean.
`ClassHierarchy`	`getClassHierarchy()` Computes and returns the class hierarchy of the knowledge base.
`Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression>`	`getDataPropertyDomains()`
`Map<org.semanticweb.owlapi.model.OWLDataProperty,Set<org.semanticweb.owlapi.model.OWLLiteral>>`	`getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)` A map of data properties related to values, e.g.
`abstract 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>>`	`getDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Computes and returns all connections between individuals and values through the specified property, e.g.
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getDatatypeProperties()` Gets all data properties in the knowledge base, e.g.
`DatatypePropertyHierarchy`	`getDatatypePropertyHierarchy()` Computes and returns the data property hierarchy of the knowledge base.
`org.semanticweb.owlapi.model.OWLClassExpression`	`getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Returns the domain of this data property.
`org.semanticweb.owlapi.model.OWLClassExpression`	`getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)` Returns the domain of this object property.
`Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>>`	`getDoubleDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used if it is known that the property has values which can be parsed as double.
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getDoubleDatatypeProperties()` Gets all data properties with a range that describes floating point values, i.e.
`SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>`	`getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)`
`SortedSet<org.semanticweb.owlapi.model.OWLIndividual>`	`getFalseDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used to get all individuals, which have value "false" for the given property.
`SortedSet<FuzzyIndividual>`	`getFuzzyIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)`
`Set<org.semanticweb.owlapi.model.OWLClass>`	`getInconsistentClasses()` Returns all named classes, which are not satisfiable, i.e.
`SortedSet<org.semanticweb.owlapi.model.OWLIndividual>`	`getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)` Gets all instances of a given class expression in the knowledge base.
`long`	`getInstanceCheckReasoningTimeNs()`
`Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>`	`getIntDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used if it is known that the property has values which can be parsed as integer.
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getIntDatatypeProperties()` Gets all integer type data properties, i.e.
`Set<org.semanticweb.owlapi.model.OWLLiteral>`	`getLabel(org.semanticweb.owlapi.model.OWLEntity entity)` Returns the RDFS labels of an entity.
`SortedSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getMostGeneralDatatypeProperties()`
`SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getMostGeneralProperties()` TODO Outdated in OWL 2, because the universal role is the most general.
`SortedSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getMostSpecialDatatypeProperties()`
`SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getMostSpecialProperties()` TODO Outdated in OWL, because the bottom role is the most specific.
`int`	`getNrOfInstanceChecks()`
`int`	`getNrOfMultiInstanceChecks()`
`int`	`getNrOfMultiSubsumptionChecks()`
`int`	`getNrOfRetrievals()`
`int`	`getNrOfSubsumptionChecks()`
`int`	`getNrOfSubsumptionHierarchyQueries()`
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getNumericDataProperties()` Gets all data properties with a numeric range
`<T extends Number & Comparable<T>> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>>`	`getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Computes and returns all connections between individuals and numeric values through the specified property, e.g.
`<T extends Number> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>>`	`getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty, Class<T> clazz)` Convenience method, which can be used if it is known that the property has values which can be parsed as given Number class.
`Set<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getObjectProperties()` Gets all object properties in the knowledge base, e.g.
`Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression>`	`getObjectPropertyDomains()`
`ObjectPropertyHierarchy`	`getObjectPropertyHierarchy()` Computes and returns the object property hierarchy of the knowledge base.
`Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression>`	`getObjectPropertyRanges()`
`Map<org.semanticweb.owlapi.model.OWLObjectProperty,Set<org.semanticweb.owlapi.model.OWLIndividual>>`	`getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)` A map of properties related to an individual, e.g.
`long`	`getOverallReasoningTimeNs()`
`Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>>`	`getPropertyMembers(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)` Computes and returns all connections between individuals through the specified property, e.g.
`org.semanticweb.owlapi.model.OWLDataRange`	`getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Returns the range of this data property.
`org.semanticweb.owlapi.model.OWLClassExpression`	`getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)` Returns the range of this object property.
`abstract ReasonerType`	`getReasonerType()` Gets the type of the underlying reasoner.
`Set<org.semanticweb.owlapi.model.OWLIndividual>`	`getRelatedIndividuals(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)` Returns the set of individuals, which are connect to the given individual with the specified object property.
`Set<org.semanticweb.owlapi.model.OWLLiteral>`	`getRelatedValues(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Returns the set of individuals, which are connect to the given individual with the specified data property.
`long`	`getRetrievalReasoningTimeNs()`
`Set<KnowledgeSource>`	`getSources()` Gets the knowledge sources used by this reasoner.
`Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<String>>`	`getStringDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used which returns the property values as strings (note that any literal can be represented as string, even numbers).
`Set<org.semanticweb.owlapi.model.OWLDataProperty>`	`getStringDatatypeProperties()` Gets all data properties with range xsd:string.
`SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>`	`getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)` Returns direct sub classes in the class hierarchy.
`SortedSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty role)` Returns more special concepts in the subsumption hierarchy.
`SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)` Returns more special concepts in the subsumption hierarchy.
`<T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T>`	`getSubProperties(T role)` Computes all sub properties for the given property.
`long`	`getSubsumptionReasoningTimeNs()`
`SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>`	`getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)` Returns direct super classes in the class hierarchy.
`SortedSet<org.semanticweb.owlapi.model.OWLDataProperty>`	`getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty role)` Returns more general concepts in the subsumption hierarchy.
`SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty>`	`getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)` Returns more general concepts in the subsumption hierarchy.
`<T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T>`	`getSuperProperties(T role)` Computes all super properties for the given property.
`long`	`getTimePerInstanceCheckNs()`
`long`	`getTimePerRetrievalNs()`
`long`	`getTimePerSubsumptionCheckNs()`
`SortedSet<org.semanticweb.owlapi.model.OWLIndividual>`	`getTrueDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)` Convenience method, which can be used to get all individuals, which have value "true" for the given property.
`Set<org.semanticweb.owlapi.model.OWLClass>`	`getTypes(org.semanticweb.owlapi.model.OWLIndividual individual)` Returns types of an individual, i.e.
`boolean`	`hasType(org.semanticweb.owlapi.model.OWLClassExpression concept, org.semanticweb.owlapi.model.OWLIndividual s)` Checks whether `individual` is instance of `description`.
`SortedSet<org.semanticweb.owlapi.model.OWLIndividual>`	`hasType(org.semanticweb.owlapi.model.OWLClassExpression concept, Set<org.semanticweb.owlapi.model.OWLIndividual> s)` Performs instance checks on a set of instances (reasoners might be more efficient than handling each check separately).
`double`	`hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression description, FuzzyIndividual individual)` FUZZY EXTENSIONS
`boolean`	`isDisjoint(org.semanticweb.owlapi.model.OWLClass class1, org.semanticweb.owlapi.model.OWLClass class2)` Checks whether `class1` is disjoint with `class2`.
`boolean`	`isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1, org.semanticweb.owlapi.model.OWLClassExpression class2)` Checks whether `class1` is equivalent to `class2`.
`boolean`	`isSatisfiable()` Checks consistency of the knowledge.
`boolean`	`isSubPropertyOf(org.semanticweb.owlapi.model.OWLProperty subProperty, org.semanticweb.owlapi.model.OWLProperty superProperty)`
`boolean`	`isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass, org.semanticweb.owlapi.model.OWLClassExpression subClass)` Checks whether `superClass` is a super class of `subClass`.
`Set<org.semanticweb.owlapi.model.OWLClassExpression>`	`isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superConcepts, org.semanticweb.owlapi.model.OWLClassExpression subConcept)` Checks which of `superClasses` are super classes of `subClass`
`boolean`	`isUseInstanceChecks()`
`DatatypePropertyHierarchy`	`prepareDatatypePropertyHierarchy()` Creates the data property hierarchy.
`ObjectPropertyHierarchy`	`prepareObjectPropertyHierarchy()` Creates the object property hierarchy.
`ClassHierarchy`	`prepareSubsumptionHierarchy()` Creates the class hierarchy.
`abstract void`	`releaseKB()` Call this method to release the knowledge base.
`boolean`	`remainsSatisfiable(org.semanticweb.owlapi.model.OWLAxiom axiom)` Checks whether adding the specified axiom leads to an inconsistency.
`void`	`resetStatistics()` Reset all statistics.
`void`	`setPrecomputeClassHierarchy(boolean precomputeClassHierarchy)`
`void`	`setPrecomputeDataPropertyHierarchy(boolean precomputeDataPropertyHierarchy)`
`void`	`setPrecomputeObjectPropertyHierarchy(boolean precomputeObjectPropertyHierarchy)`
`void`	`setSources(KnowledgeSource... sources)`
`void`	`setSources(Set<KnowledgeSource> sources)`
`void`	`setSubsumptionHierarchy(ClassHierarchy subsumptionHierarchy)`
`abstract void`	`setSynchronized()` Enabled a synchronized mode such that all reasoner methods are supposed to be thread safe.
`void`	`setUpdated()` Notify the reasoner component that the underlying knowledge base has changed and all caches (for named classes, subsumption hierarchies, etc.) should be invalidaded.
`void`	`setUseInstanceChecks(boolean useInstanceChecks)`
`String`	`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

Methods inherited from interface org.dllearner.core.BaseReasoner
getBaseURI, getClasses, getIndividuals, getPrefixes

Methods inherited from interface org.dllearner.core.Component
init

- Field Detail
  - logger
```
public static org.slf4j.Logger logger
```
- Constructor Detail
  - AbstractReasonerComponent
```
public AbstractReasonerComponent()
```
  - AbstractReasonerComponent
```
public AbstractReasonerComponent(Set<KnowledgeSource> sources)
```
    Constructs a new reasoner component.
    
    Parameters:
    
    sources - The underlying knowledge sources.
  - AbstractReasonerComponent
```
public AbstractReasonerComponent(KnowledgeSource source)
```
- Method Detail
  - getSources
```
public Set<KnowledgeSource> getSources()
```
    Gets the knowledge sources used by this reasoner.
    
    Returns:
    
    The underlying knowledge sources.
  - setSources
```
@Autowired
public void setSources(Set<KnowledgeSource> sources)
```
  - setSources
```
@Autowired
public void setSources(KnowledgeSource... sources)
```
  - changeSources
```
public void changeSources(Set<KnowledgeSource> sources)
```
    Method to exchange the reasoner underlying the learning problem. Implementations, which do not only use the provided sources class variable, must make sure that a call to this method indeed changes them.
    
    Parameters:
    
    sources - The new knowledge sources.
  - getReasonerType
```
public abstract ReasonerType getReasonerType()
```
    Gets the type of the underlying reasoner. Although rarely necessary, applications can use this to adapt their behaviour to the reasoner.
    
    Returns:
    
    The reasoner type.
  - resetStatistics
```
public void resetStatistics()
```
    Reset all statistics. Usually, you do not need to call this. However, if you e.g. perform benchmarks of learning algorithms and performing reasoning operations, such as a consistency check, before starting the algorithm, you can use this method to reset all statistical values.
  - setUpdated
```
public void setUpdated()
```
    Notify the reasoner component that the underlying knowledge base has changed and all caches (for named classes, subsumption hierarchies, etc.) should be invalidaded. TODO Currently, nothing is done to behave correctly after updates.
  - releaseKB
```
public abstract void releaseKB()
```
    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.
  - getTypes
```
public final Set<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLIndividual individual)
```
    Description copied from interface: IndividualReasoner
    
    Returns types of an individual, i.e. those classes where the individual is instance of. For instance, the individual eric could have type Person.
    
    Specified by:
    
    getTypes in interface IndividualReasoner
    
    Parameters:
    
    individual - An individual in the knowledge base.
    
    Returns:
    
    Types this individual is instance of.
  - isSuperClassOf
```
public final boolean isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass,
                                    org.semanticweb.owlapi.model.OWLClassExpression subClass)
```
    Description copied from interface: SchemaReasoner
    
    Checks whether superClass is a super class of subClass.
    
    Specified by:
    
    isSuperClassOf in interface SchemaReasoner
    
    Parameters:
    
    superClass - The (supposed) super class.
    
    subClass - The (supposed) sub class.
    
    Returns:
    
    Whether superClass is a super class of subClass.
  - isEquivalentClass
```
public final boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1,
                                       org.semanticweb.owlapi.model.OWLClassExpression class2)
```
    Description copied from interface: SchemaReasoner
    
    Checks whether class1 is equivalent to class2.
    
    Specified by:
    
    isEquivalentClass in interface SchemaReasoner
    
    Parameters:
    
    class1 - The first class.
    
    class2 - The second class2.
    
    Returns:
    
    Whether class1 is equivalent to class2.
  - isDisjoint
```
public final boolean isDisjoint(org.semanticweb.owlapi.model.OWLClass class1,
                                org.semanticweb.owlapi.model.OWLClass class2)
```
    Description copied from interface: SchemaReasoner
    
    Checks whether class1 is disjoint with class2.
    
    Specified by:
    
    isDisjoint in interface SchemaReasoner
    
    Parameters:
    
    class1 - The first class.
    
    class2 - The second class2.
    
    Returns:
    
    Whether class1 is disjoint with class2.
  - getAssertedDefinitions
```
public Set<org.semanticweb.owlapi.model.OWLClassExpression> getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)
```
    Description copied from interface: SchemaReasoner
    
    Returns all asserted owl:equivalence class axioms for the given class.
    
    Specified by:
    
    getAssertedDefinitions in interface SchemaReasoner
    
    Parameters:
    
    namedClass - A named class in the background knowledge.
    
    Returns:
    
    A set of descriptions asserted to be equal to the named class.
  - isSuperClassOf
```
public final Set<org.semanticweb.owlapi.model.OWLClassExpression> isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superConcepts,
                                                                                 org.semanticweb.owlapi.model.OWLClassExpression subConcept)
```
    Description copied from interface: SchemaReasoner
    
    Checks which of superClasses are super classes of subClass
    
    Specified by:
    
    isSuperClassOf in interface SchemaReasoner
    
    Parameters:
    
    superConcepts - A set of (supposed) super classes.
    
    subConcept - The (supposed) sub class.
    
    Returns:
    
    The subset of superClasses, which satisfy the superclass-subclass relationship.
  - doubleRetrieval
```
public final SortedSetTuple<org.semanticweb.owlapi.model.OWLIndividual> doubleRetrieval(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
    Description copied from interface: IndividualReasoner
    
    Performs a query for all instances of the given class expression and its negation. (Note that in OWL it is possible that the reasoner can neither deduce that an individual is instance of a class nor its negation.) This method might be more efficient that performing a two retrievals.
    
    Specified by:
    
    doubleRetrieval in interface IndividualReasoner
    
    Parameters:
    
    concept - An OWL class description.
    
    Returns:
    
    All instances of the class OWLClassExpression and its negation.
  - getIndividuals
```
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
    Description copied from interface: IndividualReasoner
    
    Gets all instances of a given class expression in the knowledge base.
    
    Specified by:
    
    getIndividuals in interface IndividualReasoner
    
    Parameters:
    
    concept - An OWL class description.
    
    Returns:
    
    All instances of the class description.
  - getFuzzyIndividuals
```
public final SortedSet<FuzzyIndividual> getFuzzyIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
    Specified by:
    
    getFuzzyIndividuals in interface FuzzyIndividualReasoner
  - hasType
```
public final boolean hasType(org.semanticweb.owlapi.model.OWLClassExpression concept,
                             org.semanticweb.owlapi.model.OWLIndividual s)
```
    Description copied from interface: IndividualReasoner
    
    Checks whether individual is instance of description. For instance, "Leipzig" may be an instance of "City".
    
    Specified by:
    
    hasType in interface IndividualReasoner
    
    Parameters:
    
    concept - An OWL class description.
    
    s - An individual.
    
    Returns:
    
    True if the instance has the OWLClassExpression as type and false otherwise.
  - hasType
```
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> hasType(org.semanticweb.owlapi.model.OWLClassExpression concept,
                                                                           Set<org.semanticweb.owlapi.model.OWLIndividual> s)
```
    Description copied from interface: IndividualReasoner
    
    Performs instance checks on a set of instances (reasoners might be more efficient than handling each check separately).
    
    Specified by:
    
    hasType in interface IndividualReasoner
    
    Parameters:
    
    concept - An OWL class description.
    
    s - An individual.
    
    Returns:
    
    The subset of those instances, which have the given type.
  - getInconsistentClasses
```
public final Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClasses()
```
    Description copied from interface: SchemaReasoner
    
    Returns all named classes, which are not satisfiable, i.e. cannot have instances.
    
    Specified by:
    
    getInconsistentClasses in interface SchemaReasoner
    
    Returns:
    
    The set of inconsistent classes.
  - isSatisfiable
```
public final boolean isSatisfiable()
```
    Description copied from interface: BaseReasoner
    
    Checks consistency of the knowledge.
    
    Specified by:
    
    isSatisfiable in interface BaseReasoner
    
    Returns:
    
    True if the knowledge base is consistent and false otherwise.
  - remainsSatisfiable
```
public final boolean remainsSatisfiable(org.semanticweb.owlapi.model.OWLAxiom axiom)
```
    Description copied from interface: BaseReasoner
    
    Checks whether adding the specified axiom leads to an inconsistency.
    
    Specified by:
    
    remainsSatisfiable in interface BaseReasoner
    
    Parameters:
    
    axiom - The axiom to be added to the knowledge base.
    
    Returns:
    
    True of the knowledge base including the axiom is satisfiable. False otherwise.
  - getObjectPropertyRelationships
```
public final Map<org.semanticweb.owlapi.model.OWLObjectProperty,Set<org.semanticweb.owlapi.model.OWLIndividual>> getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
```
    Description copied from interface: IndividualReasoner
    
    A map of properties related to an individual, e.g. {hasChild => {eric,anna}, hasSibling => {sebastian}}.
    
    Specified by:
    
    getObjectPropertyRelationships in interface IndividualReasoner
    
    Parameters:
    
    individual - An individual.
    
    Returns:
    
    A map of of properties connected to the individual as keys and the individuals they point to as values.
  - getDataPropertyRelationships
```
public final Map<org.semanticweb.owlapi.model.OWLDataProperty,Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
```
    Description copied from interface: IndividualReasoner
    
    A map of data properties related to values, e.g. {birthDate => {eric, "1980-10-10"^^xsd:date}, height => {Mount_Everest, 8880}}.
    
    Specified by:
    
    getDataPropertyRelationships in interface IndividualReasoner
    
    Parameters:
    
    individual - An individual.
    
    Returns:
    
    A map of of data properties connected to the individual as keys and the literals they point to as values.
  - getRelatedIndividuals
```
public final Set<org.semanticweb.owlapi.model.OWLIndividual> getRelatedIndividuals(org.semanticweb.owlapi.model.OWLIndividual individual,
                                                                                   org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
```
    Description copied from interface: IndividualReasoner
    
    Returns the set of individuals, which are connect to the given individual with the specified object property.
    
    Specified by:
    
    getRelatedIndividuals in interface IndividualReasoner
    
    Parameters:
    
    individual - An individual, e.g. eric.
    
    objectProperty - An object property, e.g. hasChild.
    
    Returns:
    
    A set of individuals, e.g. {anna, maria}.
  - getRelatedValues
```
public final Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValues(org.semanticweb.owlapi.model.OWLIndividual individual,
                                                                           org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Returns the set of individuals, which are connect to the given individual with the specified data property.
    
    Specified by:
    
    getRelatedValues in interface IndividualReasoner
    
    Parameters:
    
    individual - An individual, e.g. eric.
    
    datatypeProperty - A data property, e.g. hasIncome.
    
    Returns:
    
    A set of individuals, e.g. {48000^^xsd:int}.
  - getLabel
```
public final Set<org.semanticweb.owlapi.model.OWLLiteral> getLabel(org.semanticweb.owlapi.model.OWLEntity entity)
```
    Description copied from interface: BaseReasoner
    
    Returns the RDFS labels of an entity.
    
    Specified by:
    
    getLabel in interface BaseReasoner
    
    Parameters:
    
    entity - An entity, e.g. Machine.
    
    Returns:
    
    All values of rdfs:label for the entity, e.g. {"Machine"@en, "Maschine"@de}.
  - getPropertyMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> getPropertyMembers(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)
```
    Description copied from interface: IndividualReasoner
    
    Computes and returns all connections between individuals through the specified property, e.g. {eric => {maria, anna}, anna => {eric}}.
    
    Specified by:
    
    getPropertyMembers in interface IndividualReasoner
    
    Parameters:
    
    atomicRole - An object property.
    
    Returns:
    
    The mapping of individuals to other individuals through this object property.
  - getDatatypeMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> getDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Computes and returns all connections between individuals and values through the specified property, e.g. {eric => {48000^^xsd:int}, sarah => {56000^^xsd:int}}.
    
    Specified by:
    
    getDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and values through the given property.
  - getDoubleDatatypeMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> getDoubleDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used if it is known that the property has values which can be parsed as double.
    
    Specified by:
    
    getDoubleDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and double values through the given property.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty), Double.valueOf(String)
  - getNumericDatatypeMembers
```
public final <T extends Number> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>> getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty,
                                                                                                                       Class<T> clazz)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used if it is known that the property has values which can be parsed as given Number class.
    
    Specified by:
    
    getNumericDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    clazz - a Java Number subtype.
    
    Returns:
    
    The mapping between individuals and numeric values of given type through the given property.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty)
  - getNumericDatatypeMembers
```
public final <T extends Number & Comparable<T>> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>> getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Computes and returns all connections between individuals and numeric values through the specified property, e.g. {eric => {48000^^xsd:int}, sarah => {56000^^xsd:int}}.
    
    Specified by:
    
    getNumericDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and numeric values through the given property.
  - getIntDatatypeMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> getIntDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used if it is known that the property has values which can be parsed as integer.
    
    Specified by:
    
    getIntDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and integer values through the given property.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty), Integer.valueOf(String)
  - getBooleanDatatypeMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Boolean>> getBooleanDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used if it is known that the property has values which can be parsed as boolean value. Only "true" or "false" are accepted. If other values occur, a warning will be issued.
    
    Specified by:
    
    getBooleanDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and boolean values through the given property.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty)
  - getTrueDatatypeMembers
```
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getTrueDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used to get all individuals, which have value "true" for the given property. Usually, data properties can have several values for a given individual, but this method will throw a runtime exception if this is the case (i.e. the set of values is {"true", "false"}).
    
    Specified by:
    
    getTrueDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The set of individuals for which the boolean property holds.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty)
  - getFalseDatatypeMembers
```
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getFalseDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used to get all individuals, which have value "false" for the given property. Usually, data properties can have several values for a given individual, but this method will throw a runtime exception if this is the case (i.e. the set of values is {"true", "false"}).
    
    Specified by:
    
    getFalseDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The set of individuals for which the boolean property does not hold.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty)
  - getStringDatatypeMembers
```
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<String>> getStringDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: IndividualReasoner
    
    Convenience method, which can be used which returns the property values as strings (note that any literal can be represented as string, even numbers).
    
    Specified by:
    
    getStringDatatypeMembers in interface IndividualReasoner
    
    Parameters:
    
    datatypeProperty - A data property.
    
    Returns:
    
    The mapping between individuals and string values through the given property.
    
    See Also:
    
    IndividualReasoner.getDatatypeMembers(OWLDataProperty)
  - getObjectProperties
```
public final Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all object properties in the knowledge base, e.g. hasChild, isCapitalOf, hasEngine.
    
    Specified by:
    
    getObjectProperties in interface BaseReasoner
    
    Returns:
    
    All object properties in KB.
  - getDatatypeProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypeProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all data properties in the knowledge base, e.g. hasIncome, height.
    
    Specified by:
    
    getDatatypeProperties in interface BaseReasoner
    
    Returns:
    
    All data properties in KB.
  - getBooleanDatatypeProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypeProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all data properties with range xsd:boolean.
    
    Specified by:
    
    getBooleanDatatypeProperties in interface BaseReasoner
    
    Returns:
    
    Boolean data properties in KB.
  - getNumericDataProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getNumericDataProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all data properties with a numeric range
    
    Specified by:
    
    getNumericDataProperties in interface BaseReasoner
    
    Returns:
    
    Numeric data properties in KB.
  - getIntDatatypeProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypeProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all integer type data properties, i.e. with range xsd:byte, xsd:short, xsd:int, xsd:integer, xsd:negativeInteger, xsd:nonNegativeInteger, xsd:positiveInteger, xsd:nonPositiveInteger.
    
    Specified by:
    
    getIntDatatypeProperties in interface BaseReasoner
    
    Returns:
    
    Integer data properties in KB.
    
    See Also:
    
    OWLAPIUtils.intDatatypes
  - getDoubleDatatypeProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypeProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all data properties with a range that describes floating point values, i.e. xsd:float, xsd:double and xsd:decimal.
    
    Specified by:
    
    getDoubleDatatypeProperties in interface BaseReasoner
    
    Returns:
    
    Floating point data properties in KB.
  - getStringDatatypeProperties
```
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypeProperties()
```
    Description copied from interface: BaseReasoner
    
    Gets all data properties with range xsd:string. TODO We could extend this to all types, which can be parsed into strings and even include the properties without any specified datatype.
    
    Specified by:
    
    getStringDatatypeProperties in interface BaseReasoner
    
    Returns:
    
    String data properties in KB.
    
    See Also:
    
    OWLDataProperty
  - getDomain
```
public final org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
```
    Description copied from interface: SchemaReasoner
    
    Returns the domain of this object property. (Theoretically, there could be more than one domain axiom. However, this can be considered a modelling error.)
    
    Specified by:
    
    getDomain in interface SchemaReasoner
    
    Parameters:
    
    objectProperty - An object property in the knowledge base.
    
    Returns:
    
    The rdfs:domain of objectProperty
  - getDomain
```
public final org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: SchemaReasoner
    
    Returns the domain of this data property.
    
    Specified by:
    
    getDomain in interface SchemaReasoner
    
    Parameters:
    
    datatypeProperty - An data property in the knowledge base.
    
    Returns:
    
    The rdfs:domain of datatypeProperty
  - getRange
```
public final org.semanticweb.owlapi.model.OWLClassExpression getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
```
    Description copied from interface: SchemaReasoner
    
    Returns the range of this object property.
    
    Specified by:
    
    getRange in interface SchemaReasoner
    
    Parameters:
    
    objectProperty - An object property in the knowledge base.
    
    Returns:
    
    The rdfs:range of objectProperty
  - getRange
```
public final org.semanticweb.owlapi.model.OWLDataRange getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
```
    Description copied from interface: SchemaReasoner
    
    Returns the range of this data property.
    
    Specified by:
    
    getRange in interface SchemaReasoner
    
    Parameters:
    
    datatypeProperty - An data property in the knowledge base.
    
    Returns:
    
    The rdfs:range of datatypeProperty
  - getSuperClasses
```
public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
    Description copied from interface: SchemaReasoner
    
    Returns direct super classes in the class hierarchy.
    
    Specified by:
    
    getSuperClasses in interface SchemaReasoner
    
    Parameters:
    
    concept - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more general concepts.
  - getSubClasses
```
public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
    Description copied from interface: SchemaReasoner
    
    Returns direct sub classes in the class hierarchy.
    
    Specified by:
    
    getSubClasses in interface SchemaReasoner
    
    Parameters:
    
    concept - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more special concepts.
  - getEquivalentClasses
```
public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
```
  - getSuperProperties
```
public final <T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSuperProperties(T role)
```
    Description copied from interface: SchemaReasoner
    
    Computes all super properties for the given property.
    
    Specified by:
    
    getSuperProperties in interface SchemaReasoner
    
    Parameters:
    
    role - the property
    
    Returns:
    
    all super properties
  - getSubProperties
```
public final <T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSubProperties(T role)
```
    Description copied from interface: SchemaReasoner
    
    Computes all sub properties for the given property.
    
    Specified by:
    
    getSubProperties in interface SchemaReasoner
    
    Parameters:
    
    role - the property
    
    Returns:
    
    all sub properties
  - getSuperProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
```
    Description copied from interface: SchemaReasoner
    
    Returns more general concepts in the subsumption hierarchy.
    
    Specified by:
    
    getSuperProperties in interface SchemaReasoner
    
    Parameters:
    
    role - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more general concepts.
    
    See Also:
    
    ObjectPropertyHierarchy.getMoreGeneralRoles(OWLObjectProperty)
  - getSubProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
```
    Description copied from interface: SchemaReasoner
    
    Returns more special concepts in the subsumption hierarchy.
    
    Specified by:
    
    getSubProperties in interface SchemaReasoner
    
    Parameters:
    
    role - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more special concepts.
    
    See Also:
    
    ObjectPropertyHierarchy.getMoreSpecialRoles(OWLObjectProperty)
  - getMostGeneralProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostGeneralProperties()
```
    Description copied from interface: SchemaReasoner
    
    TODO Outdated in OWL 2, because the universal role is the most general.
    
    Specified by:
    
    getMostGeneralProperties in interface SchemaReasoner
    
    Returns:
    
    The most general roles.
    
    See Also:
    
    ObjectPropertyHierarchy.getMostGeneralRoles()
  - getMostSpecialProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostSpecialProperties()
```
    Description copied from interface: SchemaReasoner
    
    TODO Outdated in OWL, because the bottom role is the most specific.
    
    Specified by:
    
    getMostSpecialProperties in interface SchemaReasoner
    
    Returns:
    
    The most special roles.
    
    See Also:
    
    ObjectPropertyHierarchy.getMostSpecialRoles()
  - getSuperProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
```
    Description copied from interface: SchemaReasoner
    
    Returns more general concepts in the subsumption hierarchy.
    
    Specified by:
    
    getSuperProperties in interface SchemaReasoner
    
    Parameters:
    
    role - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more general concepts.
    
    See Also:
    
    DatatypePropertyHierarchy.getMoreGeneralRoles(OWLDataProperty)
  - getSubProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
```
    Description copied from interface: SchemaReasoner
    
    Returns more special concepts in the subsumption hierarchy.
    
    Specified by:
    
    getSubProperties in interface SchemaReasoner
    
    Parameters:
    
    role - Atomic concept, top, or bottom.
    
    Returns:
    
    A set of more special concepts.
    
    See Also:
    
    DatatypePropertyHierarchy.getMoreSpecialRoles(OWLDataProperty)
  - getMostGeneralDatatypeProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostGeneralDatatypeProperties()
```
    Specified by:
    
    getMostGeneralDatatypeProperties in interface SchemaReasoner
    
    Returns:
    
    The most general roles.
    
    See Also:
    
    DatatypePropertyHierarchy.getMostGeneralRoles()
  - getMostSpecialDatatypeProperties
```
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostSpecialDatatypeProperties()
```
    Specified by:
    
    getMostSpecialDatatypeProperties in interface SchemaReasoner
    
    Returns:
    
    The most special roles.
    
    See Also:
    
    DatatypePropertyHierarchy.getMostSpecialRoles()
  - prepareSubsumptionHierarchy
```
public ClassHierarchy prepareSubsumptionHierarchy()
                                           throws ReasoningMethodUnsupportedException
```
    Creates the class hierarchy. Invoking this method is optional (if not called explicitly, it is called the first time, it is needed).
    
    Returns:
    
    The class hierarchy.
    
    Throws:
    
    ReasoningMethodUnsupportedException - If any method needed to create the hierarchy is not supported by the underlying reasoner.
  - getClassHierarchy
```
public final ClassHierarchy getClassHierarchy()
```
    Description copied from interface: SchemaReasoner
    
    Computes and returns the class hierarchy of the knowledge base.
    
    Specified by:
    
    getClassHierarchy in interface SchemaReasoner
    
    Returns:
    
    The subsumption hierarchy of this knowledge base.
  - prepareObjectPropertyHierarchy
```
public ObjectPropertyHierarchy prepareObjectPropertyHierarchy()
                                                       throws ReasoningMethodUnsupportedException
```
    Creates the object property hierarchy. Invoking this method is optional (if not called explicitly, it is called the first time, it is needed).
    
    Returns:
    
    The object property hierarchy.
    
    Throws:
    
    ReasoningMethodUnsupportedException - Thrown if a reasoning method for object property hierarchy creation is not supported by the reasoner.
  - getObjectPropertyHierarchy
```
public final ObjectPropertyHierarchy getObjectPropertyHierarchy()
```
    Description copied from interface: SchemaReasoner
    
    Computes and returns the object property hierarchy of the knowledge base.
    
    Specified by:
    
    getObjectPropertyHierarchy in interface SchemaReasoner
    
    Returns:
    
    The object property hierarchy of the knowlege base.
  - isSubPropertyOf
```
public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLProperty subProperty,
                               org.semanticweb.owlapi.model.OWLProperty superProperty)
```
  - prepareDatatypePropertyHierarchy
```
public DatatypePropertyHierarchy prepareDatatypePropertyHierarchy()
                                                           throws ReasoningMethodUnsupportedException
```
    Creates the data property hierarchy. Invoking this method is optional (if not called explicitly, it is called the first time, it is needed).
    
    Returns:
    
    The data property hierarchy.
    
    Throws:
    
    ReasoningMethodUnsupportedException - Thrown if data property hierarchy creation is not supported by the reasoner.
  - getDatatypePropertyHierarchy
```
public final DatatypePropertyHierarchy getDatatypePropertyHierarchy()
```
    Description copied from interface: SchemaReasoner
    
    Computes and returns the data property hierarchy of the knowledge base.
    
    Specified by:
    
    getDatatypePropertyHierarchy in interface SchemaReasoner
    
    Returns:
    
    The data property hierarchy of the knowlege base.
  - getAtomicConceptsList
```
public List<org.semanticweb.owlapi.model.OWLClass> getAtomicConceptsList()
```
  - getAtomicConceptsList
```
public List<org.semanticweb.owlapi.model.OWLClass> getAtomicConceptsList(boolean removeOWLThing)
```
  - setSubsumptionHierarchy
```
public void setSubsumptionHierarchy(ClassHierarchy subsumptionHierarchy)
```
  - getAtomicRolesList
```
public List<org.semanticweb.owlapi.model.OWLObjectProperty> getAtomicRolesList()
```
  - getInstanceCheckReasoningTimeNs
```
public long getInstanceCheckReasoningTimeNs()
```
  - getRetrievalReasoningTimeNs
```
public long getRetrievalReasoningTimeNs()
```
  - getNrOfInstanceChecks
```
public int getNrOfInstanceChecks()
```
  - getNrOfRetrievals
```
public int getNrOfRetrievals()
```
  - getNrOfSubsumptionChecks
```
public int getNrOfSubsumptionChecks()
```
  - getSubsumptionReasoningTimeNs
```
public long getSubsumptionReasoningTimeNs()
```
  - getNrOfSubsumptionHierarchyQueries
```
public int getNrOfSubsumptionHierarchyQueries()
```
  - getOverallReasoningTimeNs
```
public long getOverallReasoningTimeNs()
```
  - getTimePerRetrievalNs
```
public long getTimePerRetrievalNs()
```
  - getTimePerInstanceCheckNs
```
public long getTimePerInstanceCheckNs()
```
  - getTimePerSubsumptionCheckNs
```
public long getTimePerSubsumptionCheckNs()
```
  - getNrOfMultiSubsumptionChecks
```
public int getNrOfMultiSubsumptionChecks()
```
  - getNrOfMultiInstanceChecks
```
public int getNrOfMultiInstanceChecks()
```
  - setPrecomputeClassHierarchy
```
public void setPrecomputeClassHierarchy(boolean precomputeClassHierarchy)
```
    Parameters:
    
    precomputeClassHierarchy - the precomputeClassHierarchy to set
  - setPrecomputeObjectPropertyHierarchy
```
public void setPrecomputeObjectPropertyHierarchy(boolean precomputeObjectPropertyHierarchy)
```
    Parameters:
    
    precomputeObjectPropertyHierarchy - the precomputeObjectPropertyHierarchy to set
  - setPrecomputeDataPropertyHierarchy
```
public void setPrecomputeDataPropertyHierarchy(boolean precomputeDataPropertyHierarchy)
```
    Parameters:
    
    precomputeDataPropertyHierarchy - the precomputeDataPropertyHierarchy to set
  - getObjectPropertyDomains
```
public Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> getObjectPropertyDomains()
```
    Returns:
    
    all object properties with its domains.
  - getObjectPropertyRanges
```
public Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> getObjectPropertyRanges()
```
    Returns:
    
    all object properties with its range.
  - getDataPropertyDomains
```
public Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> getDataPropertyDomains()
```
    Returns:
    
    all data properties with its domains.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - hasTypeFuzzyMembership
```
public double hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression description,
                                     FuzzyIndividual individual)
```
    FUZZY EXTENSIONS
    
    Specified by:
    
    hasTypeFuzzyMembership in interface FuzzyIndividualReasoner
    
    Parameters:
    
    description - An OWL class description.
    
    individual - An individual.
    
    Returns:
    
    fuzzy membership degree of individual satisfying description [0-1].
  - getDatatype
```
public abstract org.semanticweb.owlapi.model.OWLDatatype getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
```
    Returns the datatype of the data property, i.e. the range if it is a datatype.
    
    Parameters:
    
    dp - the data property
    
    Returns:
    
    the datatype of the data property
  - setSynchronized
```
public abstract void setSynchronized()
```
    Enabled a synchronized mode such that all reasoner methods are supposed to be thread safe.
  - isUseInstanceChecks
```
public boolean isUseInstanceChecks()
```
  - setUseInstanceChecks
```
public void setUseInstanceChecks(boolean useInstanceChecks)
```

Class AbstractReasonerComponent

Field Summary

Constructor Summary

Method Summary

Methods inherited from class org.dllearner.core.AbstractComponent

Methods inherited from class java.lang.Object

Methods inherited from interface org.dllearner.core.BaseReasoner

Methods inherited from interface org.dllearner.core.Component

Field Detail

logger

Constructor Detail

AbstractReasonerComponent

AbstractReasonerComponent

AbstractReasonerComponent

Method Detail

getSources

setSources

setSources

changeSources

getReasonerType

resetStatistics

setUpdated

releaseKB

getTypes

isSuperClassOf

isEquivalentClass

isDisjoint

getAssertedDefinitions

isSuperClassOf

doubleRetrieval

getIndividuals

getFuzzyIndividuals

hasType

hasType

getInconsistentClasses

isSatisfiable

remainsSatisfiable

getObjectPropertyRelationships

getDataPropertyRelationships

getRelatedIndividuals

getRelatedValues

getLabel

getPropertyMembers

getDatatypeMembers

getDoubleDatatypeMembers

getNumericDatatypeMembers

getNumericDatatypeMembers

getIntDatatypeMembers

getBooleanDatatypeMembers

getTrueDatatypeMembers

getFalseDatatypeMembers

getStringDatatypeMembers

getObjectProperties

getDatatypeProperties

getBooleanDatatypeProperties

getNumericDataProperties

getIntDatatypeProperties

getDoubleDatatypeProperties

getStringDatatypeProperties

getDomain

getDomain

getRange

getRange

getSuperClasses

getSubClasses

getEquivalentClasses

getSuperProperties

getSubProperties

getSuperProperties

getSubProperties

getMostGeneralProperties

getMostSpecialProperties

getSuperProperties

getSubProperties

getMostGeneralDatatypeProperties

getMostSpecialDatatypeProperties

prepareSubsumptionHierarchy

getClassHierarchy

prepareObjectPropertyHierarchy

getObjectPropertyHierarchy