AAP 2012


This one-year project provided travel support for M. Bienvenu to carry out research on ontology-based data access in collaboration with colleagues from the University of Bremen, the University of Rome La Sapienza, and the Technical University of Vienna. Specific topics addressed: first-order rewritability of atomic queries in Horn description logics, tractable approximations of consistent query answering semantics for simple ontology languages, querying lightweight description logic knowledge bases using path queries, and tractability results for restricted classes of conjunctive queries. The research begun during this project is being pursued as part of the ANR PAGODA project.

Project Type:

January, 2012 to December, 2012
Project Leader: 
Meghyn Bienvenu

Project Management: