DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM)

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)

DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM)