Output details
11 - Computer Science and Informatics
University of Liverpool
Article title
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Type
D - Journal article
Title of journal
Artificial Intelligence
Article number
-
Volume number
174
Issue number
15
First page of article
1093
ISSN of journal
00043702
Year of publication
2010
URL
-
Number of additional authors
2
Additional information
<22>This paper is an invited journal version of the KR 2008 paper "Can you Tell the Difference between DL-Lite Ontologies" which won the Ray Reiter Best Paper Award. In addition, it extends the results on module extraction of our IJCAI 2009 paper "Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers". The methodology and techniques introduced in this paper have been applied in a large variety of contexts, for example by Wang et al to KBs in DL-Lite [AMAI 2010].
In the AAAI 2011 paper "Conjunctive Query Inseparability of OWL 2 QL TBoxes'' we have extended the results to OWL 2QL TBoxes.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
14
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-