Ulrike Sattler

10 papers in the IJCAI proceedings

IJCAI 2011

The Modular Structure of an Ontology: Atomic Decomposition

with Chiara Del Vescovo, Bijan Parsia, Thomas Schneider

doi:10.5591/978-1-57735-516-8/IJCAI11-372

Details PDF

IJCAI 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

with Roman Kontchakov, Luca Pulina, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Details PDF

IJCAI 2007

A Logical Framework for Modularity of Ontologies

with Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov

Details PDF

Completing Description Logic Knowledge Bases Using Formal Concept Analysis

with Franz Baader, Bernhard Ganter, Baris Sertkaya

Details PDF

Conjunctive Query Answering for the Description Logic SHIQ

with Birte Glimm, Ian Horrocks, Carsten Lutz

Details PDF

IJCAI 2005

A Tableaux Decision Procedure for SHOIQ

with Ian Horrocks

Details PDF

Data Complexity of Reasoning in Very Expressive Description Logics

with Ullrich Hustadt, Boris Motik

Details PDF

IJCAI 2003

Decidability of SHIQ with Complex Role Inclusion Axioms

with Ian Horrocks

Details PDF

Keys, Nominals, and Concrete Domains

with Carsten Lutz, Carlos Areces, Ian Horrocks

Details PDF

IJCAI 2001

Ontology Reasoning in the SHOQ(D) Description Logic

with Ian Horrocks

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings