Towards Soundness Preserving Approximation for TBox Reasoning in OWL 2

Presented at: 8th International Semantic Web Conference (ISWC2009)

by Yuan Ren, Jeff Z. Pan, Yuting Zhao


Large scale semantic web applications require efficient and robust description logic (DL) reasoning services. In this paper, we present a soundness preserving tractable approximative reasoning approach for TBox reasoning in R, a fragment of OWL2-DL supporting ALC GCIs and role chains with 2ExpTime-hard complexity. We first rewrite the ontologies into EL+ with an additional complement table maintaining the complementary relations between named concepts, and then classify the approximation. Preliminary evaluation shows that our approach can classify existing benchmarks in large scale efficiently with a high recall.

Keywords: Semantic Web

Resource URI on the dog food server:

Explore this resource elsewhere: