Python bindings for upgraded FaCT++ description logic reasoner
Reasoner for the description logic EL+.
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
A Preferential Reasoner for Ontologies
Concept Explorer FX (conexp-fx)
LogMap extension for conservativity principle
Java project for computing concept referring expressions in order to answer general instance retrieval queries on Horn ALC ontologies
A suite of utility functions and applications for engineering OWL ontologies.
CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.
Experiments for extracting justifications from proofs.
Add a description, image, and links to the description-logics topic page so that developers can more easily learn about it.
To associate your repository with the description-logics topic, visit your repo's landing page and select "manage topics."