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