1-s2.0-S1570826815000311-main.pdf (1.77 MB)
Download file

The Description Logic SHIQ with a Flexible Meta-modelling Hierarchy

Download (1.77 MB)
journal contribution
posted on 19.05.2015, 10:58 by Paula G. Severi, Regina Motz, Edelweis Rohrer
This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta-modelling. For this, we introduce the Description Logic SHIQM which is obtained from SHIQ byadding statements that equate individuals to concepts in a knowledge base. In this new extension, concepts can be individuals of another concept (called meta-concept) which itself can be an individual of yet another concept (called meta meta-concept ) and so on. We define an algorithm that checks consistency of SHIQM by modifying the Tableau algorithm for SHIQ. From the practical point of view, this has the advantage that we can reuse the code of existing OWL reasoners. From the theoretical point of view, it has a similar advantage of reuse. We make use of the existing results and proofs that lead to correctness of the algorithm for SHIQ in order to prove correctness of the algorithm for SHIQM.

History

Citation

Journal of Web Semantics, 2015

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

VoR (Version of Record)

Published in

Journal of Web Semantics

Publisher

Elsevier

issn

1570-8268

Acceptance date

10/05/2015

Copyright date

2015

Available date

20/08/2015

Publisher version

http://www.sciencedirect.com/science/article/pii/S1570826815000311?np=y

Language

en

Usage metrics

Categories

Keywords

Licence

Exports