{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:33Z","timestamp":1725455973076},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354056974X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021892","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:27:24Z","timestamp":1132730844000},"page":"85-104","source":"Crossref","is-referenced-by-count":1,"title":["Introducing taxonomic reasoning in LOGIDATA+"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Artale","sequence":"first","affiliation":[]},{"given":"Francesca","family":"Cesarini","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Soda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and R. Hull. IFO: A Formal Semantic Database Model. In ACM TODS, vol. 12, n.4, 1987.","DOI":"10.1145\/32204.32205"},{"key":"8_CR2","unstructured":"A. Artale, D. Beneventano, S. Bergamaschi, F. Cesarini, C. Sartori and G. Soda. Taxonomic Reasonig in LOGIDATA+. In this volume, LOGIDATA +: Deductive Databases with complex objects, P. Atzeni ed., Lecture Notes in Computer Science, Springer-Verlag."},{"key":"8_CR3","unstructured":"P. Atzeni, F. Cacace, S. Ceri, L. Tanca. The LOGIDATA+ model. In this volume, LOGIDATA +:Deductive Databases with complex objects, P. Atzeni ed., Lecture Notes in Computer Science, Springer-Verlag."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"R.J. Brachman, D.L. MacGuinness, P.F. Patel-Schneider and L.A. Resnick. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In Principles of Semantic Networks, J.Sowa, Morgan Kaufmann Publishers, Inc., 1990.","DOI":"10.1016\/B978-1-4832-0771-1.50022-9"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A Semantics of Multiple Inheritance. Semantics of Data Types, Springer-Verlag, pp.51\u201367, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"L.M.L. Delcambre and K.C. Davis. Automatic Validation of Object-Oriented Database Structures. In Proceedings of Int. Conf. on Data Engineering, 1989.","DOI":"10.1109\/ICDE.1989.47194"},{"key":"8_CR7","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt. The complexity of concept languages. In Proceedings of the 2nd Int. Conf. on Principles of Knowledge Representation and Reasoning, KR-91, Morgan Kaufmann, 1991."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"C. Lecluse and P. Richard. Modelling Complex Structures in Object-Oriented Databases. In ACM PODS, pp.360\u2013367,1 1989.","DOI":"10.1145\/73721.73756"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H.J. Levesque","year":"1987","unstructured":"H.J. Levesque and R.J. Brachman. Expressiveness and Tractability in Knowledge Representation and Reasoning. In Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"8_CR10","unstructured":"B. Nebel. Terminological Reasoning is Inherently Intractable. In IWBS Report 82, September 1989."},{"key":"8_CR11","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems. In Lecture Notes in Artificial Intelligence, n. 422, Springer-Verlag, 1990."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","volume":"39","author":"P.F. Patel-Schneider","year":"1989","unstructured":"P.F. Patel-Schneider. Undeciability of subsumption in NIKL. In Artificial Intelligence, 39:263\u2013272, 1989.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","LOGIDATA+: Deductive Databases with Complex Objects"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0021892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:34:13Z","timestamp":1586579653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021892"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354056974X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0021892","relation":{},"subject":[]}}