Skip to content

@de-tu-dresden-inf-lat Technische Universität Dresden, Fakultät Informatik, Lehrstuhl für Automatentheorie

Change the repository type filter

All

    Repositories list

    15 repositories

    • meteor-proofs

      Public
      An extension of the MeTeoR DatalogMTL reasoner for proof generation with concrete domains
      Python
      •
      MIT License
      •0•1•0•0•Updated Feb 25, 2025Feb 25, 2025

    • evee

      Public
      Library and Protégé plugin for generating Description Logic explanations
      Java
      •
      MIT License
      •1•11•0•1•Updated Feb 25, 2025Feb 25, 2025

    • lat-scala-dl-tools

      Public
      A collection of utility methods for dealing with OWL/DL constructs in Scala and Java
      Scala
      •
      MIT License
      •0•1•0•0•Updated Aug 21, 2024Aug 21, 2024

    • evee-evaluation

      Public
      Evaluation code for the proof generators of evee
      Java
      •
      MIT License
      •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • abox-repairs-wrt-static-tbox

      Public
      Java
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Aug 7, 2023Aug 7, 2023

    • quelk

      Public
      A prototypical temporal OMQA system
      Scala
      •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • gel

      Public
      Generalization algorithms for the description logics EL and extensions.
      Java
      •
      Apache License 2.0
      •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • ontocomplib

      Public
      Ontology Completion Library
      Java
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • ontocomp

      Public
      Protégé plugin for completing OWL ontologies
      Java
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • jproblog

      Public
      Java adapter for ProbLog
      Java
      •
      Apache License 2.0
      •2•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • uel

      Public
      Tool for finding unifiers in the description logic EL
      Java
      •
      Apache License 2.0
      •3•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • fcalib

      Public
      FCA library
      Java
      •
      GNU General Public License v3.0
      •9•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • born

      Public
      Bayesian Ontology Reasoner
      Java
      •
      Apache License 2.0
      •6•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • jcel

      Public
      Reasoner for the description logic EL+.
      Java
      •
      Apache License 2.0
      •6•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • cel

      Public
      A lightweight Description Logic reasoner for large-scale biomedical ontologies
      Common Lisp
      •3•0•0•0•Updated Jan 26, 2023Jan 26, 2023