org.dllearner.core
Interface BaseReasoner

All Known Subinterfaces:

Reasoner

All Known Implementing Classes:

DIGReasoner, FastInstanceChecker, FastRetrievalReasoner, OWLAPIReasoner, ReasonerComponent

public interface BaseReasoner

Contains the following reasoning/query operations:

• queries for elements contained in the knowledge base (classes, properties, ...)
• basic reasoning requests related to the knowledge base as a whole (e.g. consistency)

(Many methods in this interface do not require reasoning algorithms, but rather return information about the knowledge base.)

Author:

Jens Lehmann

Method Summary

String	getBaseURI() Returns the base URI of the knowledge base.
SortedSet<DatatypeProperty>	getBooleanDatatypeProperties() Gets all data properties with range xsd:boolean.
SortedSet<DatatypeProperty>	getDatatypeProperties() Gets all data properties in the knowledge base, e.g. hasIncome, height.
SortedSet<DatatypeProperty>	getDoubleDatatypeProperties() Gets all data properties with range xsd:double.
SortedSet<Individual>	getIndividuals() Gets all individuals in the knowledge base, e.g.
SortedSet<DatatypeProperty>	getIntDatatypeProperties() Gets all data properties with range xsd:int.
Set<Constant>	getLabel(Entity entity) Returns the RDFS labels of an entity.
Set<NamedClass>	getNamedClasses() Gets all named classes in the knowledge base, e.g.
Set<ObjectProperty>	getObjectProperties() Gets all object properties in the knowledge base, e.g. hasChild, isCapitalOf, hasEngine.
Map<String,String>	getPrefixes() Returns the prefixes used in the knowledge base, e.g. foaf for foaf: .
boolean	isSatisfiable() Checks consistency of the knowledge.
boolean	remainsSatisfiable(Axiom axiom) Checks whether adding the specified axiom leads to an inconsistency.

Method Detail

isSatisfiable

boolean isSatisfiable()

Checks consistency of the knowledge.

Returns:

True if the knowledge base is consistent and false otherwise.

remainsSatisfiable

boolean remainsSatisfiable(Axiom axiom)

Checks whether adding the specified axiom leads to an inconsistency.

Parameters:

axiom - The axiom to be added to the knowledge base.

Returns:

True of the knowledge base including the axiom is satisfiable. False otherwise.

getNamedClasses

Set<NamedClass> getNamedClasses()

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

Returns:

All named classes in KB.

getObjectProperties

Set<ObjectProperty> getObjectProperties()

Gets all object properties in the knowledge base, e.g. hasChild, isCapitalOf, hasEngine.

Returns:

All object properties in KB.

getDatatypeProperties

SortedSet<DatatypeProperty> getDatatypeProperties()

Gets all data properties in the knowledge base, e.g. hasIncome, height.

Returns:

All data properties in KB.

getBooleanDatatypeProperties

SortedSet<DatatypeProperty> getBooleanDatatypeProperties()

Gets all data properties with range xsd:boolean.

Returns:

Boolean data properties in KB.

See Also:

Datatype.BOOLEAN

getDoubleDatatypeProperties

SortedSet<DatatypeProperty> getDoubleDatatypeProperties()

Gets all data properties with range xsd:double. TODO We could extend this to all types, which can be parsed into a double value, e.g. floats.

Returns:

Double data properties in KB.

See Also:

Datatype.DOUBLE

getIntDatatypeProperties

SortedSet<DatatypeProperty> getIntDatatypeProperties()

Gets all data properties with range xsd:int. TODO We could extend this to all types, which can be parsed into Integers, e.g. xsd:integer, xsd:negativeInteger, xsd:nonNegativeInteger etc.

Returns:

Integer data properties in KB.

See Also:

Datatype.INT

getIndividuals

SortedSet<Individual> getIndividuals()

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

Returns:

All individuals in KB.

getBaseURI

String getBaseURI()

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

Map<String,String> getPrefixes()

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.

getLabel

Set<Constant> getLabel(Entity entity)

Returns the RDFS labels of an entity.

Parameters:

entity - An entity, e.g. Machine.

Returns:

All values of rdfs:label for the entity, e.g. {"Machine"@en, "Maschine"@de}.