From 2d2dfa297b05512012492a4b22f2c1e59cd5d05d Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Fri, 8 Nov 2024 16:36:33 +0000 Subject: [PATCH] Update README.md --- README.md | 165 ++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 165 insertions(+) diff --git a/README.md b/README.md index dd7050d..05b8005 100644 --- a/README.md +++ b/README.md @@ -153,6 +153,17 @@ License: BSD'ish [Code](https://gitlab.hrz.tu-chemnitz.de/tud-zih-energy/benchit) [Project Site](https://gitlab.hrz.tu-chemnitz.de/tud-zih-energy/benchit) +--- +### BORN + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A reasoner for the Bayesian description logic BEL, including a plugin for the ontology editor Protégé + +License: Apache-2.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/born) [Project Site](https://github.com/de-tu-dresden-inf-lat/born) + --- ### BrailleIO @@ -164,6 +175,17 @@ License: BSD-2-Clause [Code](https://github.com/TUD-INF-IAI-MCI/BrailleIO) [Project Site](no URL, publication Bornschein, J. (2014, November). BrailleIO–a tactile display abstraction framework. In The Proceedings of Workshop Tactile/Haptic User Interfaces for Tabletops and Tablets (TacTT 2014). S (pp. 36-41).) +--- +### CEL + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A reasoner for the description logic EL that also supports incremental classification, modularization and axiom pinpointing, and is also available as a plugin for the ontology editor Protégé + +License: Apache-2.0 and LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/cel) [Project Site](https://github.com/de-tu-dresden-inf-lat/cel) + --- ### Cinnamon @@ -186,6 +208,17 @@ License: Apache-2.0 [Code](https://github.com/tud-ccc/compy-learn) [Project Site](https://github.com/tud-ccc/compy-learn) +--- +### Concept Explorer FX + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Maintainer) (Contributor) - no longer involved + +More information: A tool to visualize and interact with formal contexts and their concept lattices + +License: GPL-3.0 + +[Code](https://github.com/francesco-kriegel/conexp-fx/) [Project Site](https://francesco-kriegel.github.io/conexp-fx/) + --- ### condrust @@ -274,6 +307,39 @@ License: EPL-2.0 and more [Code](https://github.com/eclipse-sumo/sumo) [Project Site](https://eclipse.dev/sumo/) +--- +### Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Maintainer) (Contributor) + +More information: A Scala-based tool for axiomatizing OWL 2 EL ontologies from example data, using techniques from Formal Concept Analysis + +License: GPL-3.0 + +[Code](https://github.com/francesco-kriegel/efficient-axiomatization-of-owl2el-ontologies-from-data) [Project Site](https://github.com/francesco-kriegel/efficient-axiomatization-of-owl2el-ontologies-from-data) + +--- +### ELExplicator + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Maintainer) (Contributor) + +More information: A collection of explanation services for OWL 2 EL ontologies + +License: MIT + +[Code](https://github.com/de-tu-dresden-inf-lat/elexplicator) [Project Site](https://github.com/de-tu-dresden-inf-lat/elexplicator) + +--- +### Evee + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Maintainer) (Contributor) + +More information: A collection of Java libraries and plugins for the ontology editor Protégé to provide explanation services for description logic ontologies + +License: MIT + +[Code](https://github.com/de-tu-dresden-inf-lat/evee) [Project Site](https://github.com/de-tu-dresden-inf-lat/evee) + --- ### FAIL* @@ -285,6 +351,17 @@ License: GPL-3.0 [Code](https://github.com/danceos/fail) [Project Site](https://github.com/danceos/fail) +--- +### FCAlib + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A Java library for Formal Concept Analysis + +License: LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/fcalib) [Project Site](https://github.com/de-tu-dresden-inf-lat/fcalib) + --- ### FIRESTARTER @@ -296,6 +373,17 @@ License: GPL-3.0 [Code](https://github.com/tud-zih-energy/FIRESTARTER) [Project Site](https://github.com/tud-zih-energy/FIRESTARTER) +--- +### gel + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A Java library and plugin for the ontology editor Protégé for computing generalizations for OWL 2 EL ontologies (role-depth bounded least common subsumers and most specific concepts) + +License: Apache-2.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/gel) [Project Site](https://github.com/de-tu-dresden-inf-lat/gel) + --- ### gem5 @@ -340,6 +428,39 @@ License: MIT [Code](https://github.com/bjoern-andres/graph) [Project Site](https://github.com/bjoern-andres/graph) +--- +### Interactive Optimal Repairs + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Maintainer) (Contributor) + +More information: A plugin for the ontology editor Protégé for repairing ABox assertions in the presence of an EL TBox + +License: GPL-3.0 + +[Code](https://github.com/francesco-kriegel/interactive-optimal-repairs) [Project Site](https://github.com/francesco-kriegel/interactive-optimal-repairs) + +--- +### jcel + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A Java-based reasoner for the description logic EL+, including a plugin for the ontology editor Protégé + +License: Apache-2.0 and LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/jcel) [Project Site](https://github.com/de-tu-dresden-inf-lat/jcel) + +--- +### JProbLog + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A Java adapter for ProbLog + +License: Apache-2.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/jproblog) [Project Site](https://github.com/de-tu-dresden-inf-lat/jproblog) + --- ### L4Re Operating System Framework @@ -351,6 +472,17 @@ License: GPL-2.0 [Code](https://github.com/kernkonzept/manifest) [Project Site](https://l4re.org) +--- +### LAT Scala DL Tools + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Maintainer) (Contributor) + +More information: A collection of Scala tools to work with OWL ontologies as a wrapper of the OWL API + +License: MIT + +[Code](https://github.com/de-tu-dresden-inf-lat/lat-scala-dl-tools) [Project Site](https://github.com/de-tu-dresden-inf-lat/lat-scala-dl-tools) + --- ### learning-compiler-graphs @@ -560,6 +692,28 @@ License: LGPL-3.0-or-later and others [Code](https://github.com/inet-framework/inet) [Project Site](https://inet.omnetpp.org/) +--- +### OntoComP + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A plugin for the ontology editor Protégé that supports completing OWL ontologies using techniques from Formal Concept Analysis + +License: LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/ontocomp) [Project Site](https://github.com/de-tu-dresden-inf-lat/ontocomp) + +--- +### OntoComPlib + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) - no longer involved + +More information: A Java library for completing OWL ontologies using techniques from Formal Concept Analysis + +License: LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/ontocomplib) [Project Site](https://github.com/de-tu-dresden-inf-lat/ontocomplib) + --- ### OpenFPM @@ -837,6 +991,17 @@ License: GPL-3.0 [Code](https://github.com/l3nkz/tetris) [Project Site](https://github.com/l3nkz/tetris) +--- +### UEL + +Research Group: [Chair of Automata Theory](https://tu-dresden.de/ing/informatik/thi/lat) (Founder) (Contributor) + +More information: A solver for unification problems in the description logic EL, either standalone or as a plugin for the ontology editor Protégé + +License: Apache-2.0 and LGPL-3.0 + +[Code](https://github.com/de-tu-dresden-inf-lat/uel) [Project Site](https://github.com/de-tu-dresden-inf-lat/uel) + --- ### unarXive