org.coode.suggestor.util

Class ReasonerHelper

java.lang.Object

org.coode.suggestor.util.ReasonerHelper

public class ReasonerHelper
extends Object

Utility methods for common reasoner tasks.

Constructor Summary

Constructors

Constructor and Description
ReasonerHelper(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	containsSubclass(Collection<org.semanticweb.owlapi.model.OWLClassExpression> potentialSubs, org.semanticweb.owlapi.model.OWLClassExpression cls)
Set<org.semanticweb.owlapi.model.OWLClassExpression>	filterClassExpressions(Set<org.semanticweb.owlapi.model.OWLClassExpression> clses)
org.semanticweb.owlapi.model.OWLDataPropertyExpression	getCandidatePropForRangeSubsumptionCheck(org.semanticweb.owlapi.model.OWLDataRange range) Find a candidate property for datatype subsumption checking.
Set<org.semanticweb.owlapi.model.OWLDatatype>	getDatatypesInSignature()
org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDatatype>	getEquivalentTypes(org.semanticweb.owlapi.model.OWLDataRange range) Equivalence between dataranges/types.
org.semanticweb.owlapi.model.OWLDataRange	getGlobalAssertedRange(org.semanticweb.owlapi.model.OWLDataProperty p) Find the asserted ranges on this property and all of its ancestors.
org.semanticweb.owlapi.model.OWLClassExpression	getGlobalAssertedRange(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p) Check the ontologies for range assertions on p and all ancestors of p.
Set<org.semanticweb.owlapi.model.OWLDataProperty>	getReferencedDataProperties()
Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getReferencedObjectProperties()
org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDatatype>	getSubtypes(org.semanticweb.owlapi.model.OWLDataRange range) Subsumption between dataranges/types.
boolean	isAncestorOf(org.semanticweb.owlapi.model.OWLClassExpression cls1, org.semanticweb.owlapi.model.OWLClassExpression cls2)
boolean	isDescendantOf(org.semanticweb.owlapi.model.OWLClassExpression cls1, org.semanticweb.owlapi.model.OWLClassExpression cls2)
boolean	isInAssertedRange(org.semanticweb.owlapi.model.OWLDataProperty p, org.semanticweb.owlapi.model.OWLDataRange f)
boolean	isInAssertedRange(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression f)
boolean	isLocallyFunctional(org.semanticweb.owlapi.model.OWLClassExpression c, org.semanticweb.owlapi.model.OWLDataProperty p)
boolean	isLocallyFunctional(org.semanticweb.owlapi.model.OWLClassExpression c, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)
boolean	isSubtype(org.semanticweb.owlapi.model.OWLDataRange subRange, org.semanticweb.owlapi.model.OWLDataRange superRange) Subsumption checking between dataranges/types.

Methods inherited from class java.lang.Object

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

Constructor Detail

ReasonerHelper

public ReasonerHelper(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Method Detail

getReferencedObjectProperties

public Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getReferencedObjectProperties()

getReferencedDataProperties

public Set<org.semanticweb.owlapi.model.OWLDataProperty> getReferencedDataProperties()

isDescendantOf

public boolean isDescendantOf(org.semanticweb.owlapi.model.OWLClassExpression cls1,
                     org.semanticweb.owlapi.model.OWLClassExpression cls2)

isAncestorOf

public boolean isAncestorOf(org.semanticweb.owlapi.model.OWLClassExpression cls1,
                   org.semanticweb.owlapi.model.OWLClassExpression cls2)

filterClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> filterClassExpressions(Set<org.semanticweb.owlapi.model.OWLClassExpression> clses)

containsSubclass

public boolean containsSubclass(Collection<org.semanticweb.owlapi.model.OWLClassExpression> potentialSubs,
                       org.semanticweb.owlapi.model.OWLClassExpression cls)

isLocallyFunctional

public boolean isLocallyFunctional(org.semanticweb.owlapi.model.OWLClassExpression c,
                          org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

isLocallyFunctional

public boolean isLocallyFunctional(org.semanticweb.owlapi.model.OWLClassExpression c,
                          org.semanticweb.owlapi.model.OWLDataProperty p)

getGlobalAssertedRange

public org.semanticweb.owlapi.model.OWLClassExpression getGlobalAssertedRange(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p)

Check the ontologies for range assertions on p and all ancestors of p.

Parameters:

p - the object property for which a range is wanted

Returns:

an intersection of the non-redundant ranges or Thing if no range assertions have been made

getGlobalAssertedRange

public org.semanticweb.owlapi.model.OWLDataRange getGlobalAssertedRange(org.semanticweb.owlapi.model.OWLDataProperty p)

Find the asserted ranges on this property and all of its ancestors.

If multiple ranges are found, they are pulled together into an intersection.

Parameters:

p - the property we are querying

Returns:

the range of this property or Top if none is found

isSubtype

public boolean isSubtype(org.semanticweb.owlapi.model.OWLDataRange subRange,
                org.semanticweb.owlapi.model.OWLDataRange superRange)

Subsumption checking between dataranges/types. This will only work if there is a suitable data property in the ontology. This must satisfy the criteria in #getCandidatePropForRangeSubsumptionCheck).

Parameters:

subRange -

superRange -

Returns:

true if subRange is subsumed by superRange

Throws:

RuntimeException - if no suitable property can be found

getSubtypes

public org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDatatype> getSubtypes(org.semanticweb.owlapi.model.OWLDataRange range)

Subsumption between dataranges/types. This will only work if there is a suitable data property in the ontology. This must satisfy the criteria in #getCandidatePropForRangeSubsumptionCheck).

Parameters:

range - The data range for which we will retrieve subtypes

Returns:

a NodeSet containing named datatypes that are known to be subtypes of range

Throws:

RuntimeException - if no suitable property can be found

getEquivalentTypes

public org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDatatype> getEquivalentTypes(org.semanticweb.owlapi.model.OWLDataRange range)

Equivalence between dataranges/types. This will only work if there is a suitable data property in the ontology. This must satisfy the criteria in #getCandidatePropForRangeSubsumptionCheck).

Parameters:

range - The data range for which we will retrieve equivalents

Returns:

a NodeSet containing named datatypes that are known to be equivalent to range

Throws:

RuntimeException - if no suitable property can be found

getCandidatePropForRangeSubsumptionCheck

public org.semanticweb.owlapi.model.OWLDataPropertyExpression getCandidatePropForRangeSubsumptionCheck(org.semanticweb.owlapi.model.OWLDataRange range)

Find a candidate property for datatype subsumption checking.

If {O} is the set of ontologies loaded into the reasoner, a candidate is ANY data property (APART FROM Top) in the signature of {O} that satifies the criteria isSatisfiable(SomeValuesFrom(p, range).

Parameters:

range - the data range from which will be used in the above test

Returns:

a candidate property that fulfils the above criteria or null if none can be found

getDatatypesInSignature

public Set<org.semanticweb.owlapi.model.OWLDatatype> getDatatypesInSignature()

isInAssertedRange

public boolean isInAssertedRange(org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                        org.semanticweb.owlapi.model.OWLClassExpression f)

isInAssertedRange

public boolean isInAssertedRange(org.semanticweb.owlapi.model.OWLDataProperty p,
                        org.semanticweb.owlapi.model.OWLDataRange f)