More Web Proxy on the site http://driver.im/

research-article

A practical approach to modelling and validating integrity constraints in the Semantic Web

Author:

Yanfeng ShuAuthors Info & Claims

Volume 153, Issue C

Pages 29 - 39

https://doi.org/10.1016/j.knosys.2018.04.021

Published: 01 August 2018 Publication History

Abstract

Efforts have been made in the Semantic Web to combine rules with ontologies. One result of these efforts is the development of the Semantic Web Rule Language (SWRL) which is designed to integrate closely with the Web Ontology Language (OWL). Both SWRL and OWL adhere to the open-world semantics of first-order logic, and thus are not suitable for modelling integrity constraints in applications where complete knowledge about some parts of the domain can be assumed. In this paper, we investigate this problem and present a practical approach to modelling and validating constraints in the Semantic Web. Building on existing work, we show that by employing a constraint semantics for both OWL and SWRL, we can model common constraints as OWL axioms or SWRL rules. We also show that by using a query reduction technique, we can validate constraints using existing OWL/SWRL reasoners. Finally, we demonstrate the usefulness of our approach via a real-world case study.

References

[1]

T. Berners-Lee, J. Hendler, O. Lassila, The semantic web, Sci. Am. 284 (5) (2001) 34–43.

[2]

D.L. McGuinness, F.V. Harmelen, OWL Web Ontology Language Overview. W3C Recommendation 10 February 2004, https://www.w3.org/TR/owl-features/, accessed 4 Feb 2017.

[3]

F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider, The description logic handbook: Theory, implementation, and applications, Cambridge University Press, 2003.

[4]

P. Hitzler, B. Parsia, Ontologies and Rules, Springer Berlin Heidelberg, pp. 111–132.

[5]

I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission 21 May 2004, http://www.w3.org/Submission/SWRL/, accessed 4 Feb 2017.

[6]

D. Elenius, D. Martin, R. Ford, G. Denker, Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL, Proceedings of the 8th International Semantic Web Conference (ISWC’09), 2009.

[7]

P. Besana, M. Cuggia, O. Zekri, A. Bourde, A. Burgun, Using Semantic Web Technologies for Clinical Trial Recruitment, Proceedings of the 9th International Semantic Web Conference (ISWC’10), 2010.

[8]

J. Tao, E. Sirin, J. Bao, D.L. McGuinness, Integrity Constraints in OWL, Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI’10), 2010.

[9]

Y. Shu, Q. Liu, K. Taylor, Semantic validation of environmental observations data, Environ. Modell. Softw. 79 (2016) 10–21.

[10]

I. Horrocks, O. Kutz, U. Sattler, The Even More Irresistible SROIQ, Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR’06), 2006.

[11]

I. Horrocks, P.F. Patel-Schneider, S. Bechhofer, D. Tsarkov, OWL Rules: A Proposal and prototype implementation, J. Web Semant. 3 (1) (2005) 23–40.

[12]

B. Motik, I. Horrocks, U. Sattler, Bridging the gap between OWL and relational databases, J. Web Semant. 7 (2) (2009) 74–89.

[13]

S. Harris, A. Seaborne, SPARQL 1.1 Query Language. W3C Recommendation 21 March 2013, http://www.w3.org/TR/sparql11-query/, accessed 4 Feb 2017.

[14]

M. Krötzsch, S. Rudolph, P. Hitzler, Description Logic Rules, Proceedings of 18th European Conference on Artificial Intelligence (ECAI’08), 2008.

[15]

B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description Logic Programs: Combining Logic Programs withs Description Logic, Proceedings of the 12th international conference on World Wide Web (WWW’03), 2003.

[16]

M. Vardi, Why is Model Logic so Robustly Decidable?, American Mathematical Society.

[17]

R. Angles, C. Gutierrez, The Expressive Power of SPARQL, Proceedings of the 7th International Conference on The Semantic Web (ISWC’08), 2008.

[18]

G. Walker, P. Taylor, S. Cox, P. Sheahan, Interim-Water Data Transfer Format(IWDTF): Guiding principles, technical challenges and the future, Proceedings of the 18th International Congress on Modelling and Simulation (MODSIM’09), 2009.

[19]

Y. Shu, D. Ratcliffe, M. Compton, G. Squire, K. Taylor, A semantic approach to data translation: A Case study of environmental observations data, Knowl. Based Syst. 75 (2015) 104–123.

[20]

J. Yu, S. Cox, G. Walker, P. Box, P. Sheahan, Use of standard vocabulary services in validation of water resources data described in XML, Earth Sci. Inform. 4 (3) (2011) 125–137.

[21]

F.M. Donini, D. Nardi, R. Rosati, Description logics of minimal knowledge and negation as failure, ACM Trans. on Comput. Logic 3 (2) (2002) 177–225.

[22]

P.F. Patel-Schneider, E. Franconi, Ontology Constraints in Incomplete and Complete Data, Proceedings of the 11th international conference on The Semantic Web (ISWC’12), 2012.

[23]

D. Calvanese, G.D. Giacomo, D. Lembo, M. Lenzerini, R. Rosati, EQL-Lite: Effective First-order Query Processing in Description Logics, Proceedings of the 20th international joint conference on Artifical intelligence (IJCAI’07), 2007.

[24]

B. Motik, B. Rosati, A Faithful Integration of Description Logics with Logic Programming, Proceedings of the 20th international joint conference on Artifical intelligence (IJCAI’07), 2007.

[25]

J. de Bruijn, A. Polleres, R. Lara, D. Fensel, OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web, Proceedings of the 14th international conference on World Wide Web (WWW’05), 2005.

[26]

S. Heymans, M. McKennirey, J. Phillips, Semantic validation of the use of SNOMED CT in HL7 clinical documents, J. Biomed. Semant. 2 (2) (2011) 1–16.

[27]

D.L. Settas, G. Meditskos, I.G. Stamelos, N. Bassiliades, SPARSE: A symptom-based antipattern retrival knowledge-based system using semantic web technologies, Expert Syst. Appl. 38 (2011) (2011) 7633–7646.

[28]

E. Kharlanmov, B.C. Grau, E. Jiménez-Ruiz, S. Lamparter, G. Mehdi, M. Ringsquandl, Y. Nenov, S. Grimm, M. Roshchin, I. Horrocks, Capturing Industrial Information Models with Ontologies and Constraints, Proceedings of the 15th International Conference on The Semantic Web (ISWC’16), 2016.

[29]

R. Piro, Y. Nenov, B. Motik, I. Horrocks, P. Hendler, S. Kimberly, M. Rossman, Semantic Technologies for Data Analysis in Health Care, Proceedings of the 15th International Conference on The Semantic Web (ISWC’16), 2016.

[30]

M. Fang, Maintaining Integrity Constraints in Semantic Web, Computer Science Dissertations, Paper 73, Georgia State University, 2013.

[31]

J.M.A. Calero, J.M.M. Perez, J.B. Bernabe, F.J.G. Clemente, G.M. Perez, A.F.G. Skarmeta, Detection of semantic conflicts in onotology and rule-based information systems, Data Knowl. Eng. 69 (2010) (2010) 1117–1137.

[32]

P.F. Patel-Schneider, Using Description Logics for RDF Constraint Checking and Closed-World Recognition, Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI’15), 2015.

[33]

G. Lausen, M. Meier, M. Schmidt, SPARQLing Constraints for RDF, Proceedings of the 11th International Conference on Extending Database Technology (EDBT’08), 2008.

[34]

H. Knublauch, D. Kontokostas, Shapes Constraint Language (SHACL). W3C Recommendation 20 July 2017, https://www.w3.org/TR/shacl/, accessed 4 Feb 2017.

[35]

I. Boneva, J.E.L. Gayo, E.G. Prudhommeaux, Semantics and Validation of Shapes Schemas for RDF, Proceedings of the 16th International Conference on The Semantic Web (ISWC’17), 2017.

[36]

H.-J. Kim, W. Kim, M. Lee, Semantic web constraint language and its application to an intelligent shopping agent, Decis. Support Syst. 46 (4) (2009) 882–894.

Cited By

Hussain AWu WTang Z(2022)An MDE-based methodology for closed-world integrity constraint checking in the semantic webWeb Semantics: Science, Services and Agents on the World Wide Web10.1016/j.websem.2022.10071774:COnline publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.websem.2022.100717

Index Terms

A practical approach to modelling and validating integrity constraints in the Semantic Web

Index terms have been assigned to the content through auto-classification.

Recommendations

Reasoning on the semantic web for adaptive hypermedia

So far, ontologies have been widely used to convey knowledge across the Semantic Web. Complementing web ontologies with Horn-like rules to assert relations among ontology individuals and properties is part of the ongoing implementation of the Semantic ...
Reasoning support for Semantic Web ontology family languages using Alloy
Special Issue on Agent-oriented Software Development Methodologies

Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. To realize this vision, a series of techniques has been proposed. Semantic Web ...
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning

Ontology languages like OWL allow for semantically rich annotation of resources (e.g., products advertised at on-line electronic marketplaces). The description logic (DL) formalism underlying OWL provides reasoning techniques that perform match-making ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Knowledge-Based Systems

Knowledge-Based Systems Volume 153, Issue C

Aug 2018

193 pages

ISSN:0950-7051

Issue’s Table of Contents

Elsevier B.V.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 August 2018

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hussain AWu WTang Z(2022)An MDE-based methodology for closed-world integrity constraint checking in the semantic webWeb Semantics: Science, Services and Agents on the World Wide Web10.1016/j.websem.2022.10071774:COnline publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1016/j.websem.2022.100717

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents