org.coode.oppl.search.solvability

Class InferredModelQuerySolver

java.lang.Object

org.coode.oppl.search.solvability.InferredModelQuerySolver

All Implemented Interfaces:

QuerySolver

public final class InferredModelQuerySolver
extends Object
implements QuerySolver

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
InferredModelQuerySolver(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
Set<org.semanticweb.owlapi.model.OWLNamedIndividual>	getNamedFillers(org.semanticweb.owlapi.model.OWLNamedIndividual subject, org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty) Retrieves all the named individuals that can be inferred to be fillers for the input subject and object property expression
Set<org.semanticweb.owlapi.model.OWLClass>	getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression superClass) Retrieves all the named classes that are a sub-classes of the input OWLClassExpression.
Set<org.semanticweb.owlapi.model.OWLClass>	getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression subClass) Retrieves all the named classes that are a super-classes of the input OWLClassExpression.
boolean	hasNoSubClass(org.semanticweb.owlapi.model.OWLClassExpression superClass) Determines whether the input OWLClassExpression has no sub-class.
boolean	hasNoSuperClass(org.semanticweb.owlapi.model.OWLClassExpression subClass) Determines whether the input OWLClassExpression has no super-class.

Methods inherited from class java.lang.Object

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

Constructor Detail

InferredModelQuerySolver

public InferredModelQuerySolver(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Parameters:

reasoner - reasoner

Method Detail

getSubClasses

public Set<org.semanticweb.owlapi.model.OWLClass> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression superClass)

Description copied from interface: QuerySolver

Retrieves all the named classes that are a sub-classes of the input OWLClassExpression. The implementation decides whether and how much inference is used for determining the sub-class relationship.

Specified by:

getSubClasses in interface QuerySolver

Parameters:

superClass - superClass

Returns:

A Set of OWLClass instances.

getSuperClasses

public Set<org.semanticweb.owlapi.model.OWLClass> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression subClass)

Description copied from interface: QuerySolver

Retrieves all the named classes that are a super-classes of the input OWLClassExpression. The implementation decides whether and how much inference is used for determining the sub-class relationship.

Specified by:

getSuperClasses in interface QuerySolver

Parameters:

subClass - subClass

Returns:

A Set of OWLClass instances.

hasNoSubClass

public boolean hasNoSubClass(org.semanticweb.owlapi.model.OWLClassExpression superClass)

Description copied from interface: QuerySolver

Determines whether the input OWLClassExpression has no sub-class. The implementation decides whether and how much inference is used for determining the sub-class relationship. Please notice that owl:Nothing must not be taken into account.

Specified by:

hasNoSubClass in interface QuerySolver

Parameters:

superClass - superClass

Returns:

true is the input superClass does not have any sub-class except for owl:Nothing.

hasNoSuperClass

public boolean hasNoSuperClass(org.semanticweb.owlapi.model.OWLClassExpression subClass)

Description copied from interface: QuerySolver

Determines whether the input OWLClassExpression has no super-class. The implementation decides whether and how much inference is used for determining the sub-class relationship. Please notice that owl:Thing must not be taken into account.

Specified by:

hasNoSuperClass in interface QuerySolver

Parameters:

subClass - subClass

Returns:

true is the input subClass does not have any super-class except for owl:Thing.

getNamedFillers

public Set<org.semanticweb.owlapi.model.OWLNamedIndividual> getNamedFillers(org.semanticweb.owlapi.model.OWLNamedIndividual subject,
                                                                            org.semanticweb.owlapi.model.OWLObjectPropertyExpression objectProperty)

Description copied from interface: QuerySolver

Retrieves all the named individuals that can be inferred to be fillers for the input subject and object property expression

Specified by:

getNamedFillers in interface QuerySolver

Parameters:

subject - subject

objectProperty - objectProperty

Returns:

a Set of OWLNamedIndividual instances