Author:Franz Baader

Publications
Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs Franz Baader and Francesco Kriegel EasyChair Preprint 8552
Optimal ABox Repair W.R.T. Static EL TBoxes: from Quantified ABoxes Back to ABoxes (Extended Abstract) Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian Nuradiansyah EasyChair Preprint 8542
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
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
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts Franz Baader and Andreas Ecke In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Recent Advances in Unification for the EL Family Franz Baader, Stefan Borgwardt and Barbara Morawska In:UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification
Hybrid Unification in the Description Logic EL Franz Baader, Oliver Fernandez Gil and Barbara Morawska In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

0-1 Law, ABox approximation, bisimulation, cardinality constraints, Cardinality Restrictions, complexity⁵, Computing Unifiers, counting quantifiers, Description Logic⁶, Description Logic EL, Description Logics², difference, explanation, expressivity, FL0, General Concept Inclusions, Horn-DL, least common subsumer, matching, Minimal Unifiers, Most specific concept, NP-complete, Number Restrictions, ontology repair, Optimal ABox Repair, proofs, QFBAPA, subsumption, tree automata², unification².