Package org.tweetyproject.logics.dl.reasoner


package org.tweetyproject.logics.dl.reasoner
  • Classes
    Class
    Description
    Naive reasoner for the description logic ALC.