Thomas Schneider

Fachbereich Informatik , Universität Bremen , Germany

4 papers in the IJCAI proceedings

IJCAI 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles

with Jean Christoph Jung, Carsten Lutz, Mauricio Martel

doi:10.24963/ijcai.2017/155

Details PDF

IJCAI 2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes

with Víctor Gutiérrez-Basulto, Jean Christoph Jung

Details PDF

IJCAI 2011

The Modular Structure of an Ontology: Atomic Decomposition

with Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler

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, Ulrike Sattler, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings