%0 Conference Paper %1 console2014effective %A Console, Marco %A Mora, Jose %A Rosati, Ricardo %A Santarelli, Valerio %A Savo, Domenico Fabio %B The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference %D 2014 %K ontology-approximation optique-project %P 164-179 %R DOI: 10.1007/978-3-319-11915-1_11 %T Effective computation of maximal sound approximations of Description Logic ontologies %X We study the problem of approximating Description Logic (DL) ontologies specified in a source language L S in terms of a less expressive target language L T . 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.

@inproceedings{console2014effective, abstract = {We study the problem of approximating Description Logic (DL) ontologies specified in a source language L S in terms of a less expressive target language L T . 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.}, added-at = {2014-10-15T12:57:35.000+0200}, audience = {academic}, author = {Console, Marco and Mora, Jose and Rosati, Ricardo and Santarelli, Valerio and Savo, Domenico Fabio}, biburl = {https://www.bibsonomy.org/bibtex/2e500b3d0c67d616dba79fabe6d61bb55/savo.fabio}, booktitle = {The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference}, doi = {DOI: 10.1007/978-3-319-11915-1_11}, interhash = {f19b59af74e272f11a55fd3feb32cd36}, intrahash = {e500b3d0c67d616dba79fabe6d61bb55}, keywords = {ontology-approximation optique-project}, openaccess = {No}, pages = {164-179}, partneroptique = {UNIROMA1}, timestamp = {2016-12-01T18:07:53.000+0100}, title = {Effective computation of maximal sound approximations of Description Logic ontologies}, wpoptique = {WP4}, year = 2014, yearoptique = {Y2} }