{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:02:00Z","timestamp":1742965320923,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031724060"},{"type":"electronic","value":"9783031724077"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-72407-7_15","type":"book-chapter","created":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T06:02:51Z","timestamp":1726293771000},"page":"200-216","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["RDF Surfaces as\u00a0a\u00a0First-Order Language for\u00a0the\u00a0Semantic Web"],"prefix":"10.1007","author":[{"given":"D\u00f6rthe","family":"Arndt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos","family":"De Roo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Hochstenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebekka","family":"Martens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Femke","family":"Ongenae","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathijs","family":"van Noort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F Baader","year":"2007","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2007)"},{"issue":"3","key":"15_CR2","doi-asserted-by":"publisher","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. Log. Program. 8(3), 249\u2013269 (2008). https:\/\/doi.org\/10.1017\/S1471068407003213","journal-title":"Theory Pract. Log. Program."},{"key":"15_CR3","unstructured":"Bock, C., et al.: OWL\u00a02 web ontology language. W3C Recommendation (2012). http:\/\/www.w3.org\/TR\/owl2-syntax\/"},{"key":"15_CR4","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":"15_CR5","unstructured":"Cyganiak, R., Wood, D., Lanthaler, M.: RDF 1.1 concepts and abstract syntax. http:\/\/www.w3.org\/TR\/2014\/REC-rdf11-concepts-20140225\/"},{"key":"15_CR6","unstructured":"Cyganiak, R., Wood, D., Lanthaler, M.: RDF\u00a01.1: concepts and abstract syntax (2014). http:\/\/www.w3.org\/TR\/2014\/REC-rdf11-concepts-20140225\/"},{"key":"15_CR7","unstructured":"De Roo, J.: Euler yet another proof Engine - EYE. https:\/\/josd.github.io\/eye\/"},{"key":"15_CR8","unstructured":"De\u00a0Roo, J., Hochstenbach, P., Arndt, D.: RDF surfaces tests (2024). https:\/\/github.com\/eyereasoner\/rdfsurfaces-tests"},{"key":"15_CR9","unstructured":"Ebbinghaus, H., Flum, J., Thomas, W.: Mathematical Logic. Undergraduate Texts in Mathematics. Springer, New York (1996). https:\/\/books.google.de\/books?id=VYLA8m7cqYcC"},{"key":"15_CR10","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"2001","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Elsevier, Amsterdam (2001)"},{"key":"15_CR11","unstructured":"Harris, S., Seaborne, A.: SPARQL 1.1 query language. W3C recommendation, W3C (2013). https:\/\/www.w3.org\/TR\/2013\/REC-sparql11-query-20130321\/"},{"key":"15_CR12","unstructured":"Hayes, P.: BLOGIC (2009). https:\/\/de.slideshare.net\/PatHayes\/blogic-iswc-2009-invited-talk. ISWC 2009 invited talk"},{"key":"15_CR13","unstructured":"Hayes, P., Patel-Schneider, P.F.: RDF 1.1 semantics. W3C Recommendation (2014). https:\/\/www.w3.org\/TR\/rdf11-mt\/"},{"key":"15_CR14","unstructured":"Hochstenbach, P.: Latar. https:\/\/github.com\/phochste\/Latar, https:\/\/github.com\/phochste\/Latar"},{"key":"15_CR15","unstructured":"Hochstenbach, P., De\u00a0Roo, J.: RDF surfaces primer (2023). https:\/\/w3c-cg.github.io\/rdfsurfaces\/"},{"key":"15_CR16","unstructured":"Hochstenbach, P., De\u00a0Roo, J., Verborgh, R.: RDF surfaces: computer says no. In: Proceedings of the 1st Workshop on Trusting Decentralised Knowledge Graphs and Web Data (2023). https:\/\/arxiv.org\/pdf\/2305.08476.pdf"},{"key":"15_CR17","unstructured":"Hochstenbach, P., et al.: RDF surfaces: enabling classic negation on the semantic web (2024), https:\/\/arxiv.org\/pdf\/2406.10659. Submitted to Semantic Web Journal"},{"key":"15_CR18","unstructured":"Horrocks, I., et\u00a0al.: SWRL: a semantic web rule language combining OWL and RuleML. W3C Mem. Submission 21(79), 1\u201331 (2004)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39799-8_1","volume-title":"Computer Aided Verification","author":"L Kov\u00e1cs","year":"2013","unstructured":"Kov\u00e1cs, L., Voronkov, A.: First-order theorem proving and Vampire. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 1\u201335. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_1"},{"key":"15_CR20","unstructured":"Motik, B., Patel-Schneider, P.F., Cuence\u00a0Grau, B.: OWL 2 web ontology language direct semantics. W3C Recommendation (2012). https:\/\/www.w3.org\/TR\/owl2-direct-semantics\/"},{"key":"15_CR21","unstructured":"Schneider, M.: OWL 2 web ontology language RDF-based semantics. W3C Recommendation (2012). https:\/\/www.w3.org\/TR\/owl2-rdf-based-semantics\/"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-642-22438-6_35","volume-title":"Automated Deduction \u2013 CADE-23","author":"M Schneider","year":"2011","unstructured":"Schneider, M., Sutcliffe, G.: Reasoning in the OWL 2 full ontology language using first-order automated theorem proving. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 461\u2013475. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22438-6_35"},{"key":"15_CR23","unstructured":"Sowa, J.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks\/Cole (2000)"},{"issue":"5","key":"15_CR24","first-page":"987","volume":"5","author":"J Sowa","year":"2018","unstructured":"Sowa, J.: Reasoning with diagrams and images: observation and imagination as rules of inference. J. Appl. Log. 5(5), 987 (2018)","journal-title":"J. Appl. Log."},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0. J. Autom. Reason. 59(4), 483\u2013502 (2017)","DOI":"10.1007\/s10817-017-9407-7"},{"key":"15_CR26","unstructured":"Sutcliffe, G.: The CADE ATP system competition. https:\/\/tptp.org\/CASC\/ (2024)"},{"key":"15_CR27","unstructured":"Van\u00a0Herwegen, J.: Tension.js. https:\/\/github.com\/joachimvh\/tension.js,https:\/\/github.com\/joachimvh\/tension.js"},{"key":"15_CR28","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":"15_CR29","unstructured":"W3C OWL Working Group: owl 2 Web Ontology Language. w3c Recommendation (2012). https:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"15_CR30","unstructured":"Woensel, W.V., Arndt, D., Champin, P.A., Tomaszuk, D., Kellogg, G.: Notation3 language (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-72407-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,11]],"date-time":"2024-11-11T11:04:47Z","timestamp":1731323087000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72407-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031724060","9783031724077"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72407-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 September 2024","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":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2024.declarativeai.net\/events\/ruleml-rr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}