org.dllearner.core
Interface Reasoner

All Superinterfaces:

BaseReasoner, FuzzyIndividualReasoner, IndividualReasoner, SchemaReasoner

All Known Implementing Classes:

AbstractReasonerComponent, DIGReasoner, FastInstanceChecker, FastRetrievalReasoner, FuzzyOWLAPIReasoner, OWLAPIReasoner, PelletReasoner, ProtegeReasoner

public interface Reasoner
extends BaseReasoner, SchemaReasoner, IndividualReasoner, FuzzyIndividualReasoner

List of available reasoning/query methods.

Author:

Jens Lehmann

Method Summary

Methods inherited from interface org.dllearner.core.BaseReasoner

getBaseURI, getBooleanDatatypeProperties, getDatatypeProperties, getDoubleDatatypeProperties, getIndividuals, getIntDatatypeProperties, getLabel, getNamedClasses, getObjectProperties, getPrefixes, getStringDatatypeProperties, isSatisfiable, remainsSatisfiable

Methods inherited from interface org.dllearner.core.SchemaReasoner

getAssertedDefinitions, getClassHierarchy, getDatatypePropertyHierarchy, getDomain, getDomain, getInconsistentClasses, getMostGeneralDatatypeProperties, getMostGeneralProperties, getMostSpecialDatatypeProperties, getMostSpecialProperties, getObjectPropertyHierarchy, getRange, getRange, getSubClasses, getSubProperties, getSubProperties, getSuperClasses, getSuperProperties, getSuperProperties, isEquivalentClass, isSuperClassOf, isSuperClassOf

Methods inherited from interface org.dllearner.core.IndividualReasoner

doubleRetrieval, getBooleanDatatypeMembers, getDatatypeMembers, getDoubleDatatypeMembers, getFalseDatatypeMembers, getIndividuals, getIntDatatypeMembers, getObjectPropertyRelationships, getPropertyMembers, getRelatedIndividuals, getRelatedValues, getStringDatatypeMembers, getTrueDatatypeMembers, getTypes, hasType, hasType

Methods inherited from interface org.dllearner.core.fuzzydll.FuzzyIndividualReasoner

getFuzzyIndividuals, hasTypeFuzzyMembership