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)