Please use this identifier to cite or link to this item:
Title: The Description Logic SHIQ with a Flexible Meta-modelling Hierarchy
Authors: Severi, Paula G.
Motz, Regina
Rohrer, Edelweis
First Published: 19-May-2015
Publisher: Elsevier
Citation: Journal of Web Semantics, 2015
Abstract: 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.
DOI Link: 10.1016/j.websem.2015.05.002
ISSN: 1570-8268
Version: Published (publisher PDF)
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © the authors, 2015. This is an open-access article distributed under the terms of the Creative Commons Attribution License ( ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1-s2.0-S1570826815000311-main.pdfPublished (publisher PDF)1.81 MBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.