{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:48:47Z","timestamp":1649162927256},"reference-count":12,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.3166\/jancl.21.233-255","type":"journal-article","created":{"date-parts":[[2011,8,2]],"date-time":"2011-08-02T03:37:46Z","timestamp":1312256266000},"page":"233-255","source":"Crossref","is-referenced-by-count":0,"title":["<i>KALC<\/i>: a constructive semantics for <i>ALC<\/i>"],"prefix":"10.1080","volume":"21","author":[{"given":"Paola","family":"Villa","sequence":"first","affiliation":[{"name":"a   European Commission Joint Research Centre , Institute for the Protection of the Citizen , Maritime Affair Unit, Via Enrico Fermi 2749,  21027 ,  Ispra(VA) ,  Italy"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.013"},{"key":"CIT0002","volume-title":"2008 International Workshop on Description Logics, volume 353 of CEUR Proceedings","author":"Bozzato L."},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9160-7"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.1.63"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9151-8"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.1.145"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3598-8_11"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2007.06.001"},{"key":"CIT0011","volume-title":"Constructive description logics: what, why and how","author":"de Paiva V.","year":"2003"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0066739"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.21.233-255","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T07:18:59Z","timestamp":1498202339000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.21.233-255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":12,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.3166\/jancl.21.233-255"],"URL":"https:\/\/doi.org\/10.3166\/jancl.21.233-255","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}