{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:37:44Z","timestamp":1737610664566,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665366"},{"type":"electronic","value":"9783540481683"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48168-0_21","type":"book-chapter","created":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T11:30:26Z","timestamp":1196508626000},"page":"292-306","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A NExpTime-Complete Description Logic Strictly Contained in C 2"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Tobies","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"21_CR1","unstructured":"C. Areces and M. de Rijke. Expressiveness revisited. In Proceedings of DL\u201998, 1998."},{"key":"21_CR2","unstructured":"F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proceedings of IJCAI-91, pages 446\u2013451, 1991."},{"issue":"1","key":"21_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/logcom\/6.1.33","volume":"6","author":"F. Baader","year":"1996","unstructured":"F. Baader. A formal definition for the expressive power of terminological knowledge representation language. J. of Logic and Computation, 6(1):33\u201354, 1996.","journal-title":"J. of Logic and Computation"},{"issue":"1-2","key":"21_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0004-3702(96)00010-0","volume":"88","author":"F. Baader","year":"1996","unstructured":"F. Baader, M. Buchheit, and B. Hollunder. Cardinality restrictions on concepts. Artificial Intelligence, 88(1-2):195\u2013213, 1996.","journal-title":"Artificial Intelligence"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"R. Berger. The undecidability of the dominoe problem. Memoirs of the American Mathematical Society, 66, 1966.","DOI":"10.1090\/memo\/0066"},{"key":"21_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"E. B\u00f6rger, E. Gr\u00e4del, and Y. Gurevich. The Classical Decision Problem. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1997."},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(96)00004-5","volume":"82","author":"A. Borgida","year":"1996","unstructured":"A. Borgida. On the relative expressiveness of description logics and first order logics. Artificial Intelligence, 82:353\u2013367, 1996.","journal-title":"Artificial Intelligence"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"A. Borgida and P. Patel-Schneider. A semantics and complete algorithm for subsumption in the classic description logic. Journal of Artificial Intelligence Research, 1:277\u2013308, 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"F. Baader and U. Sattler. Expressive number restrictions in description logics. Journal of Logic and Computation, 9, 1999, to appear.","DOI":"10.1093\/logcom\/9.3.319"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/BFb0021982","volume-title":"Logics in Artificial Intelligence","author":"G. Giacomo De","year":"1994","unstructured":"G. De Giacomo and M. Lenzerini. Description logics with inverse roles, functional restrictions, and N-ary relations. In C. MacNish, L. M. Pereira, and D. Pearce, editors, Logics in Artificial Intelligence, pages 332\u2013346. Springer-Verlag, Berlin, 1994."},{"issue":"1","key":"21_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1997.2625","volume":"134","author":"F. M. Donini","year":"1997","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. Information and Computation, 134(1):1\u201358, 1997.","journal-title":"Information and Computation"},{"key":"21_CR12","unstructured":"G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In Proceeding of KR\u201996, 1996."},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and F. Massacci. Combining deduction and model checking into tableaux and algorithms for converse-PDL. To appear in Information and Computation, 1999.","DOI":"10.1006\/inco.1999.2852"},{"key":"21_CR14","unstructured":"E. Gr\u00e4del, M. Otto, and E. Rosen. Two-variable logic with counting is decidable. In Proceedings of LICS 1997, pages 306\u2013317, 1997."},{"key":"21_CR15","unstructured":"B. Hollunder and F. Baader. Qualifying number restrictions in concept languages. In Proceedings of KR\u201991, pages 335\u2013346, Boston (USA), 1991."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"H. J. Ohlbach, R. A. Schmidt, and U. Hustadt. Translating graded modalities into predicate logic. In H. Wansing, editor, Proof Theory of Modal Logic, volume 2 of Applied Logic Series, pages 253\u2013291. Kluwer, 1996.","DOI":"10.1007\/978-94-017-2798-3_14"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"L. Pacholski, W. Szwast, and L. Tendera. Complexity of two-variable logic with counting. In Proceedings of LICS 1997, pages 318\u2013327, 1997.","DOI":"10.1109\/LICS.1997.614958"},{"key":"21_CR18","unstructured":"E. Spaan. Complexity of Modal Logics. PhD thesis, University of Amsterdam, 1993."},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48:1\u201326, 1991.","journal-title":"Artificial Intelligence"},{"key":"21_CR20","volume-title":"LTCS-Report 99-05, LuFg Theoretical Computer Science","author":"S. Tobies","year":"1999","unstructured":"S. Tobies. A Nexptime-complete description logic strictly contained in C 2. LTCS-Report 99-05, LuFg Theoretical Computer Science, RWTH Aachen, Germany, 1999. See http:\/\/www-lti.informatik.rwthaachen.de\/Forschung\/Papers.html ."},{"key":"21_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/j.1538-7305.1961.tb03975.x","volume":"40","author":"H. Wang","year":"1963","unstructured":"H. Wang. Dominoes and the AEA case of the Decision Problem. Bell Syst Tech. J., 40:1\u201341, 1963.","journal-title":"Bell Syst Tech. J"},{"issue":"2-5","key":"21_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0898-1221(92)90139-9","volume":"23","author":"W. A. Woods","year":"1992","unstructured":"W. A. Woods and J. G. Schmolze. The Kl-One family. Computers and Mathematics with Applications-Special Issue on Artificial Intelligence, 23(2-5):133\u2013177, 1992.","journal-title":"Computers and Mathematics with Applications-Special Issue on Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48168-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T03:46:01Z","timestamp":1737603961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48168-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665366","9783540481683"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48168-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"13 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}