Baader, Franz

16 publications

IJCAI 2025 Contractions Based on Optimal Repairs (Extended Abstract) Franz Baader, Renata Wassermann

IJCAI 2017 Query Rewriting for DL-Lite with N-Ary Concrete Domains Franz Baader, Stefan Borgwardt, Marcel Lippmann

JAIR 2016 Query and Predicate Emptiness in Ontology-Based Data Access Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter

IJCAI 2007 Completing Description Logic Knowledge Bases Using Formal Concept Analysis Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler

AAAI 2005 Integrating Description Logics and Action Formalisms: First Results Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

IJCAI 2005 Pushing the EL Envelope Franz Baader, Sebastian Brandt, Carsten Lutz

IJCAI 2003 Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles Franz Baader

IJCAI 2003 Terminological Cycles in a Description Logic with Existential Restrictions Franz Baader

JAIR 2002 Fusions of Description Logics and Abstract Description Systems Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter

IJCAI 2001 Matching Under Side Conditions in Description Logics Franz Baader, Sebastian Brandt, Ralf Küsters

IJCAI 1999 Computing Least Common Subsumers in Description Logics with Existential Restrictions Franz Baader, Ralf Küsters, Ralf Molitor

IJCAI 1995 Terminological Logics with Modal Operators Franz Baader, Armin Laux

IJCAI 1993 How to Prefer More Specific Defaults in Terminological Default Logic Franz Baader, Bernhard Hollunder

IJCAI 1991 A Scheme for Integrating Concrete Domains into Concept Languages Franz Baader, Philipp Hanschke

IJCAI 1991 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles Franz Baader

AAAI 1990 Terminological Cycles in KL-ONE-Based Knowledge Representation Languages Franz Baader