An MDE-based Methodology for Closed-World Integrity Constraint Checking in the Semantic Web

Hussain, Ambreen and Wu, Wenyan and Tang, Zhaozhao (2022) An MDE-based Methodology for Closed-World Integrity Constraint Checking in the Semantic Web. Journal of Web Semantics, 74. p. 100717. ISSN 1570-8268

[img]
Preview
Text
1-s2.0-S1570826822000129-main.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (5MB)

Abstract

Ontology-based data-centric systems support open-world reasoning. Therefore, for these systems, Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) are not suitable for expressing integrity constraints based on the closed-world assumption. Thus, the requirement of integrating the open-world assumption of OWL/SWRL with closed-world integrity constraint checking is inevitable. SPARQL, recommended by World Wide Web (W3C), is a query language for RDF graphs, and many research studies have shown that it is a perfect candidate for closed-world constraint checking for ontology-based data-centric applications. In this regard, many research studies have been performed to transform integrity constraints into SPARQL queries where some studies have shown the limitations of partial expressivity of knowledge bases while performing the indirect transformations, whereas others are limited to a platform-specific implementation. To address these issues, this paper presents a flexible and formal methodology that employs Model-Driven Engineering (MDE) to model closed-world integrity constraints for open-world reasoning. The proposed approach offers semantic validation of data by expressing integrity constraints at both the model level and the code level. Moreover, straightforward transformations from OWL/SWRL to SPARQL can be performed. Finally, the methodology is demonstrated via a real-world case study of water observations data.

Item Type: Article
Identification Number: https://doi.org/10.1016/j.websem.2022.100717
Dates:
DateEvent
11 May 2022Accepted
19 May 2022Published Online
Uncontrolled Keywords: Data validation; SWRLSPARQL; Model-driven engineering; Water supply and distribution systems
Subjects: CAH10 - engineering and technology > CAH10-01 - engineering > CAH10-01-01 - engineering (non-specific)
CAH11 - computing > CAH11-01 - computing > CAH11-01-03 - information systems
Divisions: Faculty of Computing, Engineering and the Built Environment > School of Engineering and the Built Environment
Depositing User: Wenyan Wu
Date Deposited: 13 Jun 2022 14:55
Last Modified: 13 Jun 2022 14:55
URI: http://www.open-access.bcu.ac.uk/id/eprint/13258

Actions (login required)

View Item View Item

Research

In this section...