Abstract
How to provide scalable and quality guaranteed approximation for query answering over expressive description logics (DLs) is an important problem in knowledge representation (KR). This is a pressing issue, in particular due to the fact that, for the widely used standard Web Ontology Language OWL, whether conjunctive query answering is decidable is still an open problem. Pan and Thomas propose a soundness guaranteed approximation, which transforms an ontology in a more expressive DL to its least upper bound approximation in a tractable DL. In this paper, we investigate a completeness guaranteed approximation, based on transformations of both the source ontology and input queries. We have implemented both soundness guaranteed and completeness guaranteed approximations in our TrOWL ontology reasoning infrastructure.
Original language | English |
---|---|
Title of host publication | Proceedings of the 22nd International Workshop on Description Logics (DL2009) |
Editors | Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler |
Publisher | CEUR Workshop Proceedings |
Number of pages | 12 |
Publication status | Published - 8 Jul 2009 |
Event | The 22nd International Workshop on Description Logics 2009 - Oxford, United Kingdom Duration: 27 Jul 2009 → 30 Jul 2009 Conference number: 22 http://dl.kr.org/dl2009/ |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR-WS.org |
Volume | 477 |
ISSN (Electronic) | 1613-0073 |
Conference
Conference | The 22nd International Workshop on Description Logics 2009 |
---|---|
Abbreviated title | DL 2009 |
Country/Territory | United Kingdom |
City | Oxford |
Period | 27/07/09 → 30/07/09 |
Internet address |