org.coode.oppl.search.solvability

Interface QuerySolver

All Known Implementing Classes:

AssertedModelQuerySolver, InferredModelQuerySolver

public interface QuerySolver

Author:

Luigi Iannone

Method Summary

Methods

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.

Method Detail

getSubClasses

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. The implementation decides whether and how much inference is used for determining the sub-class relationship.

Parameters:

superClass - superClass

Returns:

A Set of OWLClass instances.

getSuperClasses

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. The implementation decides whether and how much inference is used for determining the sub-class relationship.

Parameters:

subClass - subClass

Returns:

A Set of OWLClass instances.

hasNoSubClass

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

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.

Parameters:

superClass - superClass

Returns:

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

hasNoSuperClass

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

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.

Parameters:

subClass - subClass

Returns:

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

getNamedFillers

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

Parameters:

subject - subject

objectProperty - objectProperty

Returns:

a Set of OWLNamedIndividual instances