Software
Systems and Tools
- ALC-SAT: a tool for learning expressive description logic concepts with PAC guarantees
Github
Paper (International Semantic Web Conference 2025)
Paper (International Joint Conference on Artificial Intelligence 2026) - SPELL: a tool for learning EL concepts with PAC guarantees
Github
Paper (International Joint Conference on Artificial Intelligence, 2023) - Bule: tool for modeling using quantified Boolean formulas (QBF)
Github
Paper (International Conference on Theory and Applications of Satisfiability, 2022) - Onto2Problog: tool for ontology-mediated querying of probabilistic data
Download
Paper (Künstliche Intelligenz 2020, Special Issue on Ontologies and Data Management)
