Technische Universität Dresden, Fakultät Informatik, Lehrstuhl für Automatentheorie
- 7 followers
- Dresden, Germany
- https://lat.inf.tu-dresden.de/
Popular repositories Loading
-
lat-scala-dl-tools
lat-scala-dl-tools PublicA collection of utility methods for dealing with OWL/DL constructs in Scala and Java
Scala 1
-
meteor-proofs
meteor-proofs PublicAn extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains
Python 1
-
-
cel
cel PublicForked from julianmendez/cel
A lightweight Description Logic reasoner for large-scale biomedical ontologies
Common Lisp
Repositories
- meteor-proofs Public
An extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains
de-tu-dresden-inf-lat/meteor-proofs’s past year of commit activity - lat-scala-dl-tools Public
A collection of utility methods for dealing with OWL/DL constructs in Scala and Java
de-tu-dresden-inf-lat/lat-scala-dl-tools’s past year of commit activity - abox-repairs-wrt-static-tbox Public
de-tu-dresden-inf-lat/abox-repairs-wrt-static-tbox’s past year of commit activity - gel Public Forked from julianmendez/gel
Generalization algorithms for the description logics EL and extensions.
de-tu-dresden-inf-lat/gel’s past year of commit activity
