{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:27:59Z","timestamp":1742956079869,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319215419"},{"type":"electronic","value":"9783319215426"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21542-6_9","type":"book-chapter","created":{"date-parts":[[2015,7,11]],"date-time":"2015-07-11T10:59:32Z","timestamp":1436612372000},"page":"127-143","update-policy":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Semantics of Notation3 Logic: A Solution for\u00a0Implicit Quantification"],"prefix":"10.1007","author":[{"given":"D\u00f6rthe","family":"Arndt","sequence":"first","affiliation":[]},{"given":"Ruben","family":"Verborgh","sequence":"additional","affiliation":[]},{"given":"Jos","family":"De Roo","sequence":"additional","affiliation":[]},{"given":"Hong","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Mannens","sequence":"additional","affiliation":[]},{"given":"Rik","family":"Van De Walle","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,12]]},"reference":[{"key":"9_CR1","unstructured":"FuXi 1.4: A Python-based, bi-directional logical reasoning system for the semantic web. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/code.google.com\/p\/fuxi\/"},{"key":"9_CR2","unstructured":"Beckett, D., Berners-Lee, T., Prud\u2019hommeaux, E., Carothers, G.: Turtle - Terse RDF Triple Language. w\n                                        $$_3$$\n                                        c Recommendation, February 2014. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/TR\/turtle\/"},{"key":"9_CR3","unstructured":"Berners-Lee, T.: cwm (2000\u20132009). https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html"},{"key":"9_CR4","unstructured":"Berners-Lee, T.: Notation 3 logic (2005). https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/DesignIssues\/N3Logic"},{"key":"9_CR5","unstructured":"Berners Lee, T.: Re: Implicit quantification in n3. Public-cwm-talk (2015). https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/lists.w3.org\/Archives\/Public\/public-cwm-talk\/2015JanMar\/0001.html"},{"key":"9_CR6","unstructured":"Berners-Lee, T., Connolly, D.: Notation3 (n\n                                        $$_3$$): A readable RDF syntax. w\n                                        $$_3$$\n                                        c Team Submission, March 2011. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/TeamSubmission\/n3\/"},{"issue":"3","key":"9_CR7","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.: nthreelogic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming 8(3), 249\u2013269 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in PROLOG. Springer (1994)","DOI":"10.1007\/978-3-642-97596-7"},{"key":"9_CR9","unstructured":"Cyganiak, R., Wood, D., Lanthaler, M.: rdf 1.1: Concepts and Abstract Syntax. w\n                                        $$_3$$\n                                        c Recommendation, February 2014. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/TR\/2014\/REC-rdf11-concepts-20140225\/"},{"key":"9_CR10","unstructured":"De Roo, J.: Euler yet another proof engine, (1999\u20132014). https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/eulersharp.sourceforge.net\/"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Duerst, M., Suignard, M.: Internationalized Resource Identifiers (IRIs), January 2005. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.ietf.org\/rfc\/rfc3987.txt","DOI":"10.17487\/rfc3987"},{"key":"9_CR12","unstructured":"Hayes, P.J., Patel-Schneider, P.F.: rdf 1.1 Semantics. w\n                                        $$_3$$\n                                        c Recommendation, February 2014. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/TR\/2014\/REC-rdf11-mt-20140225\/"},{"key":"9_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer-Verlag New York Inc., Secaucus (1987)","edition":"2"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1567274.1567278","volume":"34","author":"J P\u00e9rez","year":"2009","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), 16:1\u201316:45 (2009). https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/doi.acm.org\/10.1145\/1567274.1567278","journal-title":"ACM Trans. Database Syst."},{"key":"9_CR15","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: sparql Query Language for rdf. w\n                                        $$_3$$\n                                        c Recommendation, January 2008. https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/www.w3.org\/TR\/rdf-sparql-query\/"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies: Foundations, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21542-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:48:44Z","timestamp":1676972924000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/link.springer.com\/10.1007\/978-3-319-21542-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319215419","9783319215426"],"references-count":15,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1007\/978-3-319-21542-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"12 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}