Abstract / Description of output
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential way to reduce the complexity of query answering over OWL DL ontologies. Existing approaches are mainly based on syntactic approximation of ontological axioms and queries. In this paper, we propose to recast the idea of knowledge compilation into approximating OWL DL ontologies with DL-Lite ontologies, against which query answering has only polynomial data complexity. We identify a useful category of queries for which our approach guarantees also completeness. Furthermore, this paper reports on the implementation of our approach in the ONTOSEARCH2 system and preliminary, but encouraging, benchmark results which compare ONTOSEARCH2's response times on a number of queries with those of existing ontology reasoning systems.
Original language | English |
---|---|
Title of host publication | Proceedings of the 22nd National Conference on Artificial Intelligence - Volume 2 |
Editors | Anthony Cohn |
Publisher | AAAI Press |
Pages | 1434–1439 |
Number of pages | 6 |
ISBN (Electronic) | 978-1-57735-324-9 |
ISBN (Print) | 978-1-57735-323-2 |
Publication status | Published - 26 Jul 2007 |
Event | 22nd national conference on Artificial intelligence - Vancouver, Canada Duration: 22 Jul 2007 → 26 Jul 2007 https://www.aaai.org/Conferences/AAAI/aaai07.php |
Publication series
Name | AAAI'07 |
---|---|
Publisher | AAAI Press |
Conference
Conference | 22nd national conference on Artificial intelligence |
---|---|
Abbreviated title | AAAI-07 |
Country/Territory | Canada |
City | Vancouver |
Period | 22/07/07 → 26/07/07 |
Internet address |