{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:12Z","timestamp":1725471192875},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371878"},{"type":"electronic","value":"9783540371885"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11814771_52","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:44:21Z","timestamp":1160063061000},"page":"647-661","source":"Crossref","is-referenced-by-count":9,"title":["On Keys and Functional Dependencies as First-Class Citizens in Description Logics"],"prefix":"10.1007","author":[{"given":"David","family":"Toman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"52_CR1","first-page":"1","volume":"66","author":"R. Berger","year":"1966","unstructured":"Berger, R.: The undecidability of the dominoe problem. Mem. Amer. Math. Soc.\u00a066, 1\u201372 (1966)","journal-title":"Mem. Amer. Math. Soc."},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Biskup, J., Polle, T.: Decomposition of Database Classes under Path Functional Dependencies and Onto Constraints. In: Foundations of Information and Knowledge Systems, pp. 31\u201349 (2000)","DOI":"10.1007\/3-540-46564-2_3"},{"key":"52_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 Informatica\u00a039, 391\u2013449 (2003)","journal-title":"Acta Informatica"},{"key":"52_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 (1997)","DOI":"10.1007\/3-540-63792-3_10"},{"key":"52_CR5","unstructured":"Calvanese, D., Giacomo, G.D., 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 (2001)"},{"issue":"3","key":"52_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1093\/logcom\/9.3.295","volume":"9","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M.: Representing and reasoning on xml documents: A description logic approach. J. Log. Comput.\u00a09(3), 295\u2013318 (1999)","journal-title":"J. Log. Comput."},{"key":"52_CR7","unstructured":"Calvanese, D., Lenzerini, M., De Giacomo, G.: Keys for Free in Description Logics. In: Proceeding of the 2000 International Workshop on Description Logics, pp. 79\u201388 (2000)"},{"key":"52_CR8","unstructured":"DeHaan, D., Toman, D., Weddell, G.E.: Rewriting Aggregate Queries using Description Logics. In: Description Logics 2003. CEUR-WS, vol.\u00a081, pp. 103\u2013112 (2003)"},{"issue":"3","key":"52_CR9","doi-asserted-by":"publisher","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. Journal of Computer and System Sciences\u00a049(3), 726\u2013768 (1994)","journal-title":"Journal of Computer and System Sciences"},{"key":"52_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/3-540-44957-4_68","volume-title":"Computational Logic - CL 2000","author":"V.L. Khizder","year":"2000","unstructured":"Khizder, V.L., Toman, D., Weddell, G.E.: Reasoning about Duplicate Elimination with Description Logic. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1017\u20131032. Springer, Heidelberg (2000)"},{"key":"52_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/3-540-44503-X_4","volume-title":"Database Theory - ICDT 2001","author":"V.L. Khizder","year":"2000","unstructured":"Khizder, V.L., Toman, D., Weddell, G.E.: On Decidability and Complexity of Description Logics with Uniqueness Constraints. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 54\u201367. Springer, Heidelberg (2000)"},{"key":"52_CR12","unstructured":"Liu, H., Toman, D., Weddell, G.E.: Fine Grained Information Integration with Description Logic. In: Description Logics 2002. CEUR-WS, vol.\u00a053, pp. 1\u201312 (2002)"},{"key":"52_CR13","doi-asserted-by":"crossref","unstructured":"Lutz, C., Milicic, M.: Description Logics with Concrete Domains and Functional Dependencies. In: Proc. European Conference on Artificial Intelligence (ECAI), pp. 378\u2013382 (2004)","DOI":"10.25368\/2022.143"},{"key":"52_CR14","doi-asserted-by":"crossref","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 (2003)","DOI":"10.25368\/2022.122"},{"key":"52_CR15","first-page":"137","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","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, ch.\u00a04, pp. 137\u2013177. Cambridge University Press, Cambridge (2003)"},{"key":"52_CR16","unstructured":"Stanchev, L., Weddell, G.E.: Index Selection for Embedded Control Applications using Description Logics. In: Description Logics 2003. CEUR-WS, vol.\u00a081, pp. 9\u201318 (2003)"},{"key":"52_CR17","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 (2005)"},{"key":"52_CR18","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 2001. CEUR-WS, vol.\u00a049, pp. 76\u201385 (2001)"},{"key":"52_CR19","unstructured":"Toman, D., Weddell, G.E.: Attribute Inversion in Description Logics with Path Functional Dependencies. In: Description Logics 2004. CEUR-WS, vol.\u00a0104, pp. 178\u2013187 (2004)"},{"key":"52_CR20","doi-asserted-by":"crossref","unstructured":"Toman, D., Weddell, G.E.: On Path-functional Dependencies as First-class Citizens in Description Logics. In: Description Logics 2005. CEUR-WS, vol.\u00a0147 (2005)","DOI":"10.1007\/11814771_52"},{"key":"52_CR21","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.tcs.2004.10.036","volume":"336","author":"D. Toman","year":"2005","unstructured":"Toman, D., Weddell, G.E.: On Reasoning about Structural Equality in XML: A Description Logic Approach. Theoretical Computer Science\u00a0336, 181\u2013203 (2005), doi:10.1016\/j.tcs.2004.10.036.","journal-title":"Theoretical Computer Science"},{"key":"52_CR22","series-title":"Lecture notes in pure and applied mathe-matics","first-page":"331","volume-title":"Complexity, Logic, and Recursion Theory","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 mathe-matics, vol.\u00a0187, pp. 331\u2013363. Marcel Dekker, New York (1997)"},{"key":"52_CR23","doi-asserted-by":"crossref","unstructured":"Weddell, G.: A Theory of Functional Dependencies for Object Oriented Data Models. In: International Conference on Deductive and Object-Oriented Databases, pp. 165\u2013184 (1989)","DOI":"10.1016\/B978-0-444-88433-6.50017-4"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11814771_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T04:54:34Z","timestamp":1683608074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11814771_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371878","9783540371885"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11814771_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}