{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:07:14Z","timestamp":1725494834013},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_14","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T07:07:07Z","timestamp":1194937627000},"page":"181-197","source":"Crossref","is-referenced-by-count":16,"title":["Towards Automated Reasoning on ORM Schemes"],"prefix":"10.1007","author":[{"given":"Mustafa","family":"Jarrar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, D.N.P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on uml class diagrams. Artificial Intelligence\u00a0168(1), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"14_CR3","first-page":"178","volume-title":"Proceedings of the 10th International Conference on Principles of KnowledgeRepresentation and Reasoning (KR2006)","author":"D. Calvanese","year":"2006","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Doherty, P., Mylopoulos, J., Welty, C. (eds.) Proceedings of the 10th International Conference on Principles of KnowledgeRepresentation and Reasoning (KR2006), Menlo Park, California, pp. 178\u2013218. AAAI Press, Stanford, California, USA (2006)"},{"key":"14_CR4","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI2001), pp. 155\u2013160 (2001)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0169-023X(95)00045-T","volume":"19","author":"O.. Troyer de","year":"1996","unstructured":"de Troyer, O.: A formalization of the binary object-role model based on logic. Data and Knowledge Engineering\u00a019, 1\u201337 (1996)","journal-title":"Data and Knowledge Engineering"},{"key":"14_CR6","volume-title":"7th Int. WS on Knowledge Representation meets Databases(KRDB\u201900)","author":"E. Franconi","year":"2000","unstructured":"Franconi, E., Ng, G.: The i.com tool for intelligent conceptual modelling. In: 7th Int. WS on Knowledge Representation meets Databases(KRDB\u201900), Springer, Heidelberg (2000)"},{"key":"14_CR7","unstructured":"Halpin, T.: A logical analysis of information systems: static aspects of the data-oriented perspective. PhD thesis, University of Queensland, Brisbane, Australia (1989)"},{"key":"14_CR8","volume-title":"Information Modeling and Relational Databases","author":"T. Halpin","year":"2001","unstructured":"Halpin, T.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2001)"},{"key":"14_CR9","unstructured":"Halpin, T.: Join constraints. In: Halpin, T., Siau, K., Krogstie, J. (eds.) Proceedings of the 7th International IFIP WG8.1 Workshop on Evaluation ofModeling Methods in Systems Analysis and Design ( EMMSAD\u201902) (June 2002)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"T. Halpin","year":"2005","unstructured":"Halpin, T.: Objectification. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005)"},{"key":"14_CR11","volume-title":"OTM 2006","author":"T. Halpin","year":"2006","unstructured":"Halpin, T., Curland, M.: Automated verbalization for orm 2. In: Meersman, R., Tari, Z. (eds.) OTM 2006, Springer, Heidelberg (2006)"},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0169-023X(95)00005-D","volume":"15","author":"T. Halpin","year":"1995","unstructured":"Halpin, T., Proper, E.: Subtyping and polymorphism in object-role modelling. Data and Knowledge Engineering\u00a015(3), 251\u2013281 (1995)","journal-title":"Data and Knowledge Engineering"},{"key":"14_CR13","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible $\\mathcal{SROIQ}$ . In: Proceeding of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u00a02006) (2006)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Logic Programming and Automated Reasoning","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol.\u00a01705, pp. 161\u2013180. Springer, Heidelberg (1999)"},{"key":"14_CR15","unstructured":"Jarrar, M.: Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium (May 2005)"},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1145\/1135777.1135850","volume-title":"Proceedings of the 15th international conference on World Wide Web (WWW2006)","author":"M. Jarrar","year":"2006","unstructured":"Jarrar, M.: Towards the notion of gloss, and the adoption of linguistic resources informal ontology engineering. In: Proceedings of the 15th international conference on World Wide Web (WWW2006), May 2006, pp. 497\u2013503. ACM Press, New York (2006)"},{"key":"14_CR17","first-page":"185","volume":"2800","author":"M. Jarrar","year":"2003","unstructured":"Jarrar, M., Demey, J., Meersman, R.: On using conceptual data modeling for ontology engineering. Journal on Data Semantics (Special issue on Best papers from the ER\/ODBASE\/COOPIS2002 Conferences)\u00a02800, 185\u2013207 (2003)","journal-title":"Journal on Data Semantics (Special issue on Best papers from the ER\/ODBASE\/COOPIS2002 Conferences)"},{"key":"14_CR18","unstructured":"Jarrar, M., Eldammagh, M.: Reasoning on orm using racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (August 2006)"},{"key":"14_CR19","volume-title":"Proceeeding of International Conference on Semantics of a Networked World","author":"M. Jarrar","year":"2006","unstructured":"Jarrar, M., Heymans, S.: Unsatisfiability reasoning in orm conceptual schemes. In: Illarramendi, A., Srivastava, D. (eds.) Proceeeding of International Conference on Semantics of a Networked World, Munich, Germany, March 2006, vol.\u00a0LNCS, Springer, Heidelberg (2006)"},{"key":"14_CR20","unstructured":"Jarrar, M., Heymans, S.: On pattern-based ontological reasoning. International Journal on Artificial Intelligence Tools\u00a0 (2007)"},{"key":"14_CR21","unstructured":"Jarrar, M., Keet, M., Dongilli, P.: Multilingual verbalization of orm conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (February 2006)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1238","DOI":"10.1007\/3-540-36124-3_78","volume-title":"OTM 2002","author":"M. Jarrar","year":"2002","unstructured":"Jarrar, M., Meersman, R.: Formal ontology engineering in the dogma approach. In: Meersman, R., Tari, Z. (eds.) OTM 2002. LNCS, vol.\u00a02519, pp. 1238\u20131254. Springer, Heidelberg (2002)"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1007\/978-3-540-39962-9_63","volume-title":"OTM 2003","author":"M. Jarrar","year":"2003","unstructured":"Jarrar, M., Verlinden, R., Meersman, R.: Ontology-based customer complaint management. In: Meersman, R., Tari, Z. (eds.) OTM 2003. LNCS, vol.\u00a02889, pp. 594\u2013606. Springer, Heidelberg (2003)"},{"issue":"1","key":"14_CR24","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1017\/S0269888902000358","volume":"17","author":"P.S. Cranefield","year":"2002","unstructured":"Cranefield, P.S., Hart, L., Dutra, M., Baclawski, K., Kokar, M., Smith, J.: Uml for ontology development. Knowl. Eng. Rev.\u00a017(1), 61\u201364 (2002)","journal-title":"Knowl. Eng. Rev."},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/1101908.1101989","volume-title":"Proceedings of the 20th IEEE\/ACM international Conference on Automated softwareengineering","author":"J. Simmonds","year":"2005","unstructured":"Simmonds, J., Bastarrica, M.C.: A tool for automatic uml model consistency checking. In: Proceedings of the 20th IEEE\/ACM international Conference on Automated softwareengineering, pp. 431\u2013432. ACM Press, New York (2005)"},{"issue":"5","key":"14_CR26","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1016\/0306-4379(91)90037-A","volume":"16","author":"P. Bommel van","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"},{"issue":"2","key":"14_CR27","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1093\/comjnl\/35.2.148","volume":"35","author":"T..P. Weide van der","year":"1992","unstructured":"van der Weide, T.P., ter Hofstede, A.H.M., van Bommel, P.: Uniquest: determining the semantics of complex uniqueness constraints. Comput. J.\u00a035(2), 148\u2013156 (1992)","journal-title":"Comput. J."}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T09:56:21Z","timestamp":1556963781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75563-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540755623","9783540755630"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75563-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}