FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: