Effective Computation of Maximal Sound Approximations of Description Logic Ontologies

Marco Console, José Mora, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We study the problem of approximating Description Logic (DL) ontologies specified in a source language LSLS in terms of a less expressive target language LTLT. This problem is getting very relevant in practice: e.g., approximation is often needed in ontology-based data access systems, which are able to deal with ontology languages of a limited expressiveness. We first provide a general, parametric, and semantically well-founded definition of maximal sound approximation of a DL ontology. Then, we present an algorithm that is able to effectively compute two different notions of maximal sound approximation according to the above parametric semantics when the source ontology language is OWL 2 and the target ontology language is OWL 2 QL. Finally, we experiment the above algorithm by computing the two OWL 2 QL approximations of a large set of existing OWL 2 ontologies. The experimental results allow us both to evaluate the effectiveness of the proposed notions of approximation and to compare the two different notions of approximation in real cases.
Original languageEnglish
Title of host publicationThe Semantic Web - ISWC 2014
Subtitle of host publication13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II
PublisherSpringer International Publishing
Number of pages16
ISBN (Electronic)978-3-319-11915-1
ISBN (Print)978-3-319-11914-4
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science (LNCS)
PublisherSpringer International Publishing Switzerland
ISSN (Print)0302-9743


Dive into the research topics of 'Effective Computation of Maximal Sound Approximations of Description Logic Ontologies'. Together they form a unique fingerprint.

Cite this