|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
DIG 1.1 TBox reasoner interface.
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 String s corresponding to
names of all concepts in the knowledge base kbURI . |
Set |
ancestorsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept ancestors of concept . |
Set |
childrenNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept children of concept . |
Set |
descendantsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept descendants of concept . |
Set |
equivalentsNames(Concept concept,
URI kbURI)
Returns the Set of String s corresponding to
names of concept descendants of concept . |
Set |
parentsNames(Concept concept,
URI kbURI)
Returns the Set of String s 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 |
public Set allConceptNames(URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of all concepts in the knowledge base kbURI
.
kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of all concepts in the knowledge base.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument).
public boolean satisfiable(Concept concept, URI kbURI) throws ReasonerException
true
if concept
is satisfiable.
concept
- the Concept
for which satisfiability is tested.kbURI
- the URI
of the knowledge base we want to use.
true
if concept
is satisfiable.
ReasonerException
Reasoner.asks(AsksDocument).
public boolean subsumes(Concept subsumer, Concept subsumee, URI kbURI) throws ReasonerException
true
if subsumer
subsumes
subsumee
.
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.
true
if subsumer
subsumes
subsumee
.
ReasonerException
Reasoner.asks(AsksDocument).
public Set childrenNames(Concept concept, URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of concept children of concept
.
concept
- the Concept
whose children are returned.kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of concept children of concept
.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument).
public Set descendantsNames(Concept concept, URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of concept descendants of concept
.
concept
- the Concept
whose descendants are returned.kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of concept descendants of concept
.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument).
public Set parentsNames(Concept concept, URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of concept parents of concept
.
concept
- the Concept
whose parents are returned.kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of concept parents of concept
.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument)
public Set ancestorsNames(Concept concept, URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of concept ancestors of concept
.
concept
- the Concept
whose ancestors are returned.kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of concept ancestors of concept
.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument)
public Set equivalentsNames(Concept concept, URI kbURI) throws ReasonerException
Set
of String
s corresponding to
names of concept descendants of concept
.
concept
- the Concept
whose descendants are returned.kbURI
- the URI
of the knowledge base we want to use.
Set
of String
s corresponding to
names of concept descendants of concept
.
ReasonerException.
ReasonerException
Reasoner.asks(AsksDocument)
|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |