{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T07:22:10Z","timestamp":1790839330012,"version":"4.1.0"},"reference-count":60,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2020,11,19]]},"abstract":"<jats:p>The correct functioning of Semantic Web applications requires that given RDF graphs adhere to an expected shape. This shape depends on the RDF graph and the application\u2019s supported entailments of that graph. During validation, RDF graphs are assessed against sets of constraints, and found violations help refining the RDF graphs. However, existing validation approaches cannot always explain the root causes of violations (inhibiting refinement), and cannot fully match the entailments supported during validation with those supported by the application. These approaches cannot accurately validate RDF graphs, or combine multiple systems, deteriorating the validator\u2019s performance. In this paper, we present an alternative validation approach using rule-based reasoning, capable of fully customizing the used inferencing steps. We compare to existing approaches, and present a formal ground and practical implementation \u201cValidatrr\u201d, based on N3Logic and the EYE reasoner. Our approach \u2013\u00a0supporting an equivalent number of constraint types compared to the state of the art\u00a0\u2013 better explains the root cause of the violations due to the reasoner\u2019s generated logical proof, and returns an accurate number of violations due to the customizable inferencing rule set. Performance evaluation shows that Validatrr is performant for smaller datasets, and scales linearly w.r.t. the RDF graph size. The detailed root cause explanations can guide future validation report description specifications, and the fine-grained level of configuration can be employed to support different constraint languages. This foundation allows further research into handling recursion, validating RDF graphs based on their generation description, and providing automatic refinement suggestions.<\/jats:p>","DOI":"10.3233\/sw-200384","type":"journal-article","created":{"date-parts":[[2020,9,8]],"date-time":"2020-09-08T10:31:00Z","timestamp":1599561060000},"page":"117-142","source":"Crossref","is-referenced-by-count":15,"title":["RDF graph validation using rule-based\u00a0reasoning"],"prefix":"10.1177","volume":"12","author":[{"given":"Ben","family":"De Meester","sequence":"first","affiliation":[{"name":"Ghent University \u2013 imec \u2013 IDLab, Department of Electronics and Information Systems, Technologiepark-Zwijnaarde 122, 9052 Ghent, Belgium. E-mails:\u00a0ben.demeester@ugent.be,\u00a0pheyvaer.heyvaert@ugent.be,\u00a0doerthe.arndt@ugent.be,\u00a0anastasia.dimou@ugent.be,\u00a0ruben.verborgh@ugent.be"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pieter","family":"Heyvaert","sequence":"additional","affiliation":[{"name":"Ghent University \u2013 imec \u2013 IDLab, Department of Electronics and Information Systems, Technologiepark-Zwijnaarde 122, 9052 Ghent, Belgium. E-mails:\u00a0ben.demeester@ugent.be,\u00a0pheyvaer.heyvaert@ugent.be,\u00a0doerthe.arndt@ugent.be,\u00a0anastasia.dimou@ugent.be,\u00a0ruben.verborgh@ugent.be"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D\u00f6rthe","family":"Arndt","sequence":"additional","affiliation":[{"name":"Ghent University \u2013 imec \u2013 IDLab, Department of Electronics and Information Systems, Technologiepark-Zwijnaarde 122, 9052 Ghent, Belgium. E-mails:\u00a0ben.demeester@ugent.be,\u00a0pheyvaer.heyvaert@ugent.be,\u00a0doerthe.arndt@ugent.be,\u00a0anastasia.dimou@ugent.be,\u00a0ruben.verborgh@ugent.be"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anastasia","family":"Dimou","sequence":"additional","affiliation":[{"name":"Ghent University \u2013 imec \u2013 IDLab, Department of Electronics and Information Systems, Technologiepark-Zwijnaarde 122, 9052 Ghent, Belgium. E-mails:\u00a0ben.demeester@ugent.be,\u00a0pheyvaer.heyvaert@ugent.be,\u00a0doerthe.arndt@ugent.be,\u00a0anastasia.dimou@ugent.be,\u00a0ruben.verborgh@ugent.be"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruben","family":"Verborgh","sequence":"additional","affiliation":[{"name":"Ghent University \u2013 imec \u2013 IDLab, Department of Electronics and Information Systems, Technologiepark-Zwijnaarde 122, 9052 Ghent, Belgium. E-mails:\u00a0ben.demeester@ugent.be,\u00a0pheyvaer.heyvaert@ugent.be,\u00a0doerthe.arndt@ugent.be,\u00a0anastasia.dimou@ugent.be,\u00a0ruben.verborgh@ugent.be"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"key":"10.3233\/SW-200384_ref2","doi-asserted-by":"publisher","DOI":"10.5220\/0006733106710679"},{"key":"10.3233\/SW-200384_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33245-1_10"},{"key":"10.3233\/SW-200384_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61252-2_3"},{"key":"10.3233\/SW-200384_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2019.04.001"},{"issue":"9\u201310","key":"10.3233\/SW-200384_ref6","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","article-title":"On rules with existential variables: Walking the decidability line","volume":"175","author":"Baget","year":"2011","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-200384_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11964-9_14"},{"issue":"3","key":"10.3233\/SW-200384_ref11","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1017\/S1471068407003213","article-title":"N3Logic: A logical framework for the World Wide Web","volume":"8","author":"Berners-Lee","year":"2008","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"10.3233\/SW-200384_ref12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.websem.2008.02.005","article-title":"Quality-driven information filtering using the WIQA policy framework","volume":"7","author":"Bizer","year":"2009","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"key":"10.3233\/SW-200384_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_7"},{"key":"10.3233\/SW-200384_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2814864.2814867"},{"key":"10.3233\/SW-200384_ref15","unstructured":"T.\u00a0Bosch and K.\u00a0Eckert, Requirements on RDF constraint formulation and validation, in: Proceedings of the International Conference on Dublin Core and Metadata Applications, W.\u00a0Moen and A.\u00a0Rushing, eds, Dublin Core Metadata Initiative, 2014, pp.\u00a095\u2013108."},{"key":"10.3233\/SW-200384_ref16","unstructured":"T.\u00a0Bosch and K.\u00a0Eckert, Towards description set profiles for RDF using SPARQL as intermediate language, in: Proceedings of the International Conference on Dublin Core and Metadata Applications, W.\u00a0Moen and A.\u00a0Rushing, eds, Dublin Core Metadata Initiative, 2014, pp.\u00a0129\u2013137."},{"key":"10.3233\/SW-200384_ref18","unstructured":"B.\u00a0Bozic, R.\u00a0Brennan, K.\u00a0Feeney and G.\u00a0Mendel-Gleason, Describing reasoning results with RVO, the reasoning violations ontology, in: Joint Proceedings of the 2nd Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW 2016) and the 3rd Workshop on Linked Data Quality (LDQ 2016) Co-Located with 13th European Semantic Web Conference (ESWC 2016), J.\u00a0Debattista, J.\u00a0Umbrich and J.D.\u00a0Fern\u00e1ndex, eds, CEUR Workshop Proceedings, Vol.\u00a01585, CEUR-WS.org, 2016, pp.\u00a062\u201369."},{"key":"10.3233\/SW-200384_ref21","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","article-title":"Taming the infinite chase: Query answering under expressive relational constraints","volume":"48","author":"Cal\u00ec","year":"2013","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10.3233\/SW-200384_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_20"},{"key":"10.3233\/SW-200384_ref23","unstructured":"F.\u00a0Chalub and A.\u00a0Rademaker, Verifying integrity constraints of a RDF-based WordNet, in: Global WordNet Conference, 2016, pp.\u00a0309\u2013316."},{"key":"10.3233\/SW-200384_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00671-6_19"},{"key":"10.3233\/SW-200384_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/11853107_11"},{"issue":"1","key":"10.3233\/SW-200384_ref28","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/2992786","article-title":"Luzzu \u2013 A methodology and framework for linked data quality assessment","volume":"8","author":"Debattista","year":"2016","journal-title":"Journal of Data and Information Quality"},{"issue":"2","key":"10.3233\/SW-200384_ref30","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3233\/SW-2011-0034","article-title":"Comparison of reasoners for large ontologies in the OWL 2 EL profile","volume":"2","author":"Dentler","year":"2011","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-200384_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25010-6_8"},{"key":"10.3233\/SW-200384_ref32","unstructured":"A.\u00a0Dimou, M.\u00a0Vander Sande, P.\u00a0Colpaert, R.\u00a0Verborgh, E.\u00a0Mannens and R.\u00a0Van de Walle, RML: A generic language for integrated RDF mappings of heterogeneous data, in: Proceedings of the 7th Workshop on Linked Data on the Web, C.\u00a0Bizer, T.\u00a0Heath, S.\u00a0Auer and T.\u00a0Berners-Lee, eds, CEUR Workshop Proceedings, Vol.\u00a01184, CEUR-WS.org, 2014."},{"key":"10.3233\/SW-200384_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03754-2_2"},{"issue":"5","key":"10.3233\/SW-200384_ref34","doi-asserted-by":"publisher","first-page":"677","DOI":"10.3233\/SW-180294","article-title":"RDF dataset profiling \u2013 A survey of features, methods, vocabularies and applications","volume":"9","author":"Ellefi","year":"2018","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-200384_ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2899391"},{"key":"10.3233\/SW-200384_ref36","unstructured":"P.M.\u00a0Fischer, G.\u00a0Lausen, A.\u00a0Sch\u00e4tzle and M.\u00a0Schmidt, RDF constraint checking, in: Proceedings of the Workshops of the EDBT\/ICDT 2015 Joint Conference (EDBT\/ICDT 2015), P.M.\u00a0Fischer, G.\u00a0Alonso, M.\u00a0Arenas and F.\u00a0Geerts, eds, CEUR Workshop Proceedings, Vol.\u00a01330, CEUR-WS.org, 2015, pp.\u00a0205\u2013212."},{"issue":"1","key":"10.3233\/SW-200384_ref37","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","article-title":"Rete: A fast algorithm for the many pattern\/many object pattern match problem","volume":"19","author":"Forgy","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.3233\/SW-200384_ref39","unstructured":"P.\u00a0Haase and G.\u00a0Qi, An analysis of approaches to resolving inconsistencies in DL-based ontologies, in: Proceedings of the International Workshop on Ontology Dynamics (IWOD-07), G.\u00a0Flouris and M.\u00a0d\u2019Aquin, eds, 2007, pp.\u00a097\u2013109."},{"key":"10.3233\/SW-200384_ref41","doi-asserted-by":"publisher","DOI":"10.5445\/ir\/1000056458"},{"key":"10.3233\/SW-200384_ref42","doi-asserted-by":"publisher","DOI":"10.5445\/ir\/1000054062"},{"key":"10.3233\/SW-200384_ref43","doi-asserted-by":"publisher","DOI":"10.1109\/icsc.2016.43"},{"issue":"6","key":"10.3233\/SW-200384_ref45","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.3233\/SW-190358","article-title":"Rule-driven inconsistency resolution for knowledge graph generation rules","volume":"10","author":"Heyvaert","year":"2019","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-200384_ref47","unstructured":"A.\u00a0Hogan, A.\u00a0Harth, A.\u00a0Passant, S.\u00a0Decker and A.\u00a0Polleres, Weaving the pedantic Web, in: 3rd International Workshop on Linked Data on the Web, C.\u00a0Bizer, T.\u00a0Heath, T.\u00a0Berners-Lee and M.\u00a0Hausenblas, eds, CEUR Workshop Proceedings, Vol.\u00a0628, CEUR-WS.org, 2010."},{"key":"10.3233\/SW-200384_ref48","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.websem.2012.02.001","article-title":"An empirical survey of linked data conformance","volume":"14","author":"Hogan","year":"2012","journal-title":"Journal of Web Semantics"},{"key":"10.3233\/SW-200384_ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88737-9_1"},{"key":"10.3233\/SW-200384_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/11580072_3"},{"issue":"4","key":"10.3233\/SW-200384_ref52","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","article-title":"Logical foundations of object-oriented and frame-based languages","volume":"42","author":"Kifer","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.3233\/SW-200384_ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2566486.2568002"},{"key":"10.3233\/SW-200384_ref58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/s00786ed1v01y201707wbe016","volume-title":"Validating RDF Data","author":"Labra Gayo","year":"2017"},{"key":"10.3233\/SW-200384_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/2320765.2320803"},{"issue":"2","key":"10.3233\/SW-200384_ref62","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1016\/j.websem.2009.02.001","article-title":"Bridging the gap between OWL and relational databases","volume":"7","author":"Motik","year":"2009","journal-title":"Journal of Web Semantics"},{"issue":"4","key":"10.3233\/SW-200384_ref63","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/2757001.2757003","article-title":"The Prot\u00e9g\u00e9 Project: A look back and a look forward","volume":"1","author":"Musen","year":"2015","journal-title":"AI Matters"},{"key":"10.3233\/SW-200384_ref65","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/s10817-017-9406-8","article-title":"The OWL reasoner evaluation (ORE) 2015 competition report","volume":"59","author":"Parsia","year":"2017","journal-title":"Journal of Automated Reasoning"},{"key":"10.3233\/SW-200384_ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23032-5_6"},{"key":"10.3233\/SW-200384_ref67","doi-asserted-by":"crossref","unstructured":"P.F.\u00a0Patel-Schneider, Using description logics for RDF constraint checking and closed-world recognition, in: Proceedings of the 29th AAAI Conference on Artificial Intelligence, B.\u00a0Bonet and S.\u00a0Koenig, eds, AAAI Press, 2015, pp.\u00a0247\u2013253.","DOI":"10.1609\/aaai.v29i1.9177"},{"key":"10.3233\/SW-200384_ref69","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.aei.2017.05.001","article-title":"A performance benchmark over semantic rule checking approaches in construction industry","volume":"33","author":"Pauwels","year":"2017","journal-title":"Advanced Engineering Informatics"},{"key":"10.3233\/SW-200384_ref70","unstructured":"P.\u00a0Pauwels and S.\u00a0Zhang, Semantic rule-checking for regulation compliance checking: An overview of strategies and approaches, in: Proceedings of the 32rd International CIB W78 Conference, J.\u00a0Beetz, L.\u00a0van Berlo, T.\u00a0Hartmann and R.\u00a0Amor, eds, 2015."},{"key":"10.3233\/SW-200384_ref72","doi-asserted-by":"publisher","DOI":"10.1007\/11762256_26"},{"key":"10.3233\/SW-200384_ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2660517.2660523"},{"issue":"1","key":"10.3233\/SW-200384_ref75","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/sw-170267","article-title":"A comprehensive quality model for linked data","volume":"9","author":"Radulovic","year":"2017","journal-title":"Semantic Web Journal"},{"key":"10.3233\/SW-200384_ref76","unstructured":"A.G.\u00a0Ryman, A.J.\u00a0Le Hors and S.\u00a0Speicher, OSLC resource shape: A language for defining constraints on linked data, in: Proceedings of the WWW2013 Workshop on Linked Data on the Web, C.\u00a0Bizer, T.\u00a0Heath, T.\u00a0Berners-Lee, M.\u00a0Hausenblas and S.\u00a0Auer, eds, CEUR Workshop Proceedings, Vol.\u00a0996, CEUR-WS.org, 2013."},{"key":"10.3233\/SW-200384_ref78","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICDT.2015.195"},{"key":"10.3233\/SW-200384_ref79","doi-asserted-by":"crossref","unstructured":"J.\u00a0Tao, E.\u00a0Sirin, J.\u00a0Bao and D.L.\u00a0McGuinness, Integrity constraints in OWL, in: Proceedings of the 24th AAAI Conference on Artificial Intelligence, M.\u00a0Fox and D.\u00a0Poole, eds, AAAI Press, Menlo Park, CA, 2010, pp.\u00a01443\u20131448.","DOI":"10.1609\/aaai.v24i1.7525"},{"key":"10.3233\/SW-200384_ref80","unstructured":"M.\u00a0Thomazo, Compact rewritings for existential rules, in: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), F.\u00a0Rossi, ed., AAAI Press, Menlo Park, CA, 2013, pp.\u00a01125\u20131131."},{"key":"10.3233\/SW-200384_ref81","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58274-0_28"},{"key":"10.3233\/SW-200384_ref82","doi-asserted-by":"publisher","DOI":"10.15439\/2018f102"},{"issue":"1","key":"10.3233\/SW-200384_ref83","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068416000016","article-title":"The pragmatic proof: Hypermedia API composition and execution","volume":"17","author":"Verborgh","year":"2017","journal-title":"Theory and Practice of Logic Programming"},{"issue":"5","key":"10.3233\/SW-200384_ref84","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MS.2015.63","article-title":"Drawing conclusions from linked data on the Web: The EYE reasoner","volume":"32","author":"Verborgh","year":"2015","journal-title":"IEEE Software"},{"key":"10.3233\/SW-200384_ref85","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/6741418"},{"issue":"1","key":"10.3233\/SW-200384_ref86","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3233\/SW-150175","article-title":"Quality assessment for linked data: A survey","volume":"7","author":"Zaveri","year":"2015","journal-title":"Semantic Web Journal"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-200384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:24:54Z","timestamp":1777613094000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-200384"}},"subtitle":[],"editor":[{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[{"name":"Vienna University of Economics and Business, Austria"}],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2020,11,19]]},"references-count":60,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/sw-200384","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"value":"2210-4968","type":"electronic"},{"value":"1570-0844","type":"print"}],"subject":[],"published":{"date-parts":[[2020,11,19]]}}}