Uses of Package
net.sf.tweety.logics.dl.reasoner

Packages that use net.sf.tweety.logics.dl.reasoner

Package	Description
net.sf.tweety.logics.dl.test

Classes in net.sf.tweety.logics.dl.reasoner used by net.sf.tweety.logics.dl.test

Class	Description
NaiveDlReasoner	Naive reasoner for the description logic ALC (as represented by this library).