io.konig.core

Class OwlReasoner

java.lang.Object

io.konig.core.OwlReasoner

public class OwlReasoner
extends Object

Constructor Summary

Constructors

Constructor and Description
OwlReasoner(Graph graph)

Method Summary

Modifier and Type	Method and Description
Set<org.openrdf.model.URI>	allClassIds()
Set<Vertex>	allNamedIndividuals()
Set<org.openrdf.model.URI>	allNamedSubClasses(org.openrdf.model.Resource typeId)
Set<Vertex>	allRdfAndOwlProperties() Get the set of vertices that are declared in the Graph as RDF Properties (including terms from the OWL vocabulary).
Set<org.openrdf.model.URI>	allRdfOwlAndShaclProperties(ShapeManager shapeManager)
Set<Vertex>	allSubClasses(Vertex v)
DatatypeRestriction	datatypeRestriction(org.openrdf.model.URI datatype)
Set<org.openrdf.model.URI>	disjointTypes(Collection<org.openrdf.model.URI> types)
Set<Vertex>	equivalentClasses(org.openrdf.model.Resource owlClass)
String	friendlyName(org.openrdf.model.Resource subject)
String	friendlyName(Vertex subject)
org.openrdf.model.Resource	getDomain(org.openrdf.model.URI predicate)
Graph	getGraph()
org.openrdf.model.Resource	getRange(org.openrdf.model.URI predicate)
void	getTransitiveClosure(org.openrdf.model.Resource source, org.openrdf.model.URI predicate, Set<org.openrdf.model.URI> sink)
void	inferClassesFromShapes(ShapeManager shapeManager, Graph sink)
void	inferClassFromSubclassOf()
void	inferRdfPropertiesFromPropertyConstraints(ShapeManager shapeManager, Graph sink)
void	inferTypeOfSuperClass(Vertex thing)
boolean	instanceOf(org.openrdf.model.Resource subject, org.openrdf.model.URI owlClass) Test whether a given Resource is an instance of a given OWL Class.
Set<org.openrdf.model.URI>	inverseOf(org.openrdf.model.URI property) Get the set of all properties that are declared to be the owl:inverseOf a given property.
boolean	isBooleanType(org.openrdf.model.URI owlClass)
boolean	isDatatype(org.openrdf.model.Resource id)
boolean	isEnumerationClass(org.openrdf.model.Resource owlClass)
boolean	isEnumerationMember(org.openrdf.model.Resource id)
boolean	isIntegerDatatype(org.openrdf.model.URI owlClass)
boolean	isInverseFunctionalProperty(org.openrdf.model.URI property)
boolean	isNamedIndividual(org.openrdf.model.Resource subject)
boolean	isNumericDatatype(org.openrdf.model.URI owlClass)
boolean	isPlainLiteral(org.openrdf.model.URI owlClass)
boolean	isProperty(org.openrdf.model.URI target)
boolean	isRealNumber(org.openrdf.model.URI owlClass)
boolean	isSubClassOf(org.openrdf.model.Resource a, org.openrdf.model.Resource b) Check whether one type is a subClassOf another.
boolean	isSubclassOfLiteral(org.openrdf.model.Resource id)
boolean	isTypeOf(org.openrdf.model.Resource individual, org.openrdf.model.Resource owlClass) Check whether a given individual is an instance of a given OWL Class.
org.openrdf.model.URI	leastCommonSuperClass(Collection<org.openrdf.model.URI> classes)
org.openrdf.model.Resource	leastCommonSuperClass(org.openrdf.model.Resource aClass, org.openrdf.model.Resource bClass) Compute the least common super class between two given classes.
org.openrdf.model.Resource	leastCommonSuperDatatype(org.openrdf.model.Resource aType, org.openrdf.model.Resource bType) Compute the least common super datatype between two given datatypes.
org.openrdf.model.URI	mostSpecificType(Iterable<org.openrdf.model.URI> collection, org.openrdf.model.URI filter)
org.openrdf.model.URI	mostSpecificTypeOf(Vertex v)
Set<org.openrdf.model.URI>	namedSubClasses(org.openrdf.model.Resource typeId)
List<Vertex>	ontologyList()
List<Vertex>	owlClassList()
Vertex	preferredClass(org.openrdf.model.Resource owlClass)
Vertex	preferredClass(Vertex owlClass) Identify the preferred class from the set of classes equivalent to a given class.
org.openrdf.model.URI	preferredClassAsURI(org.openrdf.model.URI owlClass)
Set<org.openrdf.model.URI>	rangeIncludes(org.openrdf.model.URI property)
Set<org.openrdf.model.URI>	specificTypes(org.openrdf.model.Resource individual) Compute the specific types of a given individual.
String	stringValue(Vertex subject, org.openrdf.model.URI... predicate)
Set<org.openrdf.model.URI>	subClasses(org.openrdf.model.URI classId)
List<Vertex>	subClasses(Vertex v)
List<Vertex>	subClassVertices(org.openrdf.model.URI classId)
Set<org.openrdf.model.URI>	superClasses(org.openrdf.model.URI targetClass)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OwlReasoner

public OwlReasoner(Graph graph)

Method Detail

getGraph

public Graph getGraph()

getRange

public org.openrdf.model.Resource getRange(org.openrdf.model.URI predicate)

getDomain

public org.openrdf.model.Resource getDomain(org.openrdf.model.URI predicate)

friendlyName

public String friendlyName(org.openrdf.model.Resource subject)

allNamedIndividuals

public Set<Vertex> allNamedIndividuals()

allClassIds

public Set<org.openrdf.model.URI> allClassIds()

allRdfOwlAndShaclProperties

public Set<org.openrdf.model.URI> allRdfOwlAndShaclProperties(ShapeManager shapeManager)

allRdfAndOwlProperties

public Set<Vertex> allRdfAndOwlProperties()

Get the set of vertices that are declared in the Graph as RDF Properties (including terms from the OWL vocabulary).

friendlyName

public String friendlyName(Vertex subject)

stringValue

public String stringValue(Vertex subject,
                          org.openrdf.model.URI... predicate)

owlClassList

public List<Vertex> owlClassList()

ontologyList

public List<Vertex> ontologyList()

subClasses

public List<Vertex> subClasses(Vertex v)

subClassVertices

public List<Vertex> subClassVertices(org.openrdf.model.URI classId)

subClasses

public Set<org.openrdf.model.URI> subClasses(org.openrdf.model.URI classId)

allSubClasses

public Set<Vertex> allSubClasses(Vertex v)

namedSubClasses

public Set<org.openrdf.model.URI> namedSubClasses(org.openrdf.model.Resource typeId)

allNamedSubClasses

public Set<org.openrdf.model.URI> allNamedSubClasses(org.openrdf.model.Resource typeId)

rangeIncludes

public Set<org.openrdf.model.URI> rangeIncludes(org.openrdf.model.URI property)

inferRdfPropertiesFromPropertyConstraints

public void inferRdfPropertiesFromPropertyConstraints(ShapeManager shapeManager,
                                                      Graph sink)

preferredClass

public Vertex preferredClass(Vertex owlClass)
                      throws AmbiguousPreferredClassException

Identify the preferred class from the set of classes equivalent to a given class.

Parameters:

owlClass - The given OWL class that may or may not have equivalent classes.

Returns:

If there are classes equivalent to the given owlClass, then return the member from the set of equivalent classes that contains the kol:isPreferredClass with the value 'true'.

Throws:

AmbiguousPreferredClassException

isSubclassOfLiteral

public boolean isSubclassOfLiteral(org.openrdf.model.Resource id)

isDatatype

public boolean isDatatype(org.openrdf.model.Resource id)

leastCommonSuperDatatype

public org.openrdf.model.Resource leastCommonSuperDatatype(org.openrdf.model.Resource aType,
                                                           org.openrdf.model.Resource bType)

Compute the least common super datatype between two given datatypes.

Parameters:

aType - The first class

bType - The second class

Returns:

The least common super class between the two classes.

leastCommonSuperClass

public org.openrdf.model.URI leastCommonSuperClass(Collection<org.openrdf.model.URI> classes)

leastCommonSuperClass

public org.openrdf.model.Resource leastCommonSuperClass(org.openrdf.model.Resource aClass,
                                                        org.openrdf.model.Resource bClass)

Compute the least common super class between two given classes.

Parameters:

aClass - The first class

bClass - The second class

Returns:

The least common super class between the two classes.

isSubClassOf

public boolean isSubClassOf(org.openrdf.model.Resource a,
                            org.openrdf.model.Resource b)

Check whether one type is a subClassOf another.

Parameters:

a - The identifier for one OWL Class

b - The identifier for another OWL Class.

Returns:

True if a and b are equal or a is a subClassOf b (or one of b's ancestors).

equivalentClasses

public Set<Vertex> equivalentClasses(org.openrdf.model.Resource owlClass)

preferredClass

public Vertex preferredClass(org.openrdf.model.Resource owlClass)
                      throws AmbiguousPreferredClassException

Throws:

AmbiguousPreferredClassException

preferredClassAsURI

public org.openrdf.model.URI preferredClassAsURI(org.openrdf.model.URI owlClass)
                                          throws AmbiguousPreferredClassException

Throws:

AmbiguousPreferredClassException

inferTypeOfSuperClass

public void inferTypeOfSuperClass(Vertex thing)

getTransitiveClosure

public void getTransitiveClosure(org.openrdf.model.Resource source,
                                 org.openrdf.model.URI predicate,
                                 Set<org.openrdf.model.URI> sink)

mostSpecificType

public org.openrdf.model.URI mostSpecificType(Iterable<org.openrdf.model.URI> collection,
                                              org.openrdf.model.URI filter)

inferClassesFromShapes

public void inferClassesFromShapes(ShapeManager shapeManager,
                                   Graph sink)

inferClassFromSubclassOf

public void inferClassFromSubclassOf()

instanceOf

public boolean instanceOf(org.openrdf.model.Resource subject,
                          org.openrdf.model.URI owlClass)

Test whether a given Resource is an instance of a given OWL Class. This method checks the rdf:type relationship, and infers based on rdfs:subClassOf relationships.

Parameters:

subject - The Resource whose type is to be tested.

owlClass - The OWL Class to be matched

Returns:

True if the subject is an instance of the specified owlClass and false otherwise.

isRealNumber

public boolean isRealNumber(org.openrdf.model.URI owlClass)

isBooleanType

public boolean isBooleanType(org.openrdf.model.URI owlClass)

isPlainLiteral

public boolean isPlainLiteral(org.openrdf.model.URI owlClass)

inverseOf

public Set<org.openrdf.model.URI> inverseOf(org.openrdf.model.URI property)

Get the set of all properties that are declared to be the owl:inverseOf a given property.

Parameters:

property - The IRI of the property whose inverse is to be returned.

Returns:

The set of identifiers for properties that are declared to be the inverse of the given property.

isInverseFunctionalProperty

public boolean isInverseFunctionalProperty(org.openrdf.model.URI property)

isNumericDatatype

public boolean isNumericDatatype(org.openrdf.model.URI owlClass)

isIntegerDatatype

public boolean isIntegerDatatype(org.openrdf.model.URI owlClass)

isEnumerationClass

public boolean isEnumerationClass(org.openrdf.model.Resource owlClass)

isTypeOf

public boolean isTypeOf(org.openrdf.model.Resource individual,
                        org.openrdf.model.Resource owlClass)

Check whether a given individual is an instance of a given OWL Class.

Parameters:

individual - The individual to be checked.

owlClass - The target OWL Class.

Returns:

True if the individual is an instance of the OWL Class, and false otherwise.

datatypeRestriction

public DatatypeRestriction datatypeRestriction(org.openrdf.model.URI datatype)

superClasses

public Set<org.openrdf.model.URI> superClasses(org.openrdf.model.URI targetClass)

disjointTypes

public Set<org.openrdf.model.URI> disjointTypes(Collection<org.openrdf.model.URI> types)

specificTypes

public Set<org.openrdf.model.URI> specificTypes(org.openrdf.model.Resource individual)

Compute the specific types of a given individual. The returned set does not include any class that is a superclass of some other member of the set.

isEnumerationMember

public boolean isEnumerationMember(org.openrdf.model.Resource id)

isNamedIndividual

public boolean isNamedIndividual(org.openrdf.model.Resource subject)

isProperty

public boolean isProperty(org.openrdf.model.URI target)

mostSpecificTypeOf

public org.openrdf.model.URI mostSpecificTypeOf(Vertex v)