{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:46:33Z","timestamp":1725471993643},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540467885"},{"type":"electronic","value":"9783540467908"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11896548_39","type":"book-chapter","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T06:02:49Z","timestamp":1161151369000},"page":"517-534","source":"Crossref","is-referenced-by-count":6,"title":["Unsatisfiability Reasoning in ORM Conceptual Schemes"],"prefix":"10.1007","author":[{"given":"Mustafa","family":"Jarrar","sequence":"first","affiliation":[]},{"given":"Stijn","family":"Heymans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Bird, L., Goodchild, A., Halpin, T. A.: Object Role Modelling and XML-Schema. In: Laender, A.H.F., Liddle, S.W., Storey, V.C. (eds.) ER 2000. LNCS, vol.\u00a01920, pp. 309\u2013322. Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-45393-8_23"},{"issue":"5","key":"39_CR3","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/0306-4379(91)90037-A","volume":"16","author":"P. Bommel","year":"1991","unstructured":"van Bommel, P., ter Hofstede, A.H.M., van der Weide, T.P.: Semantics and verification of object role models. Information Systems\u00a016(5), 471\u2013495 (1991)","journal-title":"Information Systems"},{"key":"39_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 (2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Information integration: Conceptual Modeling and reasoning support. In: Proceedings of the 6th International Conference on Cooperative Information Systems (CoopIS 1998), pp. 280\u2013291 (1998)","DOI":"10.1109\/COOPIS.1998.706234"},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Demey, J., Jarrar, M., Meersman, R.: A Conceptual Markup Language that supports interoperability between Business Rule modeling systems. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol.\u00a02519, pp. 19\u201335. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-36124-3_2"},{"key":"39_CR7","unstructured":"De Troyer, O., Meersman, R., Verlinden, P.: RIDL* on the CRIS case: A Workbench for NIAM. Technical report. INFOLAB, Tilburg University, The Netherlands"},{"key":"39_CR8","unstructured":"Halpin, T.: Object-Role Modeling: an overview. White paper, http:\/\/www.orm.net"},{"key":"39_CR9","doi-asserted-by":"crossref","unstructured":"Halpin, T.: Information Modeling and Relational Databases, 3rd edn. Morgan-Kaufmann, San Francisco (2001)","DOI":"10.1016\/B978-155860672-2\/50014-2"},{"key":"39_CR10","unstructured":"Halpin, T.: A logical analysis of information systems: static aspects of the data-oriented perspective. Ph.D thesis, University of Queensland, Brisbane, Australia (1989)"},{"key":"#cr-split#-39_CR11.1","unstructured":"Halpin, T.: An Interview- Modeling for Data and Business Rules. In: Ross, R. (ed.) Database Newsletter, vol.\u00a025(5) (September\/October 1997);"},{"key":"#cr-split#-39_CR11.2","unstructured":"This newsletter has since been renamed Business Rules Journal and is published by Business Rules Solutions, Inc."},{"key":"39_CR12","unstructured":"Jarrar, M.: Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. In: Proceeding of the 15th International World Wide Web Conference, WWW2006, Edinburgh, Scotland, May 2006. ACM, New York (2006)"},{"key":"39_CR13","unstructured":"Jarrar, M.: Towards Methodological Principles for Ontology Engineering. Ph.D thesis, Vrije Universiteit Brussel (2005)"},{"key":"39_CR14","unstructured":"Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Jarrar, M., Verlinden, R., Meersman, R.: Ontology-Based Customer Complaint Management. In: Meersman, R., Tari, Z. (eds.) OTM-WS 2003. LNCS, vol.\u00a02889, pp. 594\u2013606. Springer, Heidelberg (2003)","DOI":"10.1007\/978-3-540-39962-9_63"},{"key":"39_CR16","unstructured":"North, K.: Modeling, Data Semantics, and Natural Language. New Architect magazine (1999)"},{"key":"39_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0169-023X(95)00045-T","volume":"19","author":"O. Troyer","year":"1996","unstructured":"De Troyer, O.: A formalization of the binary Object-role Model based on Logic. Data & Knowledge Engineering\u00a019, 1\u201337 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"De Troyer, O., Meersman, R.: A Logic Framework for a Semantics of Object-Oriented Data Modelling. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol.\u00a01021, pp. 238\u2013249. Springer, Heidelberg (1995)","DOI":"10.1007\/BFb0020536"},{"key":"39_CR19","unstructured":"Jarrar, M., Franconi, E.: Mapping ORM into the DLR description logic. Technical Report (August 2005)"}],"container-title":["Lecture Notes in Computer Science","Current Trends in Database Technology \u2013 EDBT 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11896548_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:55:47Z","timestamp":1605642947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11896548_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540467885","9783540467908"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11896548_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}