{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:31Z","timestamp":1725455971416},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354056974X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021893","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:27:24Z","timestamp":1132712844000},"page":"105-128","source":"Crossref","is-referenced-by-count":1,"title":["Taxonomic reasoning with cycles in LOGIDATA+"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Beneventano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonia","family":"Bergamaschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Sartori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Baader, F. Terminological cycles in KL-ONE-based KR-languages. In Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, Boston, Mass., 1990."},{"key":"9_CR2","volume-title":"Technical Report 80","author":"D. Beneventano","year":"1991","unstructured":"Beneventano, D. Computation of Subsumption with Cycles in LOGIDATA+. Technical Report 80, CIOC-CNR, Bologna, October 1991."},{"key":"9_CR3","volume-title":"Subsumption for Complex Object Data Models","author":"D. Beneventano","year":"1992","unstructured":"Beneventano, D., and Bergamaschi, S. Subsumption for Complex Object Data Models. Proceedings of the International Conference on Database Theory, Berlin-1992, Springer Verlag Publisher."},{"key":"9_CR4","unstructured":"Bergamaschi, S., and Nebel, B. Theoretical fondations of complex object data models Technical Report 5\/91, CNR, Progetto Finalizzato Sistemi Informatica e Calcolo Parallelo, Sottoprogetto 5, January 1992."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., and Vardi, M.Y. A new approach to database logic. In PODS '84, pages 86\u201396. SIGACT-SIGMOD-SIGART, ACM Press, 1984.","DOI":"10.21236\/ADA141130"},{"key":"9_CR6","unstructured":"Lecluse, C., and Richard, P. The O2 data model. In Int. Conf. On Very Large Data Bases, 1989."},{"key":"9_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. Foundations of Logic Programming. Springer Verlag, Berlin, 1987."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"B. Nebel. Terminological cycles: semantics and computational properties. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-4832-0771-1.50018-7"},{"key":"9_CR9","volume-title":"Denotational Semantics: A Methodology for Languages Development","author":"D.A. Schmidt","year":"1986","unstructured":"D.A. Schmidt. Denotational Semantics: A Methodology for Languages Development. Allyn and Bacon, Boston, 1986."}],"container-title":["Lecture Notes in Computer Science","LOGIDATA+: Deductive Databases with Complex Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021893.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:12Z","timestamp":1607532432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021893"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354056974X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0021893","relation":{},"subject":[]}}