{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T06:54:14Z","timestamp":1760424854713},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755623"},{"type":"electronic","value":"9783540755630"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75563-0_20","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"277-292","source":"Crossref","is-referenced-by-count":33,"title":["Reasoning over Extended ER Models"],"prefix":"10.1007","author":[{"given":"A.","family":"Artale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Calvanese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Kontchakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Ryzhikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Zakharyaschev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: DL-Lite in the light of first-order logic. In: Proc. of the 22nd Nat.Conf. on Artificial Intelligence (AAAI\u00a02007) (2007)"},{"key":"20_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"20_CR3","unstructured":"Batini, C., Ceri, S., Navathe, S.B.: Conceptual Database Design, an Entity-Relationship Approach. Benjamin and Cummings Publ. Co. (1992)"},{"key":"20_CR4","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language reference. W3C Recommendation, Available at (February 2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"issue":"1\u20132","key":"20_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"G.D. Berardi","year":"2005","unstructured":"Berardi, G.D., Calvanese, D., Giacomo, D.: Reasoning on UML class diagrams. Artificial Intelligence\u00a0168(1\u20132), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"20_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"20_CR7","unstructured":"Calvanese, G.D., Giacomo, D.: Expressive description logics. In: Baader. F., et al. (eds.) [2], ch.5, pp. 178\u2013218 (2003)"},{"key":"20_CR8","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI\u00a02005), pp. 602\u2013607 (2005)"},{"key":"20_CR9","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR\u00a02006), pp. 260\u2013270 (2006)"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1109\/ICDE.1994.283032","volume-title":"Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE\u201994)","author":"D. Calvanese","year":"1994","unstructured":"Calvanese, D., Lenzerini, M.: On the interaction between ISA and cardinality constraints. In: Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE\u201994), pp. 204\u2013213. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"20_CR11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.548","volume":"11","author":"D. Calvanese","year":"1999","unstructured":"Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. J. of Artificial Intelligence Research\u00a011, 199\u2013240 (1999)","journal-title":"J. of Artificial Intelligence Research"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides\u00a035 (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1109\/69.224196","volume":"5","author":"G. Battista Di","year":"1993","unstructured":"Di Battista, G., Lenzerini, M.: Deductive entity-relationship modeling. IEEE Trans. on Knowledge and Data Engineering\u00a05(3), 439\u2013450 (1993)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"20_CR14","unstructured":"ElMasri, R.A., Navathe, S.B.: Fundamentals of Database Systems, 5th edn. Addison Wesley Publ.Co. (2007)"},{"key":"20_CR15","volume-title":"Theory of Computation","author":"D. Kozen","year":"2006","unstructured":"Kozen, D.: Theory of Computation. Springer, Heidelberg (2006)"},{"issue":"4","key":"20_CR16","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/0306-4379(90)90048-T","volume":"15","author":"M. Lenzerini","year":"1990","unstructured":"Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Information Systems\u00a015(4), 453\u2013461 (1990)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75563-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T00:00:59Z","timestamp":1708300859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}