A Graph-Based Approach for Classifying OWL 2 QL Ontologies. Lembo, D., 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 747-759, 2013. CEUR-WS.org. Paper Link abstract bibtex Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL 2 QL ontologies have been developed. In this paper, we provide a new algorithm for ontology classification in OWL 2 QL, which is based on the idea of encoding the ontology TBox into a directed graph and reducing core reasoning to computation of the transitive closure of the graph. We have implemented the algorithm in the QuOnto reasoner and extensively evaluated it over very large ontologies. Our experiments show that QuOnto outperforms various popular reasoners in classification of OWL 2 QL ontologies.
@inproceedings{ conf/dlog/LemboSS13,
abstract = {Ontology classification is the reasoning service that computes all subsumption relationships inferred in an
ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for
which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods
and implementations specifically tailored to OWL 2 QL ontologies have been developed. In this paper, we provide a new algorithm
for ontology classification in OWL 2 QL, which is based on the idea of encoding the ontology TBox into a directed graph and
reducing core reasoning to computation of the transitive closure of the graph. We have implemented the algorithm in the QuOnto
reasoner and extensively evaluated it over very large ontologies. Our experiments show that QuOnto outperforms various popular
reasoners in classification of OWL 2 QL ontologies.},
added-at = {2014-06-02T12:46:31.000+0200},
audience = {academic},
author = {Lembo, Domenico and Santarelli, Valerio and Savo, Domenico Fabio},
biburl = {http://www.bibsonomy.org/bibtex/24f9aaeca83bb1e33ed1b3727eaabd741/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_21.pdf},
interhash = {b772c7c3f60d1c90c80b330996baaceb},
intrahash = {4f9aaeca83bb1e33ed1b3727eaabd741},
keywords = {myown optique-project},
pages = {747-759},
partneroptique = {UNIROMA1},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
title = {A Graph-Based Approach for Classifying OWL 2 QL Ontologies.},
url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#LemboSS13},
volume = {1014},
wpoptique = {WP4},
year = {2013},
yearoptique = {Y1}
}
Downloads: 0
{"_id":{"_str":"538836340e577e1d6b002d62"},"__v":0,"authorIDs":[],"author_short":["Lembo, D.","Santarelli, V.","Savo","Fabio, D."],"bibbaseid":"lembo-santarelli-savo-fabio-agraphbasedapproachforclassifyingowl2qlontologies-2013","bibdata":{"downloads":0,"keyword":["myown optique-project"],"bibbaseid":"lembo-santarelli-savo-fabio-agraphbasedapproachforclassifyingowl2qlontologies-2013","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#LemboSS13","Link":"http://ceur-ws.org/Vol-1014/paper_21.pdf"},"role":"author","yearoptique":"Y1","year":"2013","wpoptique":"WP4","volume":"1014","url":"http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#LemboSS13","type":"inproceedings","title":"A Graph-Based Approach for Classifying OWL 2 QL Ontologies.","series":"CEUR Workshop Proceedings","publisher":"CEUR-WS.org","partneroptique":"UNIROMA1","pages":"747-759","keywords":"myown optique-project","key":"conf/dlog/LemboSS13","intrahash":"4f9aaeca83bb1e33ed1b3727eaabd741","interhash":"b772c7c3f60d1c90c80b330996baaceb","id":"conf/dlog/LemboSS13","ee":"http://ceur-ws.org/Vol-1014/paper_21.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/24f9aaeca83bb1e33ed1b3727eaabd741/savo.fabio","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/dlog/LemboSS13,\n abstract = {Ontology classification is the reasoning service that computes all subsumption relationships inferred in an \r\n ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for \r\n which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods \r\n and implementations specifically tailored to OWL 2 QL ontologies have been developed. In this paper, we provide a new algorithm \r\n for ontology classification in OWL 2 QL, which is based on the idea of encoding the ontology TBox into a directed graph and \r\n reducing core reasoning to computation of the transitive closure of the graph. We have implemented the algorithm in the QuOnto \r\n reasoner and extensively evaluated it over very large ontologies. Our experiments show that QuOnto outperforms various popular \r\n reasoners in classification of OWL 2 QL ontologies.},\n added-at = {2014-06-02T12:46:31.000+0200},\n audience = {academic},\n author = {Lembo, Domenico and Santarelli, Valerio and Savo, Domenico Fabio},\n biburl = {http://www.bibsonomy.org/bibtex/24f9aaeca83bb1e33ed1b3727eaabd741/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_21.pdf},\n interhash = {b772c7c3f60d1c90c80b330996baaceb},\n intrahash = {4f9aaeca83bb1e33ed1b3727eaabd741},\n keywords = {myown optique-project},\n pages = {747-759},\n partneroptique = {UNIROMA1},\n publisher = {CEUR-WS.org},\n series = {CEUR Workshop Proceedings},\n title = {A Graph-Based Approach for Classifying OWL 2 QL Ontologies.},\n url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2013.html#LemboSS13},\n volume = {1014},\n wpoptique = {WP4},\n year = {2013},\n yearoptique = {Y1}\n}","author_short":["Lembo, D.","Santarelli, V.","Savo","Fabio, D."],"author":["Lembo, Domenico","Santarelli, Valerio","Savo","Fabio, Domenico"],"audience":"academic","added-at":"2014-06-02T12:46:31.000+0200","abstract":"Ontology classification is the reasoning service that computes all subsumption relationships inferred in an ontology between concept, role, and attribute names in the ontology signature. OWL 2 QL is a tractable profile of OWL 2 for which ontology classification is polynomial in the size of the ontology TBox. However, to date, no efficient methods and implementations specifically tailored to OWL 2 QL ontologies have been developed. In this paper, we provide a new algorithm for ontology classification in OWL 2 QL, which is based on the idea of encoding the ontology TBox into a directed graph and reducing core reasoning to computation of the transitive closure of the graph. We have implemented the algorithm in the QuOnto reasoner and extensively evaluated it over very large ontologies. Our experiments show that QuOnto outperforms various popular reasoners in classification of OWL 2 QL ontologies."},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/search/optique-project?bibtex.entriesPerPage=10000","downloads":1,"keywords":["myown optique-project"],"search_terms":["graph","based","approach","classifying","owl","ontologies","lembo","santarelli","savo","fabio"],"title":"A Graph-Based Approach for Classifying OWL 2 QL Ontologies.","year":2013,"dataSources":["tYYCZGwzkJatkJPTa"]}