Chair for Automata Theory
of the Institute for
Theoretical Computer Science,
Faculty of Computer
Science at
TU Dresden
Software-Systems
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 plugin for completing OWL ontologies.
FCA lib : An
open-source, extensible library for Formal Concept Analysis (FCA) tool
developers.
FCA API : An
API for Formal Concept Analysis (FCA) tool developpers.
LBLR : A Lattice-Based Labelled Reasoner.
UEL : Unification Solver for the Description Logic EL
