Package net.sf.tweety.logics.dl.test
-
Class Summary Class Description DlParserTest JUnit Test class for description logics parser.DlReasonerTest JUnit Test class for NaiveDLReasoner.
| Class | Description |
|---|---|
| DlParserTest |
JUnit Test class for description logics parser.
|
| DlReasonerTest |
JUnit Test class for NaiveDLReasoner.
|