SROIQ Syntax Approximation by Using Nominal Schemas

Authors

Cong Wang
David Carral
Pascal HitzlerFollow

Document Type

Conference Proceeding

Publication Date

7-2013

Abstract

Nominal schemas is a recently introduced extension of description logics which makes it possible to express rules which generalize DL-safe ones. A tractable description logic, ELROV_n, has been identified. This leads us to the question: can we improve approximate reasoning results by employing nominal schemas? In this paper, we investigate how to approximately cast SROIQ into ELROV_n. Using a datalog-based tractable algorithm, a preliminary evaluation shows that our approach can indeed do approximate SROIQ-reasoning with a high recall.

Repository Citation

Wang, C., Carral, D., & Hitzler, P. (2013). SROIQ Syntax Approximation by Using Nominal Schemas. CEUR Workshop Proceedings, 1014, 989-999.
https://corescholar.libraries.wright.edu/cse/216