{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:34Z","timestamp":1725664894211},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:45:49Z","timestamp":1330289149000},"page":"229-246","source":"Crossref","is-referenced-by-count":12,"title":["Structured objects: Modeling and reasoning"],"prefix":"10.1007","author":[{"given":"Diego","family":"Calvanese","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Giacomo","sequence":"additional","affiliation":[]},{"given":"Maurizio","family":"Lenzerini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and A. Bonner. Objects and views. In J. Clifford and R. King, editors, Proc. of ACM SIGMOD, pages 238\u2013247, 1991.","DOI":"10.1145\/115790.115830"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proc. of ACM SIGMOD, pages 159\u2013173, 1989.","DOI":"10.1145\/67544.66941"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, C. Delobel, and P. Kanellakis. Building an Object-Oriented Database System \u2014 The story of O2. Morgan Kaufmann, 1992.","DOI":"10.1145\/130283.130289"},{"issue":"3","key":"13_CR4","doi-asserted-by":"crossref","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 Trans. on Database Systems, 17(3):385\u2013422, 1992.","journal-title":"ACM Trans. on Database Systems"},{"issue":"1","key":"13_CR5","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0306-4379(94)90025-6","volume":"19","author":"M. Buchheit","year":"1994","unstructured":"M. Buchheit, M. A. Jeusfeld, W. Nutt, and M. Staudt. Subsumption between queries to Object-Oriented databases. Information Systems, 19(1):33\u201354, 1994.","journal-title":"Information Systems"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"D. Calvanese and M. Lenzerini. Making object-oriented schemas more expressive. In Proc. of PODS-94, pages 243\u2013254. ACM Press and Addison Wesley, 1994.","DOI":"10.1145\/182591.182620"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"D. Calvanese, M. Lenzerini, and D. Nardi. A unified framework for class based representation formalisms. In J. Doyle, E. Sandewall, and P. Torasso, editors, Proc. of KR-94, pages 109\u2013120. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50107-X"},{"issue":"4","key":"13_CR8","doi-asserted-by":"crossref","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. J. of Intelligent and Cooperative Information Systems, 2(4):375\u2013398, 1993.","journal-title":"J. of Intelligent and Cooperative Information Systems"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"R. G. G. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann, 1994. Release 1.1.","DOI":"10.1145\/191839.191937"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"V. Christophides, S. Abiteboul, S. Cluet, and M. Scholl. From structured documents to novel query facilities. In R. T. Snodgrass and M. Winslett, editors, Proc. of ACM SIGMOD, pages 313\u2013324, 1994.","DOI":"10.1145\/191839.191901"},{"key":"13_CR11","unstructured":"G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms and their Application to Medical Terminology Servers. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma \u201cLa Sapienza\u201d, 1995."},{"key":"13_CR12","unstructured":"G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and prepositional dynamic logics. In Proc. of AAAI-94, pages 205\u2013212. AAAI Press\/The MIT Press, 1994."},{"key":"13_CR13","unstructured":"G. De Giacomo and M. Lenzerini. What's in an aggregate: Foundations for description logics with tuples and sets. In Proc. of IJCAI-95, 1995."},{"issue":"3","key":"13_CR14","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/69.224196","volume":"5","author":"G. Battista Di","year":"1993","unstructured":"G. Di Battista and M. Lenzerini. Deductive entity-relationship modeling. IEEE Trans. on Knowledge and Data Engineering, 5(3):439\u2013450, 1993.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and C. S. Jutla. On simultaneously determinizing and complementing \u03c9-automata. In Proc. of LICS-89, pages 333\u2013342, 1989.","DOI":"10.1109\/LICS.1989.39188"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M. J. Fischer","year":"1979","unstructured":"M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Sciences, 18:194\u2013211, 1979.","journal-title":"J. of Computer and System Sciences"},{"key":"13_CR17","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic, volume 2","author":"D. Harel","year":"1984","unstructured":"D. Harel. Dynamic logic. In Handbook of Philosophical Logic, volume 2, pages 497\u2013640. D. Reidel, Dordrecht, Holland, 1984."},{"key":"13_CR18","unstructured":"R. Hull. A survey of theoretical research on typed complex database objects. In J. Paredaens, editor, Databases, pages 193\u2013256. Academic Press, 1988."},{"issue":"3","key":"13_CR19","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. B. Hull","year":"1987","unstructured":"R. B. Hull and R. King. Semantic database modelling: Survey, applications and research issues. ACM Computing Surveys, 19(3):201\u2013260, Sept. 1987.","journal-title":"ACM Computing Surveys"},{"key":"13_CR20","first-page":"789","volume-title":"Handbook of Theoretical Computer Science \u2014 Formal Models and Semantics","author":"D. Kozen","year":"1990","unstructured":"D. Kozen and J. Tiuryn. Logics of programs. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science \u2014 Formal Models and Semantics, pages 789\u2013840. Elsevier Science Publishers (North-Holland), 1990."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"C. Lecluse and P. Richard. Modeling complex structures in object-oriented databases. In Proc. of PODS-89, pages 362\u2013369, 1989.","DOI":"10.1145\/73721.73756"},{"issue":"2","key":"13_CR22","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00872106","volume":"4","author":"M. Staudt","year":"1994","unstructured":"M. Staudt, M. Nissen, and M. Jeusfeld. Query by class, rule and concept. J. of Applied Intelligence, 4(2):133\u2013157, 1994.","journal-title":"J. of Applied Intelligence"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"C. Stirling. Modal and temporal logic. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, pages 477\u2013563. Clarendon Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0005"},{"key":"13_CR24","first-page":"121","volume":"54","author":"R. E. Streett","year":"1982","unstructured":"R. E. Streett. Propositional dynamic logic of looping and converse is elementarily decidable. Information and Computation, 54:121\u2013141, 1982.","journal-title":"Information and Computation"},{"key":"13_CR25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0022-0000(86)90026-7","volume":"32","author":"M. Y. Vardi","year":"1986","unstructured":"M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences, 32:183\u2013221, 1986.","journal-title":"J. of Computer and System Sciences"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"W. A. Woods and J. G. Schmolze. The KL-ONE family. In F. W. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133\u2013178. Pergamon Press, 1992. Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2\u20139.","DOI":"10.1016\/0898-1221(92)90139-9"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:01:58Z","timestamp":1713632518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}