{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:00Z","timestamp":1725663960273},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_249","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:11:18Z","timestamp":1330211478000},"page":"375-384","source":"Crossref","is-referenced-by-count":1,"title":["Introducing knowledge representation techniques in database models"],"prefix":"10.1007","author":[{"given":"A.","family":"Artale","sequence":"first","affiliation":[]},{"given":"F.","family":"Cesarini","sequence":"additional","affiliation":[]},{"given":"G.","family":"Soda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"S.Abiteboul, R.Hull. IFO: A Formal Semantic Database Model. ACM Transactions on Database Systems, vol.12, n.4, 1987.","DOI":"10.1145\/32204.32205"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"A.Artale, F.Cesarini, G.Soda. Subsumption Computation in an Object-Oriented Data Model. Proc. of PDK91, Kaiserslautern, July 1991.","DOI":"10.1007\/BFb0013525"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Workshop \u201cInformation Systems 90\u201d","author":"P. Atzeni","year":"1990","unstructured":"P.Atzeni, L.Tanca. The LOGIDATA+ model and Language. Workshop \u201cInformation Systems 90\u201d, Kiev, Oct. 1990, to appear in Lecture Notes in Computer Science, Springer-Verlag."},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"H.W.Beck, S.K.Gala, S.B.Navathe. Classification as a query processing technique in the CANDIDE semantic data model. Fifth IEEE International Conference on Data Engineering, Los Angeles, 1989.","DOI":"10.1109\/ICDE.1989.47264"},{"key":"37_CR5","unstructured":"S.Bergamaschi, C.Sartori, P.Tiberio. On Taxonomic Reasoning in Conceptual Design. Rapporto Tecnico CIOC CNR n.68, Bologna, 1990."},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"A.Borgida, R.J.Brachman, D.L.MacGuinness, L.A.Resnick. CLASSIC: a structural data model for objects. Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oreg., June 1989.","DOI":"10.1145\/67544.66932"},{"key":"37_CR7","unstructured":"R.J.Brachman, H.J.L\u00e9vesque. The tractability of subsumption in Frame-Based description languages. AAAI National Conference on Artificial Intelligence, Austin, Texas, 1984."},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"R.J.Brachman, J.G.Schmolze. An overview of the KL-ONE knowledge representation system. Cognitve science, 9, 1985.","DOI":"10.1016\/S0364-0213(85)80014-8"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"L.Cardelli. A Semantic of Multiple Inheritance. Semantics of Data Type, Lecture Notes in Computer science, Vol. 173, Springer Verlag, 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"37_CR10","unstructured":"L.M.L.Delcambre, K.C.Davis. Automatic Validation of Object-Oriented Database Structures, proc. of int. conf. Data Engineering, 1989."},{"key":"37_CR11","series-title":"rap.01.91","volume-title":"The complexity of existential quantification in concept languages","author":"F. M. Donini","year":"1991","unstructured":"F.M.Donini, B.Hollunder, M.Lenzerini, A. MarchettiSpaccamela, D.Nardi, W.Nutt. The complexity of existential quantification in concept languages, rap.01.91, Dipartimento di Informatica e Sistemistica, Roma, 1991."},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"C.L\u00e9cluse, P.Richard, F.Velez. O 2, an Object-Orieted Data Model. Proceedings ACM SIGMOD, 1988.","DOI":"10.1145\/50202.50253"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"C.Lecluse, P.Richard. Modeling Complex Structures in Object-Oriented Databases, proc. of PODS89, 1989.","DOI":"10.1145\/73721.73756"},{"key":"37_CR14","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. J. L\u00e9vesque","year":"1987","unstructured":"H.J.L\u00e9vesque, R.J.Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3:78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"37_CR15","unstructured":"B.Nebel. Terminological reasoning is inherently intractable. IWBS Report 82, September 1989."},{"key":"37_CR16","unstructured":"B.Nebel. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, n. 422, Springer-Verlag, 1990."},{"key":"37_CR17","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":"37_CR18","doi-asserted-by":"crossref","unstructured":"P.F.Patel-Schneider. Practical, Object-Based Knowledge Representation for Knowledge-Based Systems. Information Systems, vol.15, n.1, 1990.","DOI":"10.1016\/0306-4379(90)90013-F"}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_249.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:20Z","timestamp":1605646580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_249","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}