{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:58:32Z","timestamp":1725749912499},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642410321"},{"type":"electronic","value":"9783642410338"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41033-8_58","type":"book-chapter","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T02:14:30Z","timestamp":1380075270000},"page":"448-456","source":"Crossref","is-referenced-by-count":5,"title":["Towards a Core ORM2 Language (Research Note)"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Franconi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Mosca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"58_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-33618-8_51","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012 Workshops","author":"E. Franconi","year":"2012","unstructured":"Franconi, E., Mosca, A., Solomakhin, D.: ORM2: Formalisation and encoding in OWL2. In: Herrero, P., Panetto, H., Meersman, R., Dillon, T. (eds.) OTM-WS 2012. LNCS, vol.\u00a07567, pp. 368\u2013378. Springer, Heidelberg (2012)"},{"key":"58_CR2","unstructured":"Franconi, E., Mosca, A.: The formalisation of ORM2 and its encoding in OWL2. Technical Report KRDB12-2, KRDB Research Centre, Free University of Bozen-Bolzano (2012), http:\/\/www.inf.unibz.it\/krdb\/pub\/TR\/KRDB12-2.pdf"},{"volume-title":"The description logic handbook: theory, implementation, and applications","year":"2003","key":"58_CR3","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The description logic handbook: theory, implementation, and applications. Cambridge University Press, New York (2003)"},{"key":"58_CR4","doi-asserted-by":"crossref","unstructured":"Halpin, T., Morgan, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann (2008)","DOI":"10.1016\/B978-012373568-3.50016-3"},{"key":"58_CR5","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. Artif. Intell. Res. (JAIR)\u00a011, 199\u2013240 (1999)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1","key":"58_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10515-008-0044-6","volume":"16","author":"Y. Smaragdakis","year":"2009","unstructured":"Smaragdakis, Y., Csallner, C., Subramanian, R.: Scalable satisfiability checking and test data generation from modeling diagrams. Automated Software Engineering\u00a016(1), 73\u201399 (2009)","journal-title":"Automated Software Engineering"},{"key":"58_CR7","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/2001420.2001428","volume-title":"Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011","author":"M.J. McGill","year":"2011","unstructured":"McGill, M.J., Dillon, L.K., Stirewalt, R.E.K.: Scalable analysis of conceptual data models. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011, pp. 56\u201366. ACM, New York (2011)"},{"key":"58_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2013-822","volume":"124","author":"E. Franconi","year":"2013","unstructured":"Franconi, E., Mosca, A., Solomakhin, D.: Logic-based reasoning support for SBVR. Fundamenta Informaticae\u00a0124, 1\u201318 (2013)","journal-title":"Fundamenta Informaticae"},{"key":"58_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-lite: Finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng.\u00a073, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2013 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41033-8_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,6]],"date-time":"2022-03-06T21:20:00Z","timestamp":1646601600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41033-8_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642410321","9783642410338"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41033-8_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}