{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:36:46Z","timestamp":1762101406845,"version":"3.40.3"},"publisher-location":"Heidelberg","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319002927"},{"type":"electronic","value":"9783319002934"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-00293-4_25","type":"book-chapter","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T11:27:27Z","timestamp":1363951647000},"page":"331-342","source":"Crossref","is-referenced-by-count":4,"title":["A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Farsiniamarj, N.: Combining integer programming and tableau-based reasoning: a hybrid calculus for the description logic SHQ. Master\u2019s thesis, Concordia University (2008)"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-02716-1_16","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"R. Gor\u00e9","year":"2009","unstructured":"Gor\u00e9, R., Widmann, F.: Sound global state caching for ALC with inverse roles. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol.\u00a05607, pp. 205\u2013219. Springer, Heidelberg (2009)"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1007\/10721959_39","volume-title":"Automated Deduction - CADE-17","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: McAllester, D. (ed.) CADE-17. LNCS, vol.\u00a01831, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"issue":"1-3","key":"25_CR4","doi-asserted-by":"crossref","first-page":"273","DOI":"10.3233\/FI-2009-0102","volume":"93","author":"L.A. Nguyen","year":"2009","unstructured":"Nguyen, L.A.: An efficient tableau prover using global caching for the description logic $\\mathcal{ALC}$. Fundamenta Informaticae\u00a093(1-3), 273\u2013288 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"572","DOI":"10.1007\/978-3-642-23935-9_56","volume-title":"Computational Collective Intelligence. Technologies and Applications","author":"L.A. Nguyen","year":"2011","unstructured":"Nguyen, L.A.: A cut-free ExpTime tableau decision procedure for the description logic SHI. In: J\u0119drzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part I. LNCS, vol.\u00a06922, pp. 572\u2013581. Springer, Heidelberg (2011), \n                      http:\/\/arxiv.org\/abs\/1106.2305"},{"key":"25_CR6","unstructured":"Nguyen, L.A.: Exptime tableaux for the description logic SHIQ based on global state caching and integer linear feasibility checking. arXiv:1205.5838 (2012)"},{"key":"25_CR7","unstructured":"Tobies, S.: Complexity results and practical algorithms for logics in knowledge representation. PhD thesis, RWTH-Aachen (2001)"}],"container-title":["Studies in Computational Intelligence","Advanced Computational Methods for Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-00293-4_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T15:07:44Z","timestamp":1683817664000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-00293-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319002927","9783319002934"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-00293-4_25","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2013]]}}}