{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:04Z","timestamp":1750306924210,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T00:00:00Z","timestamp":1358812800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,1,22]]},"DOI":"10.1145\/2429376.2429380","type":"proceedings-article","created":{"date-parts":[[2013,1,22]],"date-time":"2013-01-22T15:29:29Z","timestamp":1358868569000},"page":"11-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Incompleteness-aware programming with RDF data"],"prefix":"10.1145","author":[{"given":"Stefan","family":"Scheglmann","sequence":"first","affiliation":[{"name":"University of Koblenz-Landau, Koblenz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerd","family":"Groener","sequence":"additional","affiliation":[{"name":"University of Koblenz-Landau, Koblenz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Staab","sequence":"additional","affiliation":[{"name":"University of Koblenz-Landau, Koblenz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[{"name":"University of Koblenz-Landau, Koblenz, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_13"},{"key":"e_1_3_2_1_2_1","first-page":"282","volume-title":"Proceedings: 4th International Conference on Computer Languages","author":"Bracha G.","year":"1992","unstructured":"G. Bracha and G. Lindstrom . Modularity Meets Inheritance . In Proceedings: 4th International Conference on Computer Languages , pages 282 -- 290 . IEEE Computer Society Press , 1992 . G. Bracha and G. Lindstrom. Modularity Meets Inheritance. In Proceedings: 4th International Conference on Computer Languages, pages 282--290. IEEE Computer Society Press, 1992."},{"key":"e_1_3_2_1_3_1","volume-title":"A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96--3","author":"Gaster B.","year":"1996","unstructured":"B. Gaster and M. Jones . A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96--3 , University of Nottingham , Department of Computer Science, Nov. 1996 . B. Gaster and M. Jones. A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96--3, University of Nottingham, Department of Computer Science, Nov. 1996."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449771"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317797"},{"key":"e_1_3_2_1_7_1","volume-title":"Calif.}, 1. ed. edition","author":"Heath T.","year":"2011","unstructured":"T. Heath and C. Bizer . phLinked data: Evolving the web into a global data space. Morgan & Claypool, {San Rafael , Calif.}, 1. ed. edition , 2011 . ISBN 1608454304. URL http:\/\/linkeddatabook.com\/editions\/1.0\/. T. Heath and C. Bizer. phLinked data: Evolving the web into a global data space. Morgan & Claypool, {San Rafael, Calif.}, 1. ed. edition, 2011. ISBN 1608454304. URL http:\/\/linkeddatabook.com\/editions\/1.0\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1412401.1412405"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.06.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643621"},{"key":"e_1_3_2_1_13_1","first-page":"491","volume-title":"Object Invariants in Dynamic Contexts. In ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14--18, 2004, Proceedings","volume":"3086","author":"Leino K. R. M.","year":"2004","unstructured":"K. R. M. Leino and P. M\u00fcller . Object Invariants in Dynamic Contexts. In ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14--18, 2004, Proceedings , volume 3086 of LNCS, pages 491 -- 516 . Springer , 2004 . K. R. M. Leino and P. M\u00fcller. Object Invariants in Dynamic Contexts. In ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14--18, 2004, Proceedings, volume 3086 of LNCS, pages 491--516. Springer, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/973097.973102"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297078"},{"key":"e_1_3_2_1_16_1","first-page":"315","volume-title":"ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II","volume":"6644","author":"Paar A.","year":"2011","unstructured":"A. Paar and D. Vrandecic . Zhi# - OWL Aware Compilation. In The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference , ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II , volume 6644 of LNCS, pages 315 -- 329 . Springer , 2011 . A. Paar and D. Vrandecic. Zhi# - OWL Aware Compilation. In The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II, volume 6644 of LNCS, pages 315--329. Springer, 2011."},{"key":"e_1_3_2_1_17_1","volume-title":"Property-based Typing for RDF Data. In PSW 2012, First Workshop on Programming the Semantic Web","author":"Scheglmann S.","year":"2012","unstructured":"S. Scheglmann and G. Groener . Property-based Typing for RDF Data. In PSW 2012, First Workshop on Programming the Semantic Web , Boston, Massachusetts, November 11th , 2012 , 2012. S. Scheglmann and G. Groener. Property-based Typing for RDF Data. In PSW 2012, First Workshop on Programming the Semantic Web, Boston, Massachusetts, November 11th, 2012, 2012."},{"key":"e_1_3_2_1_18_1","first-page":"199","volume-title":"Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings","volume":"6142","author":"Syriani E.","year":"2010","unstructured":"E. Syriani , J. Kienzle , and H. Vangheluwe . Exceptional Transformations. In Theory and Practice of Model Transformations , Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings , volume 6142 of LNCS, pages 199 -- 214 . Springer , 2010 . E. Syriani, J. Kienzle, and H. Vangheluwe. Exceptional Transformations. In Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings, volume 6142 of LNCS, pages 199--214. Springer, 2010."}],"event":{"name":"POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Rome Italy","acronym":"POPL '13"},"container-title":["Proceedings of the 2013 workshop on Data driven functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429376.2429380","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2429376.2429380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:35:25Z","timestamp":1750235725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2429376.2429380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,22]]},"references-count":17,"alternative-id":["10.1145\/2429376.2429380","10.1145\/2429376"],"URL":"https:\/\/doi.org\/10.1145\/2429376.2429380","relation":{},"subject":[],"published":{"date-parts":[[2013,1,22]]},"assertion":[{"value":"2013-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}