research-article

The role of reasoning for RDF validation

Authors:

Kai EckertAuthors Info & Claims

SEMANTICS '15: Proceedings of the 11th International Conference on Semantic Systems

Pages 33 - 40

https://doi.org/10.1145/2814864.2814867

Published: 16 September 2015 Publication History

Abstract

For data practitioners embracing the world of RDF and Linked Data, the openness and flexibility is a mixed blessing. For them, data validation according to predefined constraints is a much sought-after feature, particularly as this is taken for granted in the XML world. Based on our work in the DCMI RDF Application Profiles Task Group and in cooperation with the W3C Data Shapes Working Group, we published by today 81 types of constraints that are required by various stakeholders for data applications. These constraint types form the basis to investigate the role that reasoning and different semantics play in practical data validation, why reasoning is beneficial for RDF validation, and how to overcome the major shortcomings when validating RDF data by performing reasoning prior to validation. For each constraint type, we examine (1) if reasoning may improve data quality, (2) how efficient in terms of runtime validation is performed with and without reasoning, and (3) if validation results depend on underlying semantics which differs between reasoning and validation. Using these findings, we determine for the most common constraint languages which constraint types they enable to express and give directions for the further development of constraint languages.

References

[1]

S. Arora and B. Barak. Computational Complexity: A Modern Approach. Cambridge University Press, New York, NY, USA, 1st edition, 2009.

Digital Library

[2]

A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev. The DL-Lite Family and Relations. Journal of Artificial Intelligence Research, 36(1):1--69, Sept. 2009.

Digital Library

[3]

T. Bosch and K. Eckert. Requirements on RDF Constraint Formulation and Validation. In Proceedings of the DCMI International Conference on Dublin Core and Metadata Applications, Austin, Texas, USA, 2014.

Digital Library

[4]

T. Bosch and K. Eckert. Towards Description Set Profiles for RDF using SPARQL as Intermediate Language. In Proceedings of the DCMI International Conference on Dublin Core and Metadata Applications (DC 2014), Austin, Texas, USA, 2014.

Digital Library

[5]

T. Bosch, A. Nolle, E. Acar, and K. Eckert. RDF Validation Requirements - Evaluation and Logical Underpinning. Computing Research Repository (CoRR), abs/1501.03933, 2015.

[6]

D. Calvanese, G. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Journal of Automated Reasoning, 39(3):385--429, Oct. 2007.

Digital Library

[7]

C. Fürber and M. Hepp. Using SPARQL and SPIN for Data Quality Management on the Semantic Web. In W. Abramowicz and R. Tolksdorf, editors, Business Information Systems, volume 47 of Lecture Notes in Business Information Processing, pages 35--46. Springer Berlin Heidelberg, 2010.

[8]

V. Haarslev and R. Müller. RACER System Description. In Automated Reasoning, pages 701--705. Springer, 2001.

Digital Library

[9]

I. Horrocks, B. Motik, and Z. Wang. The HermiT OWL Reasoner. In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), Manchester, UK, 2012.

[10]

R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The Combined Approach to Ontology-Based Data Access. In Proceedings of the 22th International Joint Conference on Artificial Intelligence, volume 3, pages 2656--2661. AAAI Press, 2011.

Digital Library

[11]

B. Motik, B. C. Grau, I. Horrocks, Z. Wu, A. Fokoue, and C. Lutz. OWL 2 Web Ontology Language: Profiles. W3C Recommendation, W3C, 2012.

[12]

A. Nolle, C. Meilicke, H. Stuckenschmidt, and G. Nemirovski. Efficient Federated Debugging of Lightweight Ontologies. In Web Reasoning and Rule Systems, pages 206--215. Springer International Publishing, 2014.

[13]

A. Nolle and G. Nemirovski. ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration. In Proceedings of the 26th International Workshop on Description Logics, pages 854--867. CEUR Electronic Workshop Proceedings, 2013.

[14]

J. Pérez, M. Arenas, and C. Gutierrez. Semantics and Complexity of SPARQL. ACM Transactions on Database Systems (TODS), 34(3):16:1--16:45, 2009.

Digital Library

[15]

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. Pellet: A Practical OWL-DL Reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51--53, 2007.

Digital Library

[16]

E. Sirin and J. Tao. Towards Integrity Constraints in OWL. In Proceedings of the Workshop on OWL: Experiences and Directions (OWLED 2009), 2009.

[17]

J. Tao. Integrity Constraints for the Semantic Web: An OWL 2 DL Extension. PhD thesis, Rensselaer Polytechnic Institute, 2012.

Digital Library

[18]

D. Tsarkov and I. Horrocks. FaCT++ Description Logic Reasoner: System Description. In Automated Reasoning, pages 292--297. Springer, 2006.

Digital Library

Cited By

De Nicola AFormica AMele IMissikoff MTaglino F(2024)A comparative study of LLMs and NLP approaches for supporting business process analysisEnterprise Information Systems10.1080/17517575.2024.241557818:10Online publication date: 24-Oct-2024
https://doi.org/10.1080/17517575.2024.2415578
Paciello RTrani LBailo DVinciarelli VSbarra M(2023)SHAPEness: A SHACL-Driven Metadata EditorMetadata and Semantic Research10.1007/978-3-031-39141-5_23(274-288)Online publication date: 10-Aug-2023
https://doi.org/10.1007/978-3-031-39141-5_23
Xue BZou L(2022)Knowledge Graph Quality Management: a Comprehensive SurveyIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2022.3150080(1-1)Online publication date: 2022
https://doi.org/10.1109/TKDE.2022.3150080
Show More Cited By

Index Terms

The role of reasoning for RDF validation

Recommendations

Guidance, please! towards a framework for RDF-based constraint languages
DCMI'15: Proceedings of the 2015 International Conference on Dublin Core and Metadata Applications

In the context of the DCMI RDF Application Profile task group and the W3C Data Shapes Working Group solutions for the proper formulation of constraints and validation of RDF data on these constraints are being developed. Several approaches and ...
Requirements on RDF constraint formulation and validation
DCMI'14: Proceedings of the 2014 International Conference on Dublin Core and Metadata Applications

For many RDF applications, the formulation of constraints and the automatic validation of data according to these constraints is a much sought-after feature. In 2013, the W3C invited experts from industry, government and academia to the RDF Validation ...
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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

SEMANTICS '15: Proceedings of the 11th International Conference on Semantic Systems

September 2015

220 pages

ISBN:9781450334624

DOI:10.1145/2814864

Editors:
Sebastian Hellmann
AKSW/KILT, Universität Leipzig, Germany
,
Josiane Xavier Parreira
Siemens AG Austria, Austria
,
Axel Polleres
Vienna University of Economy and Business (WU), Austria

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 September 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SEMANTiCS '15

SEMANTiCS '15: 11th International Conference on Semantic Systems

September 16 - 17, 2015

Vienna, Austria

Acceptance Rates

SEMANTICS '15 Paper Acceptance Rate 22 of 97 submissions, 23%;

Overall Acceptance Rate 40 of 182 submissions, 22%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
171
Total Downloads

Downloads (Last 12 months)17
Downloads (Last 6 weeks)8

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

De Nicola AFormica AMele IMissikoff MTaglino F(2024)A comparative study of LLMs and NLP approaches for supporting business process analysisEnterprise Information Systems10.1080/17517575.2024.241557818:10Online publication date: 24-Oct-2024
https://doi.org/10.1080/17517575.2024.2415578
Paciello RTrani LBailo DVinciarelli VSbarra M(2023)SHAPEness: A SHACL-Driven Metadata EditorMetadata and Semantic Research10.1007/978-3-031-39141-5_23(274-288)Online publication date: 10-Aug-2023
https://doi.org/10.1007/978-3-031-39141-5_23
Xue BZou L(2022)Knowledge Graph Quality Management: a Comprehensive SurveyIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2022.3150080(1-1)Online publication date: 2022
https://doi.org/10.1109/TKDE.2022.3150080
Hou ZQin CZhu AWang YLiang PWang YZhu Y(2021)Formalizing Parameter Constraints to Support Intelligent Geoprocessing: A SHACL-Based MethodISPRS International Journal of Geo-Information10.3390/ijgi1009060510:9(605)Online publication date: 14-Sep-2021
https://doi.org/10.3390/ijgi10090605
De Meester BHeyvaert PArndt DDimou AVerborgh R(2021)RDF graph validation using rule-based reasoningSemantic Web10.3233/SW-20038412:1(117-142)Online publication date: 1-Jan-2021
https://dl.acm.org/doi/10.3233/SW-200384
Kilintzis VChouvarda IBeredimas NNatsiavas PMaglaveras N(2019)Supporting Integrated Care with a Flexible Data Management Framework built upon Linked Data, HL7 FHIR and OntologiesJournal of Biomedical Informatics10.1016/j.jbi.2019.103179(103179)Online publication date: Apr-2019
https://doi.org/10.1016/j.jbi.2019.103179
Gayo JPrud'hommeaux EBoneva IKontokostas D(2017)Validating RDF DataSynthesis Lectures on the Semantic Web: Theory and Technology10.2200/S00786ED1V01Y201707WBE0167:1(1-328)Online publication date: 28-Sep-2017
https://doi.org/10.2200/S00786ED1V01Y201707WBE016

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents