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).