{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:57:24Z","timestamp":1742385444307,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414568"},{"type":"electronic","value":"9783540445036"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44503-x_4","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T04:25:32Z","timestamp":1186892732000},"page":"54-67","source":"Crossref","is-referenced-by-count":10,"title":["On Decidability and Complexity of Description Logics with Uniqueness Constraints"],"prefix":"10.1007","author":[{"given":"Vitaliy L.","family":"Khizder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Toman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grant","family":"Weddell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,12]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/3-540-62222-5_50","volume-title":"Queries and computation on the web","author":"S. Abiteboul","year":"1997","unstructured":"Serge Abiteboul and Victor Vianu. Queries and computation on the web. In 6th International Conference on Database Theory ICDT\u201997, volume 1186 of Lecture Notes in Computer Science, pages 262\u2013275. Springer, 1997."},{"issue":"5","key":"4_CR2","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1109\/69.469829","volume":"7","author":"A. Borgida","year":"1995","unstructured":"Alexander Borgida. Description logics in data management. IEEE Transactions on Knowledge and Data Engineering, 7(5):671\u2013682, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, and Lori Alperin Resnick. Classic: A structural data model for objects. In James Clifford, Bruce G. Lindsay, and David Maier, editors, Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, pages 58\u201367. ACM Press, 1989.","DOI":"10.1145\/67544.66932"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Alexander Borgida and Grant Weddell. Adding uniqueness constraints to description logics (preliminary report). In International Conference on Deductive and Object-Oriented Databases, pages 85\u2013102, 1997.","DOI":"10.1007\/3-540-63792-3_10"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Peter Buneman, Wenfei Fan, and Scott Weinstein. Path constraints in semistructured and structured databases. In Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 129\u2013138, 1998.","DOI":"10.1145\/275487.275502"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Peter Buneman, Wenfei Fan, and Scott Weinstein. Interaction between path and type constraints. In Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 56\u201367, 1999.","DOI":"10.1145\/303976.303982"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Structured Objects: modeling and reasonning. In International Conference on Deductive and Object-Oriented Databases, pages 229\u2013246, 1995.","DOI":"10.1007\/3-540-60608-4_43"},{"key":"4_CR8","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Answering Queries Using Views in Description Logics. In 6th International Workshop on Knowledge Representation meets Databases (KRDB\u201999), pages 6\u201310, 1999."},{"key":"4_CR9","unstructured":"Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. Keys for free in description logics. In International Workshop on Description Logics DL2000, pages 79\u201388, 2000."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi. Description logics for conceptual data modelling. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, chapter 8. Kluwer, 1998.","DOI":"10.1007\/978-1-4615-5643-5_8"},{"key":"4_CR11","series-title":"Laboratory for Computer Science Research Technical Report","volume-title":"Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbols","author":"J. Chomicki","year":"1990","unstructured":"Jan Chomicki. Functional Deductive Databases: Query Processing in the Presence of Limited Function Symbols. PhD thesis, Rutgers University, New Brunswick, New Jersey, January 1990. Also Laboratory for Computer Science Research Technical Report LCSR-TR-142."},{"issue":"2","key":"4_CR12","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/151634.151635","volume":"18","author":"J. Chomicki","year":"1993","unstructured":"Jan Chomicki and Tomasz Imieli\u0144ski. Finite Representation of Infinite Query Answers. ACM Transactions on Database Systems, 18(2):181\u2013223, June 1993.","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Wenfei Fan and J\u00e9r\u00f4me Sim\u00e9on. Integrity constraints for xml. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 23\u201334, 2000.","DOI":"10.1145\/335168.335172"},{"key":"4_CR14","first-page":"137","volume":"27","author":"M. F\u00fcrer","year":"1981","unstructured":"Martin F\u00fcrer. Alternation and the Ackermann Case of the Decision Problem. L\u2019Enseignement Math., 27:137\u2013162, 1981.","journal-title":"L\u2019Enseignement Math."},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"726","DOI":"10.1016\/S0022-0000(05)80078-9","volume":"49","author":"M. Ito","year":"1994","unstructured":"Minoru Ito and Grant Weddell. Implication Problems for Functional Constraints on Databases Supporting Complex Objects. Journal of Computer and System Sciences, 49(3):726\u2013768, 1994.","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR16","unstructured":"Vitaliy L. Khizder. Uniqueness Constraints in Object-Relational Databases and Description Logics. PhD thesis, University of Waterloo, 1999."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Vitaliy L. Khizder, David Toman, and Grant Weddell. Reasoning about Duplicate Elimination with Description Logic. Technical report, Dept. of Computer Science, University of Waterloo, 2000. (accepted to DOOD 2000).","DOI":"10.1007\/3-540-44957-4_68"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"John W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"3","key":"4_CR19","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1109\/69.334857","volume":"6","author":"M. F. Bommel van","year":"1994","unstructured":"Martin F. van Bommel and Grant Weddell. Reasoning About Equations and Functional Dependencies on Complex Objects. IEEE Transactions on Knowledge and Data Engineering, 6(3):455\u2013469, 1994.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Grant Weddell. A Theory of Functional Dependencies for Object Oriented Data Models. In International Conference on Deductive and Object-Oriented Databases, pages 165\u2013184, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50017-4"},{"issue":"1","key":"4_CR21","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/128765.128767","volume":"17","author":"G. Weddell","year":"1992","unstructured":"Grant Weddell. Reasoning about Functional Dependencies Generalized for Semantic Data Models. ACM Transactions on Database Systems, 17(1):32\u201364, 1992.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44503-X_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:37:05Z","timestamp":1737362225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44503-X_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540414568","9783540445036"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44503-x_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}