|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
true
if concept
is satisfiable.
true
if concept
is satisfiable.
url
.
true
if subsumer
subsumes
subsumee
.
true
if subsumer
subsumes subsumee
.
|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |