{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T18:19:05Z","timestamp":1790965145650,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540637929","type":"print"},{"value":"9783540696476","type":"electronic"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63792-3_10","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T21:12:11Z","timestamp":1270501931000},"page":"85-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Adding uniqueness constraints to description logics"],"prefix":"10.1007","author":[{"given":"Alex","family":"Borgida","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":[[2005,8,17]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"H.W. Beck, S.K. Gala, and S.B. Navathe. Classification as a query processing technique in the CANDIDE semantic data model. In Proc. 5 th IEEE Int. Data Eng. Conf., pp. 572\u2013581, 1989.","DOI":"10.1109\/ICDE.1989.47264"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5(4), pp. 335\u2013382, 1990.","journal-title":"Data and Knowledge Engineering"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/BF00872108","volume":"4","author":"S. Bergamaschi","year":"1994","unstructured":"S. Bergamaschi and B. Nebel. Acquisition and validation of complex object database schemata supporting multiple inheritance. Applied Intelligence, Vol 4(2), pp. 185\u2013204, 1994.","journal-title":"Applied Intelligence"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"A. Borgida and P.F. Patel-Schneider. A semantics and complete algorithm for subsumption in the CLASSIC description logic. J. of AI Research, pp. 277\u2013308, 1994.","DOI":"10.1613\/jair.56"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/132271.132272","volume":"17","author":"S. Bergamaschi","year":"1992","unstructured":"S. Bergamaschi and C. Sartori. On taxonomic reasoning in conceptual design. ACM TODS 17(3), pp. 385\u2013442, 1992.","journal-title":"ACM TODS"},{"issue":"3","key":"10_CR6","first-page":"455","volume":"6","author":"M.F. Bommel van","year":"1994","unstructured":"M.F. van Bommel and G.E. Weddell. Reasoning about equations and functional dependencies on complex objects. IEEE TKDE, 6(3), pp. 455\u2013469, 1994.","journal-title":"IEEE TKDE"},{"key":"10_CR7","unstructured":"J.P. Ballerini, D. Beneventano, S. Bergamaschi, C. Sartori, and M. Vincini. A semantics-driven query optimizer for OODBs. In Proc. DL-95, pp. 59\u201362, Roma, Italy, 1995."},{"issue":"5","key":"10_CR8","first-page":"671","volume":"7","author":"A. Borgida","year":"1995","unstructured":"A.Borgida. Description logics in data management, IEEE TKDE, 7(5), pp.671\u2013682, 1995.","journal-title":"IEEE TKDE"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1142\/S0218215793000083","volume":"2","author":"R. Brachman","year":"1993","unstructured":"R. Brachman, P. Selfridge, L. Terveen, B. Altman, A. Borgida, F. Halper, T. Kirk, A. Lazar, D. McGuinness and L. Resnick. Knowledge representation support for data archaeology, Int. J. of Intelligent and Cooperative Inf. Sys., 2(2), pp. 159\u2013186, 1993.","journal-title":"Int. J. of Intelligent and Cooperative Inf. Sys."},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","volume":"19","author":"M. Buchheit","year":"1994","unstructured":"M. Buchheit, M. Jeusfeld, W. Nutt, and M. Staudt. Subsumption between queries in object-oriented databases. Inf. Sys., 19(1), pp. 33\u201354, 1994.","journal-title":"Inf. Sys."},{"key":"10_CR11","unstructured":"M. Buchheit, F. Donini, W. Nutt and A. Schaerf. Refining the structure of terminological systems: terminology = schema + view. In Proc. AAAI-94, pp. 199\u2013204, 1994."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"D. Calvanese, G. de Giacomo and M. Lenzerini. Structured objects: modeling and reasoning. In Proc. DOOD'95, pp. 229\u2013246, 1995.","DOI":"10.1007\/3-540-60608-4_43"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1142\/S0218215793000174","volume":"2","author":"T. Catarci","year":"1993","unstructured":"T.Catarci and M.Lenzerini. Representing and using interschema knowledge in cooperative information systems. Int. J. of Int. and Coop. Inf. Sys., 2(4), pp. 375\u2013398, 1993.","journal-title":"Int. J. of Int. and Coop. Inf. Sys."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"L. Delcambre and K. Davis. Automatic validation of object-oriented database structures. In Proc. IEEE Data Engineering Conf., pp. 2\u20139, 1989.","DOI":"10.1109\/ICDE.1989.47194"},{"key":"10_CR15","unstructured":"G. de Giacomo and M. Lenzerini. What's in an aggregate: foundations for description logics with tuples and sets. In Proc. IJCAI-95, pp. 801\u2013807, 1995."},{"issue":"1","key":"10_CR16","first-page":"165","volume":"50","author":"M. Ito","year":"1995","unstructured":"M. Ito and G. E. Weddell. Implication problems for functional constraints on databases supporting complex objects. JCSS, 50(1), pp. 165\u2013187, 1995.","journal-title":"JCSS"},{"key":"10_CR17","unstructured":"Knowledge representation meets databases. Proc. KRDB'96, Budapest, Hungary, August, 1996. F. Baader, M. Buchheit, M. A. Jeusfeld and W. Nutt (editors), 1996."},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF00962627","volume":"5","author":"A. Y. Levy","year":"1995","unstructured":"A. Y. Levy, D. Srivastava and T. Kirk. Data model and query evaluation in global information systems. J. of Intelligent Inf. Sys., 5(2), pp. 121\u2013143, 1995.","journal-title":"J. of Intelligent Inf. Sys."},{"key":"10_CR19","unstructured":"D. McGuinness and A. Borgida. Explaining subsumption in description logics. In Proc. IJCAI-95, pp. 816\u2013821, 1995."},{"issue":"3","key":"10_CR20","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","volume":"34","author":"B. Nebel","year":"1988","unstructured":"B. Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34(3), pp. 371\u2013383, 1988.","journal-title":"Artificial Intelligence"},{"key":"10_CR21","unstructured":"J. Wright, E. Weixelbaum, K. Brown, G. Vesonder, S. Palmer, J. Berman, and H. Moore. A knowledge-based configurator that supports sales, engineering and manufacturing at AT&T Network Systems. In Proc. Conf on Industrial Applications of AI(IAAI93), pp.183\u2013193, 1992."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63792-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T21:18:24Z","timestamp":1739999904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63792-3_10"}},"subtitle":["Preliminary report"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637929","9783540696476"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63792-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"17 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}