Software
GitHub organization corresponding to the Chair of Automata Theory: https://github.com/de-tu-dresden-inf-lat
abox-repairs-wrt-static-tbox — Prototypical implementation of the repair method described in the article Computing Optimal Repairs of Quantified ABoxes w.r.t. Static ℰℒ TBoxes
BORN — Bayesian Ontology Reasoner
CEL — A Polynomial-time Classifier for the Description Logic EL+
Concept Explorer FX (conexp-fx) — Software for Formal Concept Analysis with Description Logic Extensions
FCA lib — An open-source API and extensible library for Formal Concept Analysis (FCA) tool developers
gentle-repair-plugin — A Protégé plugin for gently repairing ontologies
Gost — GF One Minus Satisfiabilty Tester
Hyb — A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
jcel — A Java implementation of a polynomial-time Classifier for the Description Logic EL+
LBLR — A Lattice-Based Labelled Reasoner
OntoComP — A Protégé 4 plug-in for completing OWL ontologies
Saga — Satisfiability Algorithm for the Guarded Fragment
Sonic — OilEd Non-Standard Inference Component
UEL — Unification Solver for the Description Logic EL
UniMoK — Unification Modules for KEIM