Uses of Class
org.tweetyproject.logics.dl.semantics.DlInterpretation
-
Uses of DlInterpretation in org.tweetyproject.logics.dl.reasoner
Modifier and TypeMethodDescriptionNaiveDlReasoner.getAllInterpretations(DlSignature sig)
Get all interpretations for the given signature.