org.dllearner.core
Interface SchemaReasoner

All Known Subinterfaces:

Reasoner

All Known Implementing Classes:

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

public interface SchemaReasoner

Reasoning requests related to the schema of the knowledge base.

Author:

Jens Lehmann

Method Summary

Set<Description>	getAssertedDefinitions(NamedClass namedClass) Returns all asserted owl:equivalence class axioms for the given class.
ClassHierarchy	getClassHierarchy() Computes and returns the class hierarchy of the knowledge base.
DatatypePropertyHierarchy	getDatatypePropertyHierarchy() Computes and returns the data property hierarchy of the knowledge base.
Description	getDomain(DatatypeProperty datatypeProperty) Returns the domain of this data property.
Description	getDomain(ObjectProperty objectProperty) Returns the domain of this object property.
Set<NamedClass>	getInconsistentClasses() Returns all named classes, which are not satisfiable, i.e. cannot have instances.
TreeSet<DatatypeProperty>	getMostGeneralDatatypeProperties()
TreeSet<ObjectProperty>	getMostGeneralProperties() TODO Outdated in OWL 2, because the universal role is the most general.
TreeSet<DatatypeProperty>	getMostSpecialDatatypeProperties()
TreeSet<ObjectProperty>	getMostSpecialProperties() TODO Outdated in OWL, because the bottom role is the most specific.
ObjectPropertyHierarchy	getObjectPropertyHierarchy() Computes and returns the object property hierarchy of the knowledge base.
DataRange	getRange(DatatypeProperty datatypeProperty) Returns the range of this data property.
Description	getRange(ObjectProperty objectProperty) Returns the range of this object property.
SortedSet<Description>	getSubClasses(Description description) Returns direct sub classes in the class hierarchy.
SortedSet<DatatypeProperty>	getSubProperties(DatatypeProperty dataProperty) Returns more special concepts in the subsumption hierarchy.
SortedSet<ObjectProperty>	getSubProperties(ObjectProperty objectProperty) Returns more special concepts in the subsumption hierarchy.
SortedSet<Description>	getSuperClasses(Description description) Returns direct super classes in the class hierarchy.
SortedSet<DatatypeProperty>	getSuperProperties(DatatypeProperty dataProperty) Returns more general concepts in the subsumption hierarchy.
SortedSet<ObjectProperty>	getSuperProperties(ObjectProperty objectProperty) Returns more general concepts in the subsumption hierarchy.
boolean	isEquivalentClass(Description class1, Description class2) Checks whether class1 is equivalent to class2.
boolean	isSuperClassOf(Description superClass, Description subClass) Checks whether superClass is a super class of subClass.
Set<Description>	isSuperClassOf(Set<Description> superClasses, Description subClasses) Checks which of superClasses are super classes of subClass

Method Detail

getInconsistentClasses

Set<NamedClass> getInconsistentClasses()

Returns all named classes, which are not satisfiable, i.e. cannot have instances.

Returns:

The set of inconsistent classes.

getDomain

Description getDomain(ObjectProperty objectProperty)

Returns the domain of this object property. (Theoretically, there could be more than one domain axiom. However, this can be considered a modelling error.)

Parameters:

objectProperty - An object property in the knowledge base.

Returns:

The rdfs:domain of objectProperty

getDomain

Description getDomain(DatatypeProperty datatypeProperty)

Returns the domain of this data property.

Parameters:

datatypeProperty - An data property in the knowledge base.

Returns:

The rdfs:domain of datatypeProperty

getRange

Description getRange(ObjectProperty objectProperty)

Returns the range of this object property.

Parameters:

objectProperty - An object property in the knowledge base.

Returns:

The rdfs:range of objectProperty

getRange

DataRange getRange(DatatypeProperty datatypeProperty)

Returns the range of this data property.

Parameters:

datatypeProperty - An data property in the knowledge base.

Returns:

The rdfs:range of datatypeProperty

isSuperClassOf

boolean isSuperClassOf(Description superClass,
                       Description subClass)

Checks whether superClass is a super class of subClass.

Parameters:

superClass - The (supposed) super class.

subClass - The (supposed) sub class.

Returns:

Whether superClass is a super class of subClass.

isEquivalentClass

boolean isEquivalentClass(Description class1,
                          Description class2)

Checks whether class1 is equivalent to class2.

Parameters:

class1 - The first class.

class2 - The second class2.

Returns:

Whether class1 is equivalent to class2.

getAssertedDefinitions

Set<Description> getAssertedDefinitions(NamedClass namedClass)

Returns all asserted owl:equivalence class axioms for the given class.

Parameters:

namedClass - A named class in the background knowledge.

Returns:

A set of descriptions asserted to be equal to the named class.

isSuperClassOf

Set<Description> isSuperClassOf(Set<Description> superClasses,
                                Description subClasses)

Checks which of superClasses are super classes of subClass

Parameters:

superClasses - A set of (supposed) super classes.

subClasses - The (supposed) sub class.

Returns:

The subset of superClasses, which satisfy the superclass-subclass relationship.

getClassHierarchy

ClassHierarchy getClassHierarchy()

Computes and returns the class hierarchy of the knowledge base.

Returns:

The subsumption hierarchy of this knowledge base.

getSuperClasses

SortedSet<Description> getSuperClasses(Description description)

Returns direct super classes in the class hierarchy.

Parameters:

description - Atomic concept, top, or bottom.

Returns:

A set of more general concepts.

getSubClasses

SortedSet<Description> getSubClasses(Description description)

Returns direct sub classes in the class hierarchy.

Parameters:

description - Atomic concept, top, or bottom.

Returns:

A set of more special concepts.

getObjectPropertyHierarchy

ObjectPropertyHierarchy getObjectPropertyHierarchy()

Computes and returns the object property hierarchy of the knowledge base.

Returns:

The object property hierarchy of the knowlege base.

getSuperProperties

SortedSet<ObjectProperty> getSuperProperties(ObjectProperty objectProperty)

Returns more general concepts in the subsumption hierarchy.

Parameters:

objectProperty - Atomic concept, top, or bottom.

Returns:

A set of more general concepts.

See Also:

ObjectPropertyHierarchy.getMoreGeneralRoles(ObjectProperty)

getSubProperties

SortedSet<ObjectProperty> getSubProperties(ObjectProperty objectProperty)

Returns more special concepts in the subsumption hierarchy.

Parameters:

objectProperty - Atomic concept, top, or bottom.

Returns:

A set of more special concepts.

See Also:

ObjectPropertyHierarchy.getMoreSpecialRoles(ObjectProperty)

getMostGeneralProperties

TreeSet<ObjectProperty> getMostGeneralProperties()

TODO Outdated in OWL 2, because the universal role is the most general.

Returns:

The most general roles.

See Also:

ObjectPropertyHierarchy.getMostGeneralRoles()

getMostSpecialProperties

TreeSet<ObjectProperty> getMostSpecialProperties()

TODO Outdated in OWL, because the bottom role is the most specific.

Returns:

The most special roles.

See Also:

ObjectPropertyHierarchy.getMostSpecialRoles()

getDatatypePropertyHierarchy

DatatypePropertyHierarchy getDatatypePropertyHierarchy()

Computes and returns the data property hierarchy of the knowledge base.

Returns:

The data property hierarchy of the knowlege base.

getSuperProperties

SortedSet<DatatypeProperty> getSuperProperties(DatatypeProperty dataProperty)

Returns more general concepts in the subsumption hierarchy.

Parameters:

dataProperty - Atomic concept, top, or bottom.

Returns:

A set of more general concepts.

See Also:

ObjectPropertyHierarchy.getMoreGeneralRoles(ObjectProperty)

getSubProperties

SortedSet<DatatypeProperty> getSubProperties(DatatypeProperty dataProperty)

Returns more special concepts in the subsumption hierarchy.

Parameters:

dataProperty - Atomic concept, top, or bottom.

Returns:

A set of more special concepts.

See Also:

ObjectPropertyHierarchy.getMoreSpecialRoles(ObjectProperty)

getMostGeneralDatatypeProperties

TreeSet<DatatypeProperty> getMostGeneralDatatypeProperties()

Returns:

The most general roles.

See Also:

ObjectPropertyHierarchy.getMostGeneralRoles()

getMostSpecialDatatypeProperties

TreeSet<DatatypeProperty> getMostSpecialDatatypeProperties()

Returns:

The most special roles.

See Also:

ObjectPropertyHierarchy.getMostSpecialRoles()