Tractable approximate deduction for OWL

Jeff Z. Pan, Yuan Ren, Yuting Zhao

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)
6 Downloads (Pure)


Today's ontology applications require efficient and reliable description logic (DL) reasoning services. Expressive DLs usually have high worst case complexity while tractable DLs are restricted in terms of expressive power. This brings a new challenge: can users use expressive DLs to build their ontologies and still enjoy the efficient services as in tractable languages? Approximation has been considered as a solution to this challenge; however, traditional approximation approaches have limitations in terms of performance and usability. In this paper, we present a tractable approximate reasoning framework for OWL 2 that improves efficiency and guarantees soundness. Evaluation on ontologies from benchmarks and real-world use cases shows that our approach can do reasoning on complex ontologies efficiently with a high recall.
Original languageEnglish
Pages (from-to)95-155
Number of pages61
JournalArtificial Intelligence
Early online date18 Jan 2016
Publication statusPublished - Jun 2016


  • Ontology
  • Approximation
  • OWL 2
  • Reasoning


Dive into the research topics of 'Tractable approximate deduction for OWL'. Together they form a unique fingerprint.

Cite this