{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T11:04:24Z","timestamp":1775819064032,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,12,6]],"date-time":"2006-12-06T00:00:00Z","timestamp":1165363200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2007,2,28]]},"DOI":"10.1007\/s10817-006-9049-7","type":"journal-article","created":{"date-parts":[[2006,12,5]],"date-time":"2006-12-05T13:34:27Z","timestamp":1165325667000},"page":"227-259","source":"Crossref","is-referenced-by-count":75,"title":["A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes"],"prefix":"10.1007","volume":"38","author":[{"given":"Carsten","family":"Lutz","sequence":"first","affiliation":[]},{"given":"Maja","family":"Mili\u010di\u0107","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,12,6]]},"reference":[{"issue":"11","key":"9049_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen, J.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"9049_CR2","unstructured":"Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, pp. 452\u2013457. Sydney, Australia (1991)"},{"key":"9049_CR3","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Festschrift in Honor of J\u00f6rg Siekmann (2003a)"},{"key":"9049_CR4","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., McGuiness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, UK (2003b)"},{"key":"9049_CR5","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Condotta, J.-F.: Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning. In: Frontiers of Combining Systems (FroCoS), pp. 162\u2013176 (2002)","DOI":"10.1007\/3-540-45988-X_13"},{"issue":"1","key":"9049_CR6","first-page":"1","volume":"4","author":"B. Bennett","year":"1997","unstructured":"Bennett, B.: Modal logics for qualitative spatial reasoning. J. Interest Group in Pure and Applied Logic 4(1), 1\u201320 (1997)","journal-title":"J. Interest Group in Pure and Applied Logic"},{"key":"9049_CR7","unstructured":"Calvanese, D.: Reasoning with inclusion axioms in description logics: algorithms and complexity. In: Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI-96), pp. 303\u2013307 (1996)"},{"key":"9049_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-1-4615-5643-5_8","volume-title":"Logics for Databases and Information Systems, Chap. 8","author":"D. Calvanese","year":"1998","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Description logics for conceptual data modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, Chap. 8, pp. 229\u2013263. Kluwer, Norwell, MA (1998)"},{"issue":"2","key":"9049_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M.J. Egenhofer","year":"1991","unstructured":"Egenhofer, M.J., Franzosa, R.: Point-set topological spatial relations. Int. J. Geogr. Inf. Syst. 5(2), 161\u2013174 (1991)","journal-title":"Int. J. Geogr. Inf. Syst."},{"issue":"3","key":"9049_CR10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1080\/02693799608902079","volume":"10","author":"A. Frank","year":"1996","unstructured":"Frank, A.: Qualitative spatial reasoning: cardinal directions as an example. Int. J. Geogr. Inf. Syst. 10(3), 269\u2013290 (1996)","journal-title":"Int. J. Geogr. Inf. Syst."},{"key":"9049_CR11","volume-title":"Many-dimensional Modal Logics: Theory and Applications, No. 148 in Studies in Logic and the Foundations of Mathematics","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional Modal Logics: Theory and Applications, No. 148 in Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam, The Netherlands (2003)"},{"key":"9049_CR12","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R.,: RACER system description. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR\u201901), pp. 701\u2013705 (2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"9049_CR13","doi-asserted-by":"crossref","unstructured":"Haarslev, V., M\u00f6ller, R., Wessel, M.: The description logic $\\mathcal{ALCNH}_{R^+}$ extended with concrete domains: a practically motivated approach. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) Proceedings of the First International Joint Conference on Automated Reasoning IJCAR\u201901, pp. 29\u201344 (2001)","DOI":"10.1007\/3-540-45744-5_4"},{"key":"9049_CR14","unstructured":"Horrocks, I.: Using an expressive description logic: fact or fiction? In: Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR98), pp. 636\u2013647 (1998)"},{"issue":"3","key":"9049_CR15","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Optimising description logic subsumption. J. Log. Comput. 9(3), 267\u2013293 (1999)","journal-title":"J. Log. Comput."},{"key":"9049_CR16","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. J. Log. Comput. 9(3) (1999)","DOI":"10.1093\/logcom\/9.3.385"},{"key":"9049_CR17","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the ${\\cal SHOQ}(D)$ description logic. In: Nebel, B. (ed.) Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI\u201901), pp. 199\u2013204 (2001)"},{"key":"9049_CR18","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR\u201999), pp. 161\u2013180 (1999)","DOI":"10.1007\/3-540-48242-3_11"},{"key":"9049_CR19","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Complexity of terminological reasoning revisited. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR\u201999), pp. 181\u2013200 (1999)","DOI":"10.1007\/3-540-48242-3_12"},{"key":"9049_CR20","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Adding numbers to the ${\\mathcal SHIQ}$ description logic\u2014first results. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), pp. 191\u2013202 (2002a)","DOI":"10.25368\/2022.117"},{"issue":"5","key":"9049_CR21","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1093\/jigpal\/10.5.535","volume":"10","author":"C. Lutz","year":"2002","unstructured":"Lutz, C.: PSpace reasoning with the description logic $\\mathcal{ALCF}(\\mathcal{D})$ . Log. J. IGPL 10(5), 535\u2013568 (2002b)","journal-title":"Log. J. IGPL"},{"key":"9049_CR22","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Reasoning about entity relationship diagrams with complex attribute dependencies. In: Horrocks, I., Tessaris, S. (eds.) Proceedings of the International Workshop in Description Logics 2002 (DL2002), pp. 185\u2013194 (2002c)","DOI":"10.25368\/2022.119"},{"key":"9049_CR23","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Description logics with concrete domains\u2014a survey. In: Advances in Modal Logics Volume 4, pp. 265\u2013296 (2003)","DOI":"10.1145\/1024922.1024925"},{"key":"9049_CR24","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Combining interval-based temporal reasoning with general TBoxes. Artif. Intell. 152(2), 235\u2013274 (2004a)","DOI":"10.1016\/j.artint.2003.08.001"},{"issue":"4","key":"9049_CR25","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1145\/1024922.1024925","volume":"5","author":"C. Lutz","year":"2004","unstructured":"Lutz, C.: NExpTime-complete description logics with concrete domains. ACM Trans. Comput. Log. 5(4), 669\u2013705 (2004b)","journal-title":"ACM Trans. Comput. Log."},{"key":"9049_CR26","doi-asserted-by":"crossref","unstructured":"Lutz, C., Milicic, M.: A tableau algorithm for description logics with concrete domains and GCIs. In: Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005. Koblenz, Germany, pp. 201\u2013216 (2005)","DOI":"10.1007\/11554554_16"},{"key":"9049_CR27","unstructured":"Lutz, C., Wolter, F.: Modal logics of topological relations. In: Proceedings of Advances in Modal Logics, 2004"},{"issue":"1","key":"9049_CR28","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","unstructured":"Nebel, B., B\u00fcrckert, H.-J.: Reasoning about temporal relations: a maximal tractable subclass of Allen\u2019s interval algebra. Journal of the ACM 42(1), 43\u201366 (1995)","journal-title":"Journal of the ACM"},{"key":"9049_CR29","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR\u201992), pp. 165\u2013176 (1992)"},{"issue":"1\u20132","key":"9049_CR30","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/S0004-3702(99)00002-8","volume":"108","author":"J. Renz","year":"1999","unstructured":"Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus. Artif. Intell. 108(1\u20132), 69\u2013123 (1999)","journal-title":"Artif. Intell."},{"key":"9049_CR31","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"1995","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall, Upper Saddle River, NJ (1995)"},{"issue":"1","key":"9049_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artif. Intell. 48(1), 1\u201326 (1991)","journal-title":"Artif. Intell."},{"key":"9049_CR33","unstructured":"Vilain, M., Kautz, H.: Constraint propagation algorithms for temporal reasoning. In: National Conference on Artificial Intelligence of the American Association for AI (AAAI 86), pp. 377\u2013382 (1986)"},{"key":"9049_CR34","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/B978-1-4832-1447-4.50034-1","volume-title":"Readings in qualitative reasoning about physical systems","author":"M. Vilain","year":"1990","unstructured":"Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In: Readings in qualitative reasoning about physical systems. Morgan Kaufmann, San Francisco, CA, pp. 373\u2013381 (1990)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9049-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-006-9049-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9049-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T21:58:08Z","timestamp":1683669488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-006-9049-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,6]]},"references-count":34,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,2,28]]}},"alternative-id":["9049"],"URL":"https:\/\/doi.org\/10.1007\/s10817-006-9049-7","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,6]]}}}