Python bindings for upgraded FaCT++ description logic reasoner
semantic-web owl ontology rdflib ontologies reasoner description-logics owl2 owlapi reasoner-benchmark
- Updated
Nov 4, 2025 - Java
#
description-logics
Here are 12 public repositories matching this topic...
Reasoner for the description logic EL+.
- Updated
Aug 26, 2025 - Java
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
- Updated
May 1, 2020 - Java
A Preferential Reasoner for Ontologies
ontologies reasoner knowledge-representation description-logics reasoning nonmonotonic defeasible preferential-reasoning
- Updated
Oct 14, 2017 - Java
Concept Explorer FX (conexp-fx)
- Updated
Feb 26, 2023 - Java
LogMap extension for conservativity principle
java semantic-web artificial-intelligence data-integration repair ontology-matching description-logics reasoning owl-ontology ontology-alignment logmap
- Updated
Nov 30, 2017 - Java
A suite of utility functions and applications for engineering OWL ontologies.
- Updated
Jul 1, 2023 - Java
Java project for computing concept referring expressions in order to answer general instance retrieval queries on Horn ALC ontologies
- Updated
Apr 12, 2022 - Java
- Updated
Aug 13, 2020 - Java
CATS (Comenius-Abduction-Team Solver) is an experimental tool for solving A-Box abduction problems in description logics using various algorithms.
- Updated
Oct 5, 2025 - Java
Experiments for extracting justifications from proofs.
- Updated
Apr 11, 2018 - Java
Improve this page
Add a description, image, and links to the description-logics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the description-logics topic, visit your repo's landing page and select "manage topics."