Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies
Authors: Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova
Paper Information
Title: | Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies |
Authors: | Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann and Alisa Kovtunova |
Proceedings: | DL Proceedings |
Editors: | Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier |
Keywords: | proof presentation, comprehensibility, OMQA, DL-Lite |
Pages: | 1 |
Talk: | Aug 07 09:40 (Session 85C: Opening and Query Answering) |
Paper: |