A Preferential Reasoner for Ontologies
ontologies
reasoner
knowledge-representation
description-logics
reasoning
nonmonotonic
defeasible
preferential-reasoning
-
Updated
Oct 14, 2017 - Java
A Preferential Reasoner for Ontologies
An implementation of Defeasible Deontic Logic in Answer Set Programming
Add a description, image, and links to the defeasible topic page so that developers can more easily learn about it.
To associate your repository with the defeasible topic, visit your repo's landing page and select "manage topics."