Efficient Approximation in DL-Lite of OWL 2 Ontologies. Console, M., Santarelli, V., Savo, & Fabio, D. In Eiter, T., Glimm, B., Kazakov, Y., & Krötzsch, M., editors, Description Logics, volume 1014, of CEUR Workshop Proceedings, pages 132-143, 2013. CEUR-WS.org. Paper Link abstract bibtex Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, such as for providing a formal description of the domain of interest for documentation purposes, or for providing a mechanism for reasoning upon the domain. For instance, they are the core element of the OntologyBased Data Access paradigm, in which the ontology is utilized as a conceptual view, allowing user access to the underlying data sources. With the aim to use an ontology as a formal description of the domain of interest, the use of expressive languages proves to be useful. If instead the goal is to use the ontology for reasoning tasks which require low computational complexity, the high expressivity of the language used to model the ontology may be of hindrance. In this scenario, the approximation of ontologies expressed in very expressive languages through ontologies expressed in languages which keep the computational complexity of the reasoning tasks low is pivotal. In this work we present our notion of ontology approximation and present an algorithm for computing the approximation of OWL 2 ontologies by means of DL-Lite TBoxes. Moreover, we provide optimization techniques for this computation, and discuss the results of the implementation of these techniques.
@inproceedings{ conf/dlog/ConsoleSS13,
abstract = {Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, such as for providing a formal description of the domain
of interest for documentation purposes, or for providing a mechanism for reasoning upon the domain. For instance, they are the core element of the OntologyBased Data Access paradigm, in which the ontology is utilized as a conceptual
view, allowing user access to the underlying data sources. With the aim to use an ontology as a formal description of the domain of interest, the use of expressive
languages proves to be useful. If instead the goal is to use the ontology for reasoning tasks which require low computational complexity, the high expressivity of
the language used to model the ontology may be of hindrance. In this scenario, the approximation of ontologies expressed in very expressive languages through ontologies expressed in languages which keep the computational complexity of the
reasoning tasks low is pivotal. In this work we present our notion of ontology approximation and present an algorithm for computing the approximation of OWL
2 ontologies by means of DL-Lite TBoxes. Moreover, we provide optimization techniques for this computation, and discuss the results of the implementation of
these techniques.},
added-at = {2014-06-02T12:43:00.000+0200},
audience = {academic},
author = {Console, Marco and Santarelli, Valerio and Savo, Domenico Fabio},
biburl = {http://www.bibsonomy.org/bibtex/2b5f40a176d472fbee075af88cc8d8462/savo.fabio},
booktitle = {Description Logics},
editor = {Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus},
ee = {http://ceur-ws.org/Vol-1014/paper_19.pdf},
interhash = {ade3898bf8ab587a9f2b9d0f3f62c838},
intrahash = {b5f40a176d472fbee075af88cc8d8462},
keywords = {myown optique-project},
pages = {132-143},
partneroptique = {UNIROMA1},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {Efficient Approximation in DL-Lite of OWL 2 Ontologies.},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#ConsoleSS13},
volume = {1014},
wpoptique = {WP4},
year = {2013},
yearoptique = {Y1}
}
Downloads: 0
{"_id":{"_str":"538836340e577e1d6b002d5c"},"__v":0,"authorIDs":[],"author_short":["Console, M.","Santarelli, V.","Savo","Fabio, D."],"bibbaseid":"console-santarelli-savo-fabio-efficientapproximationindlliteofowl2ontologies-2013","bibdata":{"downloads":0,"keyword":["myown optique-project"],"bibbaseid":"console-santarelli-savo-fabio-efficientapproximationindlliteofowl2ontologies-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#ConsoleSS13","Link":"http://ceur-ws.org/Vol-1014/paper_19.pdf"},"role":"author","yearoptique":"Y1","year":"2013","wpoptique":"WP4","volume":"1014","url":"http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#ConsoleSS13","type":"inproceedings","title":"Efficient Approximation in DL-Lite of OWL 2 Ontologies.","series":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","partneroptique":"UNIROMA1","pages":"132-143","keywords":"myown optique-project","key":"conf/dlog/ConsoleSS13","intrahash":"b5f40a176d472fbee075af88cc8d8462","interhash":"ade3898bf8ab587a9f2b9d0f3f62c838","id":"conf/dlog/ConsoleSS13","ee":"http://ceur-ws.org/Vol-1014/paper_19.pdf","editor_short":["Eiter, T.","Glimm, B.","Kazakov, Y.","Krötzsch, M."],"editor":["Eiter, Thomas","Glimm, Birte","Kazakov, Yevgeny","Krötzsch, Markus"],"booktitle":"Description Logics","biburl":"http://www.bibsonomy.org/bibtex/2b5f40a176d472fbee075af88cc8d8462/savo.fabio","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/dlog/ConsoleSS13,\n abstract = {Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, such as for providing a formal description of the domain\r\nof interest for documentation purposes, or for providing a mechanism for reasoning upon the domain. For instance, they are the core element of the OntologyBased Data Access paradigm, in which the ontology is utilized as a conceptual\r\nview, allowing user access to the underlying data sources. With the aim to use an ontology as a formal description of the domain of interest, the use of expressive\r\nlanguages proves to be useful. If instead the goal is to use the ontology for reasoning tasks which require low computational complexity, the high expressivity of\r\nthe language used to model the ontology may be of hindrance. In this scenario, the approximation of ontologies expressed in very expressive languages through ontologies expressed in languages which keep the computational complexity of the\r\nreasoning tasks low is pivotal. In this work we present our notion of ontology approximation and present an algorithm for computing the approximation of OWL\r\n2 ontologies by means of DL-Lite TBoxes. Moreover, we provide optimization techniques for this computation, and discuss the results of the implementation of\r\nthese techniques.},\n added-at = {2014-06-02T12:43:00.000+0200},\n audience = {academic},\n author = {Console, Marco and Santarelli, Valerio and Savo, Domenico Fabio},\n biburl = {http://www.bibsonomy.org/bibtex/2b5f40a176d472fbee075af88cc8d8462/savo.fabio},\n booktitle = {Description Logics},\n editor = {Eiter, Thomas and Glimm, Birte and Kazakov, Yevgeny and Krötzsch, Markus},\n ee = {http://ceur-ws.org/Vol-1014/paper_19.pdf},\n interhash = {ade3898bf8ab587a9f2b9d0f3f62c838},\n intrahash = {b5f40a176d472fbee075af88cc8d8462},\n keywords = {myown optique-project},\n pages = {132-143},\n partneroptique = {UNIROMA1},\n publisher = {CEUR-WS.org},\n series = {CEUR Workshop Proceedings},\n title = {Efficient Approximation in DL-Lite of OWL 2 Ontologies.},\n url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#ConsoleSS13},\n volume = {1014},\n wpoptique = {WP4},\n year = {2013},\n yearoptique = {Y1}\n}","author_short":["Console, M.","Santarelli, V.","Savo","Fabio, D."],"author":["Console, Marco","Santarelli, Valerio","Savo","Fabio, Domenico"],"audience":"academic","added-at":"2014-06-02T12:43:00.000+0200","abstract":"Ontologies, as a conceptualization of a domain of interest, can be used for different objectives, such as for providing a formal description of the domain of interest for documentation purposes, or for providing a mechanism for reasoning upon the domain. For instance, they are the core element of the OntologyBased Data Access paradigm, in which the ontology is utilized as a conceptual view, allowing user access to the underlying data sources. With the aim to use an ontology as a formal description of the domain of interest, the use of expressive languages proves to be useful. If instead the goal is to use the ontology for reasoning tasks which require low computational complexity, the high expressivity of the language used to model the ontology may be of hindrance. In this scenario, the approximation of ontologies expressed in very expressive languages through ontologies expressed in languages which keep the computational complexity of the reasoning tasks low is pivotal. In this work we present our notion of ontology approximation and present an algorithm for computing the approximation of OWL 2 ontologies by means of DL-Lite TBoxes. Moreover, we provide optimization techniques for this computation, and discuss the results of the implementation of these techniques."},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/search/optique-project?bibtex.entriesPerPage=10000","downloads":1,"keywords":["myown optique-project"],"search_terms":["efficient","approximation","lite","owl","ontologies","console","santarelli","savo","fabio"],"title":"Efficient Approximation in DL-Lite of OWL 2 Ontologies.","year":2013,"dataSources":["tYYCZGwzkJatkJPTa"]}