org.kr.dl.dig.reasoner.v1_1
Interface TReasoner

All Superinterfaces:

Reasoner

All Known Implementing Classes:

TReasoner

public interface TReasoner

extends Reasoner

DIG 1.1 TBox reasoner interface.

Version:

$Id: TReasoner.java,v 1.2 2004/04/26 11:42:38 dturi Exp $

Author:

dturi

Field Summary

Fields inherited from interface org.kr.dl.dig.reasoner.v1_1.Reasoner

XML_HEADER

Method Summary

Set	allConceptNames(URI kbURI) Returns the Set of Strings corresponding to names of all concepts in the knowledge base kbURI.
Set	ancestorsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept ancestors of concept.
Set	childrenNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept children of concept.
Set	descendantsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept descendants of concept.
Set	equivalentsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept descendants of concept.
Set	parentsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept parents of concept.
boolean	satisfiable(Concept concept, URI kbURI) Returns true if concept is satisfiable.
boolean	subsumes(Concept subsumer, Concept subsumee, URI kbURI) Returns true if subsumer subsumes subsumee.

Methods inherited from interface org.kr.dl.dig.reasoner.v1_1.Reasoner

asks, getIdentifier, newKB, releaseKB, tells

Method Detail

allConceptNames

public Set allConceptNames(URI kbURI)
                    throws ReasonerException

Returns the Set of Strings corresponding to names of all concepts in the knowledge base kbURI.

Parameters:

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of all concepts in the knowledge base.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument).

satisfiable

public boolean satisfiable(Concept concept,
                           URI kbURI)
                    throws ReasonerException

Returns true if concept is satisfiable.

Parameters:

concept - the Concept for which satisfiability is tested.

kbURI - the URI of the knowledge base we want to use.

Returns:

true if concept is satisfiable.

Throws:

ReasonerException

See Also:

Reasoner.asks(AsksDocument).

subsumes

public boolean subsumes(Concept subsumer,
                        Concept subsumee,
                        URI kbURI)
                 throws ReasonerException

Returns true if subsumer subsumes subsumee.

Parameters:

subsumer - a Concept expected to subsume subsumee.

subsumee - a Concept expected to be subsumed subsumer.

kbURI - the URI of the knowledge base we want to use.

Returns:

true if subsumer subsumes subsumee.

Throws:

ReasonerException

See Also:

Reasoner.asks(AsksDocument).

childrenNames

public Set childrenNames(Concept concept,
                         URI kbURI)
                  throws ReasonerException

Returns the Set of Strings corresponding to names of concept children of concept.

Parameters:

concept - the Concept whose children are returned.

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of concept children of concept.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument).

descendantsNames

public Set descendantsNames(Concept concept,
                            URI kbURI)
                     throws ReasonerException

Returns the Set of Strings corresponding to names of concept descendants of concept.

Parameters:

concept - the Concept whose descendants are returned.

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of concept descendants of concept.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument).

parentsNames

public Set parentsNames(Concept concept,
                        URI kbURI)
                 throws ReasonerException

Returns the Set of Strings corresponding to names of concept parents of concept.

Parameters:

concept - the Concept whose parents are returned.

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of concept parents of concept.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument)

ancestorsNames

public Set ancestorsNames(Concept concept,
                          URI kbURI)
                   throws ReasonerException

Returns the Set of Strings corresponding to names of concept ancestors of concept.

Parameters:

concept - the Concept whose ancestors are returned.

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of concept ancestors of concept.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument)

equivalentsNames

public Set equivalentsNames(Concept concept,
                            URI kbURI)
                     throws ReasonerException

Returns the Set of Strings corresponding to names of concept descendants of concept.

Parameters:

concept - the Concept whose descendants are returned.

kbURI - the URI of the knowledge base we want to use.

Returns:

the Set of Strings corresponding to names of concept descendants of concept.

Throws:

ReasonerException.

ReasonerException

See Also:

Reasoner.asks(AsksDocument)