{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:25:41Z","timestamp":1743002741177,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319612515"},{"type":"electronic","value":"9783319612522"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-61252-2_3","type":"book-chapter","created":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T22:55:48Z","timestamp":1497308148000},"page":"22-36","source":"Crossref","is-referenced-by-count":8,"title":["Using Rule-Based Reasoning for RDF Validation"],"prefix":"10.1007","author":[{"given":"D\u00f6rthe","family":"Arndt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben De","family":"Meester","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasia","family":"Dimou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Verborgh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Mannens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,14]]},"reference":[{"key":"3_CR1","unstructured":"FuXi 1.4: A Python-based, bi-directional logical reasoning system for the semantic web. \nhttp:\/\/code.google.com\/p\/fuxi\/"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-319-21542-6_31","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"D Arndt","year":"2015","unstructured":"Arndt, D., et al.: Ontology reasoning using rules in an ehealth context. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 465\u2013472. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21542-6_31"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-33245-1_10","volume-title":"Ontology Engineering","author":"D Arndt","year":"2016","unstructured":"Arndt, D., et al.: Improving OWL RL reasoning in N3 by using specialized rules. In: Tamma, V., Dragoni, M., Gon\u00e7alves, R., \u0141awrynowicz, A. (eds.) OWLED 2015. LNCS, vol. 9557, pp. 93\u2013104. Springer, Cham (2016). doi:\n10.1007\/978-3-319-33245-1_10"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-21542-6_9","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"D Arndt","year":"2015","unstructured":"Arndt, D., Verborgh, R., Roo, J., Sun, H., Mannens, E., Walle, R.: Semantics of Notation3 logic: a solution for\u00a0implicit quantification. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 127\u2013143. Springer, Cham (2015). doi:\n10.1007\/978-3-319-21542-6_9"},{"key":"3_CR5","unstructured":"Berners-Lee, T.: cwm (2000\u20132009). \nhttp:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html"},{"issue":"3","key":"3_CR6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S1471068407003213","volume":"8","author":"T Berners-Lee","year":"2008","unstructured":"Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N3Logic: a logical framework for the world wide web. Theory Pract. Logic Programm. 8(3), 249\u2013269 (2008)","journal-title":"Theory Pract. Logic Programm."},{"key":"3_CR7","unstructured":"Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., Smith, M.: owl 2 Web Ontology Language. w3c Recommendation, December 2012. \nhttp:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"3_CR8","unstructured":"Bosch, T., Acar, E., Nolle, A., Eckert, K.: The role of reasoning for RDF validation. In: Proceedings of the 11th International Conference on Semantic Systems, pp. 33\u201340. SEMANTICS 2015, ACM, New York (2015). \nhttp:\/\/doi.acm.org\/10.1145\/2814864.2814867"},{"key":"3_CR9","unstructured":"Bosch, T., Nolle, A., Acar, E., Eckert, K.: RDF validation requirements-evaluation and logical underpinning. arXiv preprint \narXiv:1501.03933\n\n (2015)"},{"key":"3_CR10","unstructured":"Calvanese, D., Carroll, J., Di\u00a0Giacomo, G., Hendler, J., Herman, I., Parsia, B., Patel-Schneider, P.F., Ruttenberg, A., Sattler, U., Schneider, M.: owl 2 Web Ontology Language Profiles, 2nd edn. w3c Recommendation, December 2012. \nwww.w3.org\/TR\/owl2-profiles\/"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11853107_11","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"CV Dam\u00e1sio","year":"2006","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 149\u2013163. Springer, Heidelberg (2006). doi:\n10.1007\/11853107_11"},{"key":"3_CR12","unstructured":"Hartmann, T.: Validation Framework for RDF-based Constraint Languages. Ph.D. thesis, Dissertation, Karlsruhe, Karlsruher Institut f\u00fcr Technologie (KIT) 2016 (2016)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1108\/17415651111189469","volume":"8","author":"M Ketterl","year":"2011","unstructured":"Ketterl, M., Knipping, L., Ludwig, N., Mertens, R., Waitelonis, J., Ludwig, N., Knuth, M., Sack, H.: Whoknows? Evaluating linked data heuristics with a quiz that cleans up dbpedia. Interact. Technol. Smart Educ. 8(4), 236\u2013248 (2011)","journal-title":"Interact. Technol. Smart Educ."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546207_1","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Kifer","year":"2005","unstructured":"Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 1\u201312. Springer, Heidelberg (2005). doi:\n10.1007\/11546207_1"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-88808-6_1","volume-title":"Rule Representation, Interchange and Reasoning on the Web","author":"M Kifer","year":"2008","unstructured":"Kifer, M.: Rule interchange format: the framework. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 1\u20132. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-88808-6_1"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11580072_3","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M Kifer","year":"2005","unstructured":"Kifer, M., Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol. 3791, pp. 17\u201329. Springer, Heidelberg (2005). doi:\n10.1007\/11580072_3"},{"issue":"4","key":"3_CR17","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741\u2013843 (1995). \nhttp:\/\/doi.acm.org\/10.1145\/210332.210335","journal-title":"J. ACM"},{"key":"3_CR18","unstructured":"Knublauch, H., Hendler, J.A., Idehen, K.: SPIN \u2013 overview and motivation. Technical report, W3C, February 2011. \nhttps:\/\/www.w3.org\/Submission\/2011\/SUBM-spin-overview-20110222\/\n\n. Accessed 18 April 2016"},{"key":"3_CR19","unstructured":"Knublauch, H., Kontokostas, D.: Shapes constraint language (shacl). Technical report, W3C (2017). \nhttps:\/\/www.w3.org\/TR\/shacl\/\n\n. Accessed 3 March 2017"},{"key":"3_CR20","unstructured":"Kontokostas, D., Mader, C., Dirschl, C., Eck, K., Leuthold, M., Lehmann, J., Hellmann, S.: Semantically enhanced quality assurance in the jurion business use case. In: 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 2016, pp. 661\u2013676 (2016). \nhttp:\/\/svn.aksw.org\/papers\/2016\/ESWC_Jurion\/public.pdf"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Kontokostas, D., Westphal, P., Auer, S., Hellmann, S., Lehmann, J., Cornelissen, R., Zaveri, A.: Test-driven evaluation of linked data quality. In: Proceedings of the 23rd International Conference on World Wide Web, pp. 747\u2013758. ACM (2014)","DOI":"10.1145\/2566486.2568002"},{"key":"3_CR22","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Adding integrity constraints to OWL. In: OWLED, vol. 258 (2007)"},{"key":"3_CR23","unstructured":"Nilsson, M.: Description set profiles: a constraint language for dublin core application profiles. DCMI Working Draft (2008)"},{"key":"3_CR24","unstructured":"Polleres, A., Boley, H., Kifer, M.: RIF datatypes and built-ins 1.0, 2nd edn. w3c Recommendation, February 2013. \nhttps:\/\/www.w3.org\/TR\/rif-dtb\/"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/11762256_26","volume-title":"The Semantic Web: Research and Applications","author":"A Polleres","year":"2006","unstructured":"Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332\u2013347. Springer, Heidelberg (2006). doi:\n10.1007\/11762256_26"},{"key":"3_CR26","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: sparql Query Language for rdf. w3c Recommendation, January 2008. \nhttp:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-25010-6_23","volume-title":"The Semantic Web \u2013 ISWC 2015","author":"L Rietveld","year":"2015","unstructured":"Rietveld, L., Beek, W., Schlobach, S.: LOD lab: experiments at LOD scale. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 339\u2013355. Springer, Cham (2015). doi:\n10.1007\/978-3-319-25010-6_23"},{"key":"3_CR28","unstructured":"Ryman, A.: Resource shape 2.0. w3c member submission. In: World Wide Web Consortium, February 2014"},{"key":"3_CR29","unstructured":"Sirin, E., Tao, J.: Towards integrity constraints in OWL. In: Proceedings of the 6th International Conference on OWL: Experiences and Directions, vol. 529, pp. 79\u201388. OWLED 2009, CEUR-WS.org, Aachen, Germany, Germany (2009). \nhttp:\/\/dl.acm.org\/citation.cfm?id=2890046.2890055"},{"key":"3_CR30","unstructured":"Solbrig, H., Prud\u2019hommeaux, E.: Shape expressions 1.0 definition. w3c member submission. World Wide Web Consortium, June 2014"},{"key":"3_CR31","unstructured":"Tao, J.: Integrity constraints for the semantic web: an OWL 2 DL extension. Ph.D. thesis, Rensselaer Polytechnic Institute (2012)"},{"issue":"5","key":"3_CR32","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/MS.2015.63","volume":"32","author":"R Verborgh","year":"2015","unstructured":"Verborgh, R., De Roo, J.: Drawing conclusions from linked data on the web. IEEE Softw. 32(5), 23\u201327 (2015). \nhttp:\/\/online.qmags.com\/ISW0515?cid=3244717&eid=19361&pg=25","journal-title":"IEEE Softw."},{"issue":"1","key":"3_CR33","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3233\/SW-150175","volume":"7","author":"A Zaveri","year":"2015","unstructured":"Zaveri, A., Rula, A., Maurino, A., Pietrobon, R., Lehmann, J., Auer, S.: Quality assessment for linked data: a survey. Semant. Web 7(1), 63\u201393 (2015). \nhttp:\/\/www.semantic-web-journal.net\/system\/files\/swj556.pdf","journal-title":"Semant. Web"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61252-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T03:24:00Z","timestamp":1500434640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61252-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319612515","9783319612522"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61252-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}