|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use TReasoner | |
| org.kr.dl.dig.reasoner.v1_1.impl | Implementations of the DIG 1.1 reasoner interfaces. |
| Uses of TReasoner in org.kr.dl.dig.reasoner.v1_1.impl |
| Classes in org.kr.dl.dig.reasoner.v1_1.impl that implement TReasoner | |
class |
TReasoner
TBox reasoner wrapper for Reasoners. |
|
DIG 1.1 Reasoners API, April 26, 2004 (12:45 PM) | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||