{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:55:30Z","timestamp":1742986530982,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642021206"},{"type":"electronic","value":"9783642021213"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02121-3_29","type":"book-chapter","created":{"date-parts":[[2009,5,20]],"date-time":"2009-05-20T06:58:54Z","timestamp":1242802734000},"page":"368-383","source":"Crossref","is-referenced-by-count":1,"title":["Decidability of $\\mathcal{SHI}$ with Transitive Closure of Roles"],"prefix":"10.1007","author":[{"given":"Chan","family":"Le Duc","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Ullman, J.D.: Universality of data retrieval languages. In: Proceedings of the 6th of ACM on Principles of Programming Language (1979)","DOI":"10.1145\/567752.567763"},{"key":"29_CR2","unstructured":"Baader, F.: Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (1991)"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/10722086_1","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2000","unstructured":"Baader, F., Sattler, U.: Tableau algorithms for description logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS(LNAI), vol.\u00a01847, p. 118. Springer, Heidelberg (2000)"},{"key":"29_CR4","unstructured":"de Giacomo, G., Lenzerini, M.: Boosting the correspondence between description logics and propositional dynamic logics. In: Proceedings of the 12th National conference on Artificial Intelligence, pp. 205\u2013212 (1994)"},{"key":"29_CR5","unstructured":"de Giacomo, G., Lenzerini, M.: What\u2019s in an aggregate: Foundations for description logics with tuples and sets. In: Proceedings of the Fourteenth International Joint Conference On Intelligence Artificial 1995 (IJCAI 1995) (1995)"},{"key":"29_CR6","unstructured":"de Giacomo, G., Massacci, F.: Combining deduction and model checking into tableaux and algorithms for converse-PDL. Information and Computation (1) (1998)"},{"issue":"3","key":"29_CR7","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for \n                      \n                        \n                      \n                      $\\mathcal{SHOIQ}$\n                    . Journal Of Automated Reasoning\u00a039(3), 249\u2013276 (2007)","journal-title":"Journal Of Automated Reasoning"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705. Springer, Heidelberg (1999)"},{"key":"29_CR9","unstructured":"ISO. Standard ISO 8807: LOTOS, a formal description technique based on temporal ordering of observational behaviour (1988)"},{"key":"29_CR10","unstructured":"Patel-Schneider, P., Hayes, P., Horrocks, I.: OWL web ontology language semantics and abstract syntax. W3C Recommendation (2004)"},{"key":"29_CR11","first-page":"199","volume-title":"Proceedings of the 20th German Annual Conf. on Artificial Intelligence (KI 2001)","author":"U. Sattler","year":"2001","unstructured":"Sattler, U.: A concept language extended with different kinds of transitive roles. In: Proceedings of the 20th German Annual Conf. on Artificial Intelligence (KI 2001), vol.\u00a01137, pp. 199\u2013204. Springer, Heidelberg (2001)"},{"key":"29_CR12","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S. Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Journal of Artificial Intelligence Research\u00a012, 199\u2013217 (2000)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02121-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T01:24:06Z","timestamp":1552008246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02121-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642021206","9783642021213"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02121-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}