{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:43Z","timestamp":1725493543761},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762973"},{"type":"electronic","value":"9783540762980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_32","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T14:13:59Z","timestamp":1193408039000},"page":"438-451","source":"Crossref","is-referenced-by-count":17,"title":["Using Tableau to Decide Expressive Description Logics with Role Negation"],"prefix":"10.1007","author":[{"given":"Renate A.","family":"Schmidt","sequence":"first","affiliation":[]},{"given":"Dmitry","family":"Tishkovsky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","volume-title":"Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: Description Logic Handbook. Cambridge Univ. Press, Cambridge (2003)"},{"key":"32_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/11814771_11","volume-title":"Automated Reasoning","author":"P. Baumgartner","year":"2006","unstructured":"Baumgartner, P., Schmidt, R.A.: Blocking and other enhancements for bottom-up model generation methods. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 125\u2013139. Springer, Heidelberg (2006)"},{"key":"32_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-45744-5_16","volume-title":"Automated Reasoning","author":"H. Nivelle De","year":"2001","unstructured":"De Nivelle, H., Pratt-Hartmann, I.: A resolution-based decision procedure for the two-variable fragment with equality. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 211\u2013225. Springer, Heidelberg (2001)"},{"issue":"3","key":"32_CR4","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/jigpal\/8.3.265","volume":"8","author":"H. Nivelle De","year":"2000","unstructured":"De Nivelle, H., Schmidt, R.A., Hustadt, U.: Resolution-based methods for modal logics. Log. J. IGPL\u00a08(3), 265\u2013292 (2000)","journal-title":"Log. J. IGPL"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bull. Sect. Log.\u00a03, 53\u201369 (1997)","journal-title":"Bull. Sect. Log."},{"key":"32_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-46508-1_13","volume-title":"Automated Deduction in Classical and Non-Classical Logics","author":"U. Hustadt","year":"2000","unstructured":"Hustadt, U., Schmidt, R.A.: Issues of decidability for description logics in the framework of resolution. In: Caferra, R., Salzer, G. (eds.) Automated Deduction in Classical and Non-Classical Logics. LNCS (LNAI), vol.\u00a01761, pp. 191\u2013205. Springer, Heidelberg (2000)"},{"key":"32_CR7","first-page":"251","volume":"1","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Schmidt, R.A., Georgieva, L.: A survey of decidable first-order fragments and description logics. J.\u00a0Relat. Methods Comput. Sci.\u00a01, 251\u2013276 (2004)","journal-title":"J.\u00a0Relat. Methods Comput. Sci."},{"key":"32_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/11853886_44","volume-title":"Logics in Artificial Intelligence","author":"U. Hustadt","year":"2006","unstructured":"Hustadt, U., Tishkovsky, D., Wolter, F., Zakharyaschev, M.: Automated reasoning about metric and topology (System description). In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 490\u2013493. Springer, Heidelberg (2006)"},{"key":"32_CR9","volume-title":"Advances in Modal Logics","author":"C. Lutz","year":"2002","unstructured":"Lutz, C., Sattler, U.: The complexity of reasoning with Boolean modal logics. In: Advances in Modal Logics, vol.\u00a03, CSLI Publ., Stanford (2002)"},{"key":"32_CR10","first-page":"193","volume-title":"Proc. IJCAI 2001","author":"F. Massacci","year":"2001","unstructured":"Massacci, F.: Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity. In: Proc. IJCAI 2001, pp. 193\u2013198. Morgan Kaufmann, San Francisco (2001)"},{"key":"32_CR11","unstructured":"Schmidt, R.A.: Developing modal tableaux and resolution methods via first-order resolution. In: Advances in Modal Logic, vol.\u00a06, pp. 1\u201326. College Publ. (2006)"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-540-24615-2_3","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments","author":"R.A. Schmidt","year":"2003","unstructured":"Schmidt, R.A., Hustadt, U.: Mechanised reasoning and model generation for extended modal logics. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol.\u00a02929, pp. 38\u201367. Springer, Heidelberg (2003)"},{"key":"32_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/978-3-540-24771-5_21","volume-title":"Relational and Kleene-Algebraic Methods in Computer Science","author":"R.A. Schmidt","year":"2004","unstructured":"Schmidt, R.A., Orlowska, E., Hustadt, U.: Two proof systems for Peirce algebras. In: Berghammer, R., M\u00f6ller, B., Struth, G. (eds.) Relational and Kleene-Algebraic Methods in Computer Science. LNCS, vol.\u00a03051, pp. 238\u2013251. Springer, Heidelberg (2004)"},{"key":"32_CR14","unstructured":"Tobies, S.: Decidability Results and Practical Algorithms for Logics in Knowledge Representation. PhD dissertation, RWTH Aachen (2001)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:46:14Z","timestamp":1619520374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}