{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T06:25:51Z","timestamp":1748845551149,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031450716"},{"type":"electronic","value":"9783031450723"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45072-3_5","type":"book-chapter","created":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:01:34Z","timestamp":1697281294000},"page":"70-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Notation3 as\u00a0an\u00a0Existential Rule Language"],"prefix":"10.1007","author":[{"given":"D\u00f6rthe","family":"Arndt","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Mennicke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,15]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"100501","DOI":"10.1016\/j.websem.2019.04.001","volume":"58","author":"D Arndt","year":"2019","unstructured":"Arndt, D., Schrijvers, T., De Roo, J., Verborgh, R.: Implicit quantification made explicit: How to interpret blank nodes and universal variables in Notation3 Logic. J. Web Semant. 58, 100501 (2019). https:\/\/doi.org\/10.1016\/j.websem.2019.04.001","journal-title":"J. Web Semant."},{"key":"5_CR2","unstructured":"Arndt, D., Champin, P.A.: Notation3 semantics. W3C community group report, W3C, July 2023. https:\/\/w3c.github.io\/N3\/reports\/20230703\/semantics.html"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Arndt, D., Mennicke, S.: Notation3 as an existential rule language. CoRR abs\/2308.07332 (2023)","DOI":"10.1007\/978-3-031-45072-3_5"},{"key":"5_CR4","unstructured":"Arndt, D.: Notation3 as the unifying logic for the semantic web. Ph.D. thesis, Ghent University (2019)"},{"issue":"9\u201310","key":"5_CR5","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.artint.2011.03.002","volume":"175","author":"JF Baget","year":"2011","unstructured":"Baget, J.F., Lecl\u00e8re, M., Mugnier, M.L., Salvat, E.: On rules with existential variables: Walking the decidability line. Artif. Intell. 175(9\u201310), 1620\u20131654 (2011)","journal-title":"Artif. Intell."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Benedikt, M., et al. (eds.) Proc. 36th Symposium on Principles of Database Systems (PODS 2017), pp. 37\u201352. ACM (2017)","DOI":"10.1145\/3034786.3034796"},{"key":"5_CR7","unstructured":"Berners-Lee, T.: cwm (2000\u20132009). http:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html"},{"key":"5_CR8","unstructured":"Berners-Lee, T., Connolly, D.: Notation3 ($$ {n}_3$$): a readable RDF syntax. $$ {w}_{3}C$$ Team Submission, March 2011. http:\/\/www.w3.org\/TeamSubmission\/n3\/"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1017\/S1471068407003213","volume":"3","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. Theor. Pract. Logic Program. 3, 249\u2013269 (2008). https:\/\/doi.org\/10.1017\/S1471068407003213","journal-title":"Theor. Pract. Logic Program."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-42019-6_2","volume-title":"Rule Technologies. Research, Tools, and Applications","author":"H Boley","year":"2016","unstructured":"Boley, H.: The RuleML knowledge-interoperation hub. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 19\u201333. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42019-6_2"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-04985-9_7","volume-title":"Rule Interchange and Applications","author":"H Boley","year":"2009","unstructured":"Boley, H., Osmun, T.M., Craig, B.L.: WellnessRules: a web 3.0 case study in RuleML-based prolog-n3 profile interoperation. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 43\u201352. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04985-9_7"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Bonte, P., Ongenae, F.: Roxi: a framework for reactive reasoning. In: ESWC2023, the First International Workshop on Semantic Web on Constrained Things (2023)","DOI":"10.1007\/978-3-031-43458-7_30"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-76298-0_7","volume-title":"The Semantic Web","author":"J de Bruijn","year":"2007","unstructured":"de Bruijn, J., Heymans, S.: Logical foundations of (e)RDF(S): complexity and reasoning. In: Aberer, K., et al. (eds.) ASWC\/ISWC -2007. LNCS, vol. 4825, pp. 86\u201399. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76298-0_7"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15918-3_1","volume-title":"Web Reasoning and Rule Systems","author":"A Cal\u00ec","year":"2010","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: query answering under non-guarded rules in datalog+\/-. In: Hitzler, P., Lukasiewicz, T. (eds.) RR 2010. LNCS, vol. 6333, pp. 1\u201317. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15918-3_1"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-30796-7_2","volume-title":"The Semantic Web \u2013 ISWC 2019","author":"D Carral","year":"2019","unstructured":"Carral, D., Dragoste, I., Gonz\u00e1lez, L., Jacobs, C., Kr\u00f6tzsch, M., Urbani, J.: VLog: a rule engine for knowledge graphs. In: Ghidini, C., et al. (eds.) ISWC 2019. LNCS, vol. 11779, pp. 19\u201335. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30796-7_2"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Carral, D., Kr\u00f6tzsch, M.: Rewriting the description logic ALCHIQ to disjunctive existential rules. In: Bessiere, C. (ed.) Proceedings of the 29th International Joint Conference on Artificial Intelligence, IJCAI 2020, pp. 1777\u20131783. ijcai.org (2020)","DOI":"10.24963\/ijcai.2020\/246"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1613\/jair.3949","volume":"47","author":"B Cuenca Grau","year":"2013","unstructured":"Cuenca Grau, B., et al.: Acyclicity notions for existential rules and their application to query answering in ontologies. J. Artif. Intell. Res. 47, 741\u2013808 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.B.: The chase revisited. In: Lenzerini, M., Lembo, D. (eds.) Proceedings of 27th Symposium on Principles of Database Systems (PODS 2008), pp. 149\u2013158. ACM (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Ebbinghaus, H.D., Flum, J., Thomas, W.: Semantics of First-Order Languages, pp. 27\u201357. Springer, New York (1994). https:\/\/doi.org\/10.1007\/978-1-4757-2355-7_3","DOI":"10.1007\/978-1-4757-2355-7_3"},{"issue":"6","key":"5_CR20","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1017\/S1471068420000204","volume":"20","author":"A Fiorentino","year":"2020","unstructured":"Fiorentino, A., Zangari, J., Manna, M.: DaRLing: a datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. Theor. Pract. Logic Program. 20(6), 958\u2013973 (2020)","journal-title":"Theor. Pract. Logic Program."},{"key":"5_CR21","unstructured":"Harth, A., K\u00e4fer, T.: Rule-based programming of user agents for linked data. In: Proceedings of the 11th International Workshop on Linked Data on the Web at the Web Conference (27th WWW), CEUR-WS, April 2018"},{"key":"5_CR22","unstructured":"Hayes, P. (ed.): RDF semantics. W3C Recommendation, 10 February 2004. http:\/\/www.w3.org\/TR\/rdf-mt\/"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Ivliev, A., Ellmauthaler, S., Gerlach, L., Marx, M., Mei\u00dfner, M., Meusel, S., Kr\u00f6tzsch, M.: Nemo: First glimpse of a new rule engine. In: 39th on Logic Programming, ICLP 2023 Technical Communications. EPTCS (to appear)","DOI":"10.4204\/EPTCS.385.35"},{"key":"5_CR24","unstructured":"Kr\u00f6tzsch, M., Mehdi, A., Rudolph, S.: Orel: database-driven reasoning for OWL 2 profiles. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proc. 23rd Int. Workshop on Description Logics (DL\u201910). CEUR Workshop Proceedings, vol. 573, pp. 114\u2013124. CEUR-WS.org (2010)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Kr\u00f6tzsch, M., Marx, M., Rudolph, S.: The power of the terminating chase. In: Barcel\u00f3, P., Calautti, M. (eds.) Proceedings of 22nd International Conference on on Database Theory (ICDT 2019), LIPIcs, vol. 127, pp. 3:1\u20133:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2019)","DOI":"10.1109\/INMIC48123.2019.9022774"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068416000016","volume":"1","author":"R Verborgh","year":"2017","unstructured":"Verborgh, R., et al.: The pragmatic proof: hypermedia API composition and execution. Theor. Pract. Logic Program. 1, 1\u201348 (2017). https:\/\/doi.org\/10.1017\/S1471068416000016","journal-title":"Theor. Pract. Logic Program."},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MS.2015.63","volume":"5","author":"R Verborgh","year":"2015","unstructured":"Verborgh, R., De Roo, J.: Drawing conclusions from linked data on the web: the EYE reasoner. IEEE Softw. 5, 23\u201327 (2015). https:\/\/doi.org\/10.1109\/MS.2015.63","journal-title":"IEEE Softw."},{"key":"5_CR28","unstructured":"Woensel, W.V., Arndt, D., Champin, P.A., Tomaszuk, D., Kellogg, G.: Notation3 language, July 2023. https:\/\/w3c.github.io\/N3\/reports\/20230703\/"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45072-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T21:07:29Z","timestamp":1730322449000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45072-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031450716","9783031450723"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45072-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"15 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6 subreviewers were invited by the pc members and provided 7 reviews","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}