Sattler, Ulrike

15 publications

IJCAI 2011 The Modular Structure of an Ontology: Atomic Decomposition Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider

IJCAI 2009 Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers Roman Kontchakov, Luca Pulina, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

JAIR 2008 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler

JAIR 2008 Modular Reuse of Ontologies: Theory and Practice Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

IJCAI 2007 A Logical Framework for Modularity of Ontologies Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler

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

IJCAI 2007 Conjunctive Query Answering for the Description Logic SHIQ Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler

AAAI 2006 Deciding Semantic Matching of Stateless Services Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens

IJCAI 2005 A Tableaux Decision Procedure for SHOIQ Ian Horrocks, Ulrike Sattler

IJCAI 2005 Data Complexity of Reasoning in Very Expressive Description Logics Ullrich Hustadt, Boris Motik, Ulrike Sattler

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

JAIR 2005 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

IJCAI 2003 Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks, Ulrike Sattler

IJCAI 2003 Keys, Nominals, and Concrete Domains Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler

IJCAI 2001 Ontology Reasoning in the SHOQ(D) Description Logic Ian Horrocks, Ulrike Sattler