{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T03:20:07Z","timestamp":1792034407836,"version":"4.4.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,12,25]],"date-time":"2007-12-25T00:00:00Z","timestamp":1198540800000},"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":[[2008,3]]},"DOI":"10.1007\/s10817-007-9092-z","type":"journal-article","created":{"date-parts":[[2007,12,24]],"date-time":"2007-12-24T13:45:21Z","timestamp":1198503921000},"page":"117-132","source":"Crossref","is-referenced-by-count":39,"title":["On Keys and Functional Dependencies as First-Class Citizens in Description Logics"],"prefix":"10.1007","volume":"40","author":[{"given":"David","family":"Toman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,12,25]]},"reference":[{"key":"9092_CR1","first-page":"1","volume":"66","author":"R. Berger","year":"1966","unstructured":"Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66, 1\u201372 (1966)","journal-title":"Mem. Am. Math. Soc."},{"key":"9092_CR2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-46564-2_3","volume-title":"Foundations of Information and Knowledge Systems","author":"J. Biskup","year":"2000","unstructured":"Biskup, J., Polle, T.: Decomposition of database classes under path functional dependencies and onto constraints. In: Schewe, K.-D., Thalheim, B. (eds.) Foundations of Information and Knowledge Systems, pp. 31\u201349. Springer, New York (2000)"},{"key":"9092_CR3","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s00236-003-0115-x","volume":"39","author":"J. Biskup","year":"2003","unstructured":"Biskup, J., Polle, T.: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. Acta Inform. 39, 391\u2013449 (2003)","journal-title":"Acta Inform."},{"key":"9092_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A., Weddell, G.E.: Adding uniqueness constraints to description logics (preliminary report). In: International Conference on Deductive and Object-Oriented Databases, pp. 85\u2013102, Montreux, 8\u201312 December 1997","DOI":"10.1007\/3-540-63792-3_10"},{"key":"9092_CR5","unstructured":"Calvanese, D., De\u00a0Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 155\u2013160, Seattle, 4\u201310 August 2001"},{"issue":"3","key":"9092_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1093\/logcom\/9.3.295","volume":"9","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Representing and reasoning on XML documents: a description logic approach. J. Log. Comput. 9(3), 295\u2013318 (1999)","journal-title":"J. Log. Comput."},{"key":"9092_CR7","unstructured":"Calvanese, D., Lenzerini, M., De Giacomo, G.: Keys for free in description logics. In: Proc. of the 2000 Int. Workshop on Description Logics, pp. 79\u201388, Aachen, 17\u201319 August 2000"},{"key":"9092_CR8","first-page":"103","volume-title":"Description Logics 2003, vol. 81","author":"D. DeHaan","year":"2003","unstructured":"DeHaan, D., Toman, D., Weddell, G.E.: Rewriting aggregate queries using description logics. In: Description Logics 2003, vol. 81, pp. 103\u2013112. CEUR-WS, Aachen (2003)"},{"issue":"3","key":"9092_CR9","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1016\/S0022-0000(05)80078-9","volume":"49","author":"M. Ito","year":"1994","unstructured":"Ito, M., Weddell, G.E.: Implication problems for functional constraints on databases supporting complex objects. J. Comput. Syst. Sci. 49(3), 726\u2013768 (1994)","journal-title":"J. Comput. Syst. Sci."},{"key":"9092_CR10","doi-asserted-by":"crossref","unstructured":"Khizder, V.L., Toman, D., Weddell, G.E.: Reasoning about duplicate elimination with description logic. In: Rules and Objects in Databases (DOOD, Part of CL\u201900), pp. 1017\u20131032, London, 24\u201328 July 2000","DOI":"10.1007\/3-540-44957-4_68"},{"key":"9092_CR11","doi-asserted-by":"crossref","unstructured":"Khizder, V.L., Toman, D., Weddell, G.E.: On decidability and complexity of description logics with uniqueness constraints. In: Int. Conf. on Database Theory ICDT\u201901, pp. 54\u201367, London, 4\u20136 January 2001","DOI":"10.1007\/3-540-44503-X_4"},{"key":"9092_CR12","first-page":"1","volume-title":"Description Logics 2002, vol. 53","author":"H. Liu","year":"2002","unstructured":"Liu, H., Toman, D., Weddell, G.E.: Fine grained information integration with description logic. In: Description Logics 2002, vol. 53, pp. 1\u201312. CEUR-WS, Aachen (2002)"},{"key":"9092_CR13","doi-asserted-by":"crossref","unstructured":"Lutz, C., Milicic, M.: Description logics with concrete domains and functional dependencies. In: Proc. Eur. Conf. on Artificial Intelligence (ECAI), pp. 378\u2013382, Valencia, 23\u201327 August 2004","DOI":"10.25368\/2022.143"},{"key":"9092_CR14","first-page":"349","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI)","author":"C. Lutz","year":"2003","unstructured":"Lutz, C., Areces, C., Horrocks, I., Sattler, U.: Keys, nominals, and concrete domains. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 349\u2013354. Morgan Kaufmann, San Mateo (2003)"},{"key":"9092_CR15","first-page":"137","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications, chapter\u00a04","author":"U. Sattler","year":"2003","unstructured":"Sattler, U., Calvanese, D., Molitor, R.: Relationships with other formalisms. In: The Description Logic Handbook: Theory, Implementation, and Applications, chapter\u00a04, pp. 137\u2013177. Cambridge University Press, Cambridge (2003)","edition":"4"},{"key":"9092_CR16","first-page":"9","volume-title":"Description Logics 2003, vol. 81","author":"L. Stanchev","year":"2003","unstructured":"Stanchev, L., Weddell, G.E.: Index selection for embedded control applications using description logics. In: Description Logics 2003, vol. 81, pp. 9\u201318. CEUR-WS, Aachen (2003)"},{"issue":"1","key":"9092_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.tcs.2004.10.036","volume":"336","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell, G.: On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336(1), 181\u2013203 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"9092_CR18","first-page":"603","volume-title":"Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI)","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell G.: On the interaction between inverse features and path-functional dependencies in description logics. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI), pp. 603\u2013608. Morgan Kaufmann, San Mateo (2005)"},{"key":"9092_CR19","first-page":"76","volume-title":"Description Logics, vol. 49","author":"D. Toman","year":"2001","unstructured":"Toman, D., Weddell, G.E.: On attributes, roles, and dependencies in description logics and the Ackermann case of the decision problem. In: Description Logics, vol. 49, pp. 76\u201385. CEUR-WS, Aachen (2001)"},{"key":"9092_CR20","first-page":"178","volume-title":"Description Logics 2004, vol. 104","author":"D. Toman","year":"2004","unstructured":"Toman, D., Weddell, G.E.: Attribute inversion in description logics with path functional dependencies. In: Description Logics 2004, vol. 104, pp. 178\u2013187. CEUR-WS, Aachen (2004)"},{"key":"9092_CR21","volume-title":"Description Logics, vol. 1475","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell, G.E.: On path-functional dependencies as first-class citizens in description logics. In: Description Logics, vol. 1475. CEUR-WS, Aachen (2005)"},{"key":"9092_CR22","first-page":"331","volume-title":"Complexity, Logic, and Recursion Theory. Lecture Notes in Pure and Applied Mathematics, vol. 187","author":"P. Emde Boas van","year":"1997","unstructured":"van Emde Boas, P.: The convenience of tilings. In: Complexity, Logic, and Recursion Theory. Lecture Notes in Pure and Applied Mathematics, vol. 187, pp. 331\u2013363. Marcel Dekker, New York (1997)"},{"key":"9092_CR23","doi-asserted-by":"crossref","unstructured":"Weddell, G.: A theory of functional dependencies for object oriented data models. In: Int. Conf. on Deductive and Object-Oriented Databases, pp. 165\u2013184, Kyoto, 4\u20136 December 1989","DOI":"10.1016\/B978-0-444-88433-6.50017-4"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9092-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-007-9092-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-007-9092-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T12:53:31Z","timestamp":1684155211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-007-9092-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,25]]},"references-count":23,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9092"],"URL":"https:\/\/doi.org\/10.1007\/s10817-007-9092-z","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,25]]}}}