org.dllearner.core

Interface BaseReasoner

All Known Subinterfaces:

Reasoner

All Known Implementing Classes:

AbstractReasonerComponent, ClosedWorldReasoner, OWLAPIReasoner, SPARQLReasoner, SPARQLReasonerQuad

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

Modifier and Type	Method and Description
String	getBaseURI() Returns the base URI of the knowledge base.
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getBooleanDatatypeProperties() Gets all data properties with range xsd:boolean.
Set<org.semanticweb.owlapi.model.OWLClass>	getClasses() Gets all named classes in the knowledge base, e.g.
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getDatatypeProperties() Gets all data properties in the knowledge base, e.g.
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.OWLIndividual>	getIndividuals() Gets all individuals in the knowledge base, e.g.
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.
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getNumericDataProperties() Gets all data properties with a numeric range
Set<org.semanticweb.owlapi.model.OWLObjectProperty>	getObjectProperties() Gets all object properties in the knowledge base, e.g.
Map<String,String>	getPrefixes() Returns the prefixes used in the knowledge base, e.g.
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getStringDatatypeProperties() Gets all data properties with range xsd:string.
boolean	isSatisfiable() Checks consistency of the knowledge.
boolean	remainsSatisfiable(org.semanticweb.owlapi.model.OWLAxiom 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(org.semanticweb.owlapi.model.OWLAxiom 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.

getClasses

Set<org.semanticweb.owlapi.model.OWLClass> getClasses()

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

Returns:

All named classes in KB.

getObjectProperties

Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()

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

Returns:

All object properties in KB.

getDatatypeProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypeProperties()

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

Returns:

All data properties in KB.

getBooleanDatatypeProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypeProperties()

Gets all data properties with range xsd:boolean.

Returns:

Boolean data properties in KB.

getDoubleDatatypeProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypeProperties()

Gets all data properties with a range that describes floating point values, i.e. xsd:float, xsd:double and xsd:decimal.

Returns:

Floating point data properties in KB.

getNumericDataProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getNumericDataProperties()

Gets all data properties with a numeric range

Returns:

Numeric data properties in KB.

getIntDatatypeProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypeProperties()

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.

Returns:

Integer data properties in KB.

See Also:

OWLAPIUtils.intDatatypes

getStringDatatypeProperties

Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypeProperties()

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.

Returns:

String data properties in KB.

See Also:

OWLDataProperty

getIndividuals

SortedSet<org.semanticweb.owlapi.model.OWLIndividual> 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<org.semanticweb.owlapi.model.OWLLiteral> getLabel(org.semanticweb.owlapi.model.OWLEntity 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}.