{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:56:48Z","timestamp":1743101808298,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210334"},{"type":"electronic","value":"9783642210341"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21034-1_25","type":"book-chapter","created":{"date-parts":[[2011,5,7]],"date-time":"2011-05-07T00:18:16Z","timestamp":1304727496000},"page":"367-381","source":"Crossref","is-referenced-by-count":1,"title":["A Tableaux-Based Algorithm for $\\mathcal{SHIQ}$ with Transitive Closure of Roles in Concept and Role Inclusion Axioms"],"prefix":"10.1007","author":[{"given":"Chan","family":"Le Duc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myriam","family":"Lamolle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Cur\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Patel-Schneider, P., Hayes, P., Horrocks, I.: Owl web ontology language semantics and abstract syntax. In: W3C Recommendation (2004)"},{"key":"25_CR2","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"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-02121-3_29","volume-title":"The Semantic Web: Research and Applications","author":"C. Duc Le","year":"2009","unstructured":"Le Duc, C.: Decidability of \n                    \n                      \n                    \n                    $\\mathcal{SHI}$\n                   with transitive closure of roles. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 368\u2013383. Springer, Heidelberg (2009)"},{"key":"25_CR4","unstructured":"Le Duc, C., Lamolle, M.: Decidability of description logics with transitive closure of roles. In: Proceedings of the 23rd International Workshop on Description Logics (DL 2010), CEUR-WS.org (2010)"},{"key":"25_CR5","first-page":"205","volume-title":"Proceedings of the 12th National Conference on Artificial Intelligence","author":"G. Giacomo De","year":"1994","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. The MIT Press, Cambridge (1994)"},{"key":"25_CR6","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":"25_CR7","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.artint.2004.06.002","volume":"160","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Sattler, U.: Decidability of \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   with complex role inclusion axioms. Artificial Intelligence\u00a0160, 79\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"25_CR8","volume-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning. Springer, Heidelberg (2006)"},{"key":"25_CR9","unstructured":"Ortiz, M.: An automata-based algorithm for description logics around \n                    \n                      \n                    \n                    $\\mathcal{SRIQ}$\n                  . In: Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008, CEUR-WS.org (2008)"},{"key":"25_CR10","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)"},{"issue":"3","key":"25_CR11","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":"25_CR12","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":"25_CR13","doi-asserted-by":"crossref","unstructured":"Le Duc, C., Lamolle, M., Cur\u00e9, O.: A tableaux-based algorithm for \n                    \n                      \n                    \n                    $\\mathcal{SHIQ}$\n                   with transitive closure of roles in concept and role inclusion axioms. In: Technical Report (2010), \n                    \n                      http:\/\/www.iut.univ-paris8.fr\/files\/webfm\/recherche\/linc\/RR201012A.pdf","DOI":"10.1007\/978-3-642-21034-1_25"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21034-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T02:45:36Z","timestamp":1558579536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21034-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210334","9783642210341"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21034-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}