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