Towards Soundness Preserving Approximation for ABox Reasoning of OWL2

Yuan Ren, Jeff Z Pan, Yuting Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

ABox Reasoning in large scale description logic (DL) knowledge bases, eg ontologies, is important for the success of many semantic-enriched systems. Performance of existing approaches, such as the tableau-based approach, and the disjunctive datalog approach, is restricted by their theoretical worst case complexity bound. In this paper, we propose a soundness-preserving approximate reasoning approach to address this issue. We first approximate an ontology in DL RO, a major fragment of OWL2-DL, to DL EL++, the underpin of OWL2-EL, plus an additional table maintaining the complementary relations between concept names. Then we can perform ABox reasoning either internally, or externally of the TBox with additional completion rules. The approximation and reasoning can be performed in PTIME. Our preliminary evaluation shows that our approach can outperform existing DL reasoners on real world and benchmark ontologies.
Original languageEnglish
Title of host publicationProceedings of the 2010 International Workshop on Description Logics (DL2010)
EditorsVolker Haarslev, David Toman, Grant Weddell
PublisherCEUR-WS.org
Pages325-335
Number of pages11
Publication statusPublished - 9 Jun 2010
EventThe 23rd International Workshop on Description Logics - Waterloo, Canada
Duration: 4 May 20107 May 2010
Conference number: 23
http://dl.kr.org/dl2010/index.html

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS.org
Volume573
ISSN (Electronic)1613-0073

Workshop

WorkshopThe 23rd International Workshop on Description Logics
Abbreviated titleDL 2010
Country/TerritoryCanada
CityWaterloo
Period4/05/107/05/10
Internet address

Fingerprint

Dive into the research topics of 'Towards Soundness Preserving Approximation for ABox Reasoning of OWL2'. Together they form a unique fingerprint.

Cite this