{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:53Z","timestamp":1750306733386,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"New Zealand Foundation for Research Science and Technology","award":["UOAX0903"],"award-info":[{"award-number":["UOAX0903"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661139","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"143-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Description Logic as Programming Language"],"prefix":"10.1145","author":[{"given":"James","family":"Skene","sequence":"first","affiliation":[{"name":"Auckland University of Technology, Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787.019"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013882326814"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1877714.1877717"},{"volume-title":"Inc.","year":"2003","author":"Frankel D.","key":"e_1_3_2_2_4_1"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/358668.358697"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775160"},{"volume-title":"The MIT Press","year":"2006","author":"Jackson D.","key":"e_1_3_2_2_7_1"},{"volume-title":"Addison Wesley","year":"1997","author":"Knuth D. E.","key":"e_1_3_2_2_8_1"},{"key":"e_1_3_2_2_9_1","first-page":"569","article-title":"Predicate logic as programming language","volume":"74","author":"Kowalski R.","year":"1974","journal-title":"Information Processing Letters"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985863"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/885746.885748"},{"key":"e_1_3_2_2_12_1","unstructured":"Object Constraint Language - OMG Available Specification - Version 2.0. The Object Management Group (OMG) formal\/2006-05-01 edition May 2005.  Object Constraint Language - OMG Available Specification - Version 2.0. The Object Management Group (OMG) formal\/2006-05-01 edition May 2005."},{"key":"e_1_3_2_2_13_1","unstructured":"OMG Unified Modeling Language (OMG UML) Super-structure - Version 2.4.1. The Object Management Group (OMG) formal\/2011-08-06 edition 2011.  OMG Unified Modeling Language (OMG UML) Super-structure - Version 2.4.1. The Object Management Group (OMG) formal\/2011-08-06 edition 2011."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/947955.1083808"},{"volume-title":"Massachusetts Institute of Technology","year":"2009","author":"Torlak E.","key":"e_1_3_2_2_15_1"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"P. van Emde Boas. Machine models and simulation. In J. van Leeuwen editor Handbook of Theoretical Computer Science Volume A: Algorithms and Complexity (A) pages 1--66. Elsevier 1990.   P. van Emde Boas. Machine models and simulation. In J. van Leeuwen editor Handbook of Theoretical Computer Science Volume A: Algorithms and Complexity (A) pages 1--66. Elsevier 1990.","DOI":"10.1016\/B978-0-444-88071-0.50006-0"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Portland Oregon USA","acronym":"SPLASH '14"},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":16,"alternative-id":["10.1145\/2661136.2661139","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661139","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}