{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:09:45Z","timestamp":1736140185548,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":37,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354056974X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021891","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:27:24Z","timestamp":1132730844000},"page":"79-84","source":"Crossref","is-referenced-by-count":0,"title":["Taxonomic reasoning in LOGIDATA+"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Beneventano","sequence":"first","affiliation":[]},{"given":"Sonia","family":"Bergamaschi","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Sartori","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Artale","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Cesarini","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Soda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"P. Atzeni, F. Cacace, S. Ceri, and L. Tanca. The LOGIDATA+ model. Technical Report 5\/20, CNR \u2014 Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo \u2014 S5, 1990.","DOI":"10.1007\/BFb0021887"},{"issue":"4","key":"7_CR2","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"S. Abiteboul","year":"1987","unstructured":"S. Abiteboul and R. Hull. IFO: A formal semantic database model. ACM Transactions on Database Systems, 12(4):525\u2013565, 1987.","journal-title":"ACM Transactions on Database Systems"},{"key":"7_CR3","unstructured":"H. Ait-Kaci. Type subsumption as a model of computation. In L. Kershberg, editor, 1st Int. Workshop on Expert Database Systems, pages 115\u2013140. The Benjamin-Cimmings Publishing Company Inc., 1986."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In SIGMOD, pages 159\u2013173. ACM Press, 1989.","DOI":"10.1145\/67544.66941"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0169-023X(88)90011-0","volume":"3","author":"P. Atzeni","year":"1988","unstructured":"P. Atzeni and D.S. Parker. Formal properties of net-based knowledge representation schemes. Data and Knowledge Engineering, 3:137\u2013147, 1988.","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(86)90011-3","volume":"62","author":"P. Atzeni","year":"1988","unstructured":"P. Atzeni and D.S. Parker. Set containment inference and syllogisms. Theoretical Computer Science, 62:39\u201365, 1988.","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","first-page":"58","volume-title":"SIGMOD","author":"A. Borgida","year":"1989","unstructured":"A. Borgida, R.J. Brachman, D.L. McGuinness, and L.A. Resnick. CLASSIC: A structural data model for objects. In SIGMOD, pages 58\u201367, Portland, Oregon, 1989. ACM."},{"key":"7_CR8","first-page":"443","volume-title":"On taxonomical reasoning in E\/R environment","author":"S. Bergamaschi","year":"1989","unstructured":"S. Bergamaschi, L. Cavedoni, C. Sartori, and P. Tiberio. On taxonomical reasoning in E\/R environment. In C. Batini, editor, 7th Int. Conf. on the Entity Relationship Approach-Roma-1988, pages 443\u2013454, Amsterdam, 1989. Elsevier Science Publisher B.V. (North-Holland)."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"H.W. Beck, S.K. Gala, and S.B. Navathe. Classification as a query processing technique in the CANDIDE data model. In 5th Int. Conf. on Data Engineering, pages 572\u2013581, Los Angeles, CA, 1989.","DOI":"10.1109\/ICDE.1989.47264"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00187.x","volume":"3","author":"R.J. Brachman","year":"1987","unstructured":"R.J. Brachman, and H.J. Levesque. Expressiveness and Tractability in Knowledge Representation and REasoning. Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"7_CR11","unstructured":"R.J. Brachman, and H.J. Levesque. The tractability of Subsumption in Frame-Based Description Languages. AAAI, 34\u201337, 1984."},{"key":"7_CR12","unstructured":"S. Bergamaschi and B. Nebel. The complexity of multiple inheritance in complex object data models. Workshop on AI and Objects \u2014 IJCAI '91, Sidney-Australia, August 1991 (also available as Technical Report 74 CIOC-CNR, Viale Risorgimento,2 Bologna, Italia, December 1991)."},{"key":"7_CR13","unstructured":"R.J. Brachman, D.L. McGuiness, P.F. Patel-Schneider, L. Alperin Resnick, A. Borgida. Living with Classic: when and how to use a KL-ONE language. in [Sowa91]"},{"issue":"2","key":"7_CR14","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"R.J. Brachman and J.G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"S. Bergamaschi and C. Sartori. On taxonomic reasoning in conceptual design. ACM Transactions on Database Systems, Vol.17, N.3, Sept, 1992.","DOI":"10.1145\/132271.132272"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A semantics of multiple inheritance. em Semantics of Data Types-Lecture Notes in Computer Science N. 173, 1984, pages 51\u201367, 1984. Springer-Verlag.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"7_CR17","unstructured":"G. Di Battista and M. Lenzerini. A deductive method for Entity-Relationship modelling. In 15th Int. Conf. on Very Large Databases, pages 13\u201321, Amsterdam s-NL, August 1989."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"L.M.L. Delcambre and K.C. Davis. Automatic validation of objectoriented database structures. In 5th Int. Conf. on Data Engineering, pages 2\u20139, Los Angeles, CA, 1989.","DOI":"10.1109\/ICDE.1989.47194"},{"key":"7_CR19","volume-title":"rap.01.91","author":"F.M. Donini","year":"1991","unstructured":"F.M. Donini and B. Hollunder and M. Lenzerini and A. Marchetti Spaccamela and D. Nardi and W. Nutt. The Complexity of Existential Quantification in Concept Languages, rap.01.91, Dipartimento di Informatica e Sistemistica, Roma, 1991."},{"key":"7_CR20","first-page":"151","volume-title":"The Complexity of Concept Languages","author":"F. M. Donini","year":"1991","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi and W. Nutt. The Complexity of Concept Languages. In J. Allen and R. Fikes and E. Sandewall, editors, KR '91 \u2014 2nd Int. Conf on Principles of Knowledge Representation and Reasoning, pages 151\u2013162, 1991. Morgan Kauffmann Publishers, Inc., Cambridge-MA."},{"key":"7_CR21","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi and W. Nutt. Tractable Concept Languages. In IJCAI 91, Sidney, Australia, 1991."},{"key":"7_CR22","unstructured":"T. Finin and D. Silverman. Interactive classification as a knowledge acquisition tool. In L. Kershberg, editor, Expert Database Systems, pages 79\u201390. The Benjamin\/Cummings Publishing Company Inc., 1986."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"G.M. Kuper and M.Y. Vardi. A new approach to database logic. In PODS '84, pages 86\u201396. SIGACT-SIGMOD-SIGART, ACM Press, 1984.","DOI":"10.21236\/ADA141130"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"C. Lecluse and P. Richard. Modelling complex structures in objectoriented databases. In Symp. on Principles of Database Systems, pages 362\u2013369. ACM SIGACT-SIGMOD-SIGART, 1989.","DOI":"10.1145\/73721.73756"},{"key":"7_CR25","unstructured":"C. Lecluse and P. Richard. The O2 data model. In Int. Conf. On Very Large Data Bases, 1989."},{"key":"7_CR26","first-page":"424","volume-title":"SIGMOD","author":"C. Lecluse","year":"1988","unstructured":"C. Lecluse, P. Richard, and F. Velez. O2, an object-oriented data model. In SIGMOD, pages 424\u2013433, Chicago \u2014 IL, June 1988. ACM."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"B. Nebel. Computational complexity of terminological reasoning in BACK, In Artificial Intelligence. vol. 34, n.3, 1988.","DOI":"10.1016\/0004-3702(88)90066-5"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"B. Nebel. Terminological reasoning is inherently intractable. In Artificial Intelligence. vol. 43, n.2, 1990.","DOI":"10.1016\/0004-3702(90)90087-G"},{"key":"7_CR29","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":"7_CR30","unstructured":"B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, n. 422, 1990."},{"key":"7_CR31","first-page":"11","volume-title":"Workshop on Principles of Knowledge-Based Systems","author":"P.F. Patel-Schneider","year":"1984","unstructured":"P.F. Patel-Schneider. Small can be beautiful in knowledge representation. In Workshop on Principles of Knowledge-Based Systems, pages 11\u201316, Denver-Colorado, December 1984. IEEE."},{"key":"7_CR32","unstructured":"P.F. Patel-Schneider. A four-valued semantics for frame-based description languages. In AAAI, pages 344\u2013348, 1986."},{"key":"7_CR33","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. Undecidability of Subsumption in NIKL. Artificial Intelligence, 39:263\u2013272, 1989.","journal-title":"Artificial Intelligence"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"P.F. Patel-Schneider. Pratical Obiect-Based Knowledge Representation for Knowledge-Based System. Information System, vol.15, n.1, 1990.","DOI":"10.1016\/0306-4379(90)90013-F"},{"key":"7_CR35","unstructured":"P.F. Patel-Schneider. A four-valued semantics for frame-based description languages. In AAAI, pages 344\u2013348, 1986."},{"key":"7_CR36","unstructured":"M. Schmidt-Schauss. Subsumption in KL-ONE is undecidable. In Brachmann, R.J. and Levesque, H.J. and R. Reiter, editors, KR '89 \u2014 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 421\u2013431, Morgan Kauffmann Publishers, Inc., Toronto-Canada."},{"key":"7_CR37","unstructured":"Sowa J.F. editor Principles of Semantic Networks, Morgan Kaufmann Publishers."}],"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\/BFb0021891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:37:21Z","timestamp":1736113041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021891"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354056974X"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/bfb0021891","relation":{},"subject":[]}}