Package net.sf.tweety.logics.dl.reasoner
-
Class Summary Class Description NaiveDlReasoner Naive reasoner for the description logic ALC (as represented by this library).
| Class | Description |
|---|---|
| NaiveDlReasoner |
Naive reasoner for the description logic ALC (as represented by this library).
|