Keyword:Description Logic

Publications
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs Franz Baader and Francesco Kriegel EasyChair Preprint 8552
Finding Small Proofs for Description Logic Entailments: Theory and Practice Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Description Logics That Count, and What They Can and Cannot Count Franz Baader and Filippo De Bortoli In:ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia
On Knowledge Dependence in Weighted Description Logic Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Projection in a Description Logic of Context with Actions Satyadharma Tirtarasa and Benjamin Zarrieß In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi Fred Freitas In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Matching in the Description Logic FL0 with respect to General TBoxes Franz Baader, Oliver Fernandez Gil and Pavlos Marantidis In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata Franz Baader, Oliver Fernandez Gil and Maximilian Pensel In:GCAI-2018. 4th Global Conference on Artificial Intelligence
RACCOON: A Connection Reasoner for the Description Logic ALC Dimas Melo Filho, Fred Freitas and Jens Otten In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Foundations for the Logical Difference of EL-TBoxes Shasha Feng, Michel Ludwig and Dirk Walther In:GCAI 2015. Global Conference on Artificial Intelligence
Reasoning in the presence of inconsistency through Preferential ALC Graham Deane, Krysia Broda and Alessandra Russo In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification
Towards an Expressive Practical Logical Action Theory Mikhail Soutchanski and Wael Yehia In:Turing-100. The Alan Turing Centenary
Implementing an Efficient SAT Solver for a Probabilistic Description Logic Pavel Klinov and Bijan Parsia In:IWIL 2010. The 8th International Workshop on the Implementation of Logics