{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:44:11Z","timestamp":1725565451502},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156748"},{"type":"electronic","value":"9783642156755"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15675-5_7","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T04:07:17Z","timestamp":1284350837000},"page":"51-63","source":"Crossref","is-referenced-by-count":2,"title":["A Decidable Constructive Description Logic"],"prefix":"10.1007","author":[{"given":"Loris","family":"Bozzato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camillo","family":"Fiorentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Fiorino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1093\/jigpal\/7.4.447","volume":"7","author":"A. Avellone","year":"1999","unstructured":"Avellone, A., Ferrari, M., Miglioli, P.: Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics. Logic J. of the IGPL\u00a07(4), 447\u2013480 (1999)","journal-title":"Logic J. of the IGPL"},{"key":"7_CR2","unstructured":"Baader, F., Nutt, W.: Basic description logics. In: [7], pp. 43\u201395"},{"key":"7_CR3","unstructured":"Bozzato, L., Ferrari, M., Fiorentini, C., Fiorino, G.: A constructive semantics for $\\mathcal{ALC}$ . In: Calvanese, D., et al. (eds.) 2007 International Workshop on Description Logics. CEUR Proceedings, vol.\u00a0250, pp. 219\u2013226 (2007)"},{"key":"7_CR4","unstructured":"Bozzato, L., Ferrari, M., Villa, P.: Actions over a constructive semantics for $\\mathcal{ALC}$ . In: Baader, F., et al. (eds.) 2008 International Workshop on Description Logics. CEUR Proceedings, vol.\u00a0353 (2008)"},{"key":"7_CR5","unstructured":"Bozzato, L., Ferrari, M., Villa, P.: A note on constructive semantics for description logics. In: 24-esimo Convegno Italiano di Logica Computazionale (2009), http:\/\/www.ing.unife.it\/eventi\/cilc09\/accepted.shtml"},{"key":"7_CR6","unstructured":"de Paiva, V.: Constructive description logics: what, why and how. Technical report, Xerox Parc (2003)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"7_CR7","unstructured":"Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10817-009-9160-7","volume":"44","author":"M. Ferrari","year":"2010","unstructured":"Ferrari, M., Fiorentini, C., Fiorino, G.: BCDL: Basic Constructive Description Logic. J. of Automated Reasoning\u00a044(4), 371\u2013399 (2010)","journal-title":"J. of Automated Reasoning"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Fitting, M.C.: Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrechtz (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"7_CR10","series-title":"Studies in logic and the foundations of mathematics","volume-title":"Many-dimensional modal logics: theory and applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. Studies in logic and the foundations of mathematics. North-Holland, Amsterdam (2003)"},{"issue":"3","key":"7_CR11","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic J. of the IGPL\u00a08(3), 239\u2013264 (2000)","journal-title":"Logic J. of the IGPL"},{"key":"7_CR12","unstructured":"Kaneiwa, K.: Negations in description logic - contraries, contradictories, and subcontraries. In: Proc. of the 13th International Conference on Conceptual Structures (ICCS 2005), pp. 66\u201379. Kassel University Press (2005)"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s10817-009-9151-8","volume":"44","author":"M. Mendler","year":"2010","unstructured":"Mendler, M., Scheele, S.: Towards Constructive DL for Abstraction and Refinement. J. of Automated Reasoning\u00a044(3), 207\u2013243 (2010)","journal-title":"J. of Automated Reasoning"},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/j.jal.2007.06.001","volume":"6","author":"S.P. Odintsov","year":"2008","unstructured":"Odintsov, S.P., Wansing, H.: Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C . J. of Applied Logic\u00a06(3), 343\u2013360 (2008)","journal-title":"J. of Applied Logic"},{"key":"7_CR15","unstructured":"Simpson, A.K.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, University of Edinburgh (1994)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15675-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T16:44:29Z","timestamp":1559666669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15675-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156748","9783642156755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15675-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}