Chair for Automata Theory of the Institute for Theoretical Computer Science, Faculty of Computer Science at TU Dresden


Sonic: OilEd Non-Standard Inference Component

Saga : Satisfiability Algorithm for the Guarded Fragment

Gost : GF One Minus Satisfiabilty Tester

UniMoK : Unification Modules for KEIM

CEL : A Polynomial-time Classifier for the Description Logic EL+

jcel : A Java implementation of a polynomial-time Classifier for the Description Logic EL+

Hyb : A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes

OntoComP : A Protégé 4 plug-in for completing OWL ontologies.

FCA lib : An open-source API and extensible library for Formal Concept Analysis (FCA) tool developers.

LBLR : A Lattice-Based Labelled Reasoner.

UEL : Unification Solver for the Description Logic EL

BORN : Bayesian Ontology Reasoner