A Preferential Reasoner for Ontologies
ontologies reasoner knowledge-representation description-logics reasoning nonmonotonic defeasible preferential-reasoning
-
Updated
Oct 14, 2017 - Java