Zum Inhalt
Fakultät für Informatik
Prof. Dr. Jean Christoph Jung

Software

Systems and Tools

  • Onto2Problog: tool for ontology-mediated querying of probabilistic data
    Download
    Paper (Künstliche Intelligenz 2020, Special Issue on Ontologies and Data Management)

  • Bule: tool for modeling using quantified Boolean formulas (QBF)
    Github
    Paper (International Conference on Theory and Applications of Satisfiability, 2022)

  • SPELL: a tool for learning description logic concepts with PAC guarantees
    Github 
    Paper (International Joint Conference on Artificial Intelligence, 2023)