{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:31:40Z","timestamp":1725496300030},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768876"},{"type":"electronic","value":"9783540768883"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","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-76888-3_95","type":"book-chapter","created":{"date-parts":[[2007,11,21]],"date-time":"2007-11-21T10:46:11Z","timestamp":1195641971000},"page":"729-741","source":"Crossref","is-referenced-by-count":10,"title":["Mapping ORM into the SHOIN\/OWL Description Logic"],"prefix":"10.1007","author":[{"given":"Mustafa","family":"Jarrar","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"95_CR1","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, D.N.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"issue":"1","key":"95_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., De Giacomo, G.: Reasoning on uml class diagrams. Artificial Intelligence\u00a0168(1), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"95_CR3","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability of query containment under constraints. In: Proc. of the ACM SIGACT-SIGMOD-SIGART, pp. 149\u2013158 (1998)","DOI":"10.1145\/275487.275504"},{"key":"95_CR4","unstructured":"Calvanese, D., Lenzerini, M., De Giacomo, G.: Identification constraints and functional dependencies in description logics. In:The IJCAI 2001, pp. 155\u2013160 (2001)"},{"key":"95_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"OTM 2007 Workshops","author":"D. Bach","year":"2007","unstructured":"Bach, D., Meersman, R., Spyns, P., Trog, D.: Mapping owl-dl into orm\/ridl (to appear). In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM 2007 Workshops. LNCS, vol.\u00a04805, Springer, Heidelberg (2007)"},{"key":"95_CR6","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":"95_CR7","volume-title":"7th Int. WS on Knowledge Representation meets Databases","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, Springer, Heidelberg (2000)"},{"key":"95_CR8","unstructured":"Stoilos, G., Stamou, G., Shearer, S., Horrocks, I., Pan, J., Jarrar, M.: Requirements for further language extensions, d2.5.4. Technical report, KnowledgeWeb-IST-2004-507482 (2006)"},{"key":"95_CR9","unstructured":"Halpin, T.: A logical analysis of information systems: static aspects of the data-orientedperspective. PhD thesis, University of Queensland, Brisbane, Australia (1989)"},{"key":"95_CR10","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":"95_CR11","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                      \n                        \n                      \n                      $\\mathcal{SROIQ}$\n                    . In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (2006)"},{"key":"95_CR12","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":"95_CR13","unstructured":"Jarrar, M.: Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, May (2005)"},{"key":"95_CR14","volume-title":"ER 2007. Proceedings of the 26th International Conference on Conceptual Modeling","author":"M. Jarrar","year":"2007","unstructured":"Jarrar, M.: Towards automated reasoning on orm schemes. In: ER 2007. Proceedings of the 26th International Conference on Conceptual Modeling, Springer, Heidelberg (2007)"},{"key":"95_CR15","unstructured":"Jarrar, M.: Towards Effectiveness and Transparency in e-Business Transactions, An Ontology for Customer Complaint Management. In: Idea Group Inc. 8 (2007)"},{"key":"95_CR16","unstructured":"Jarrar, M., Eldammagh, M.: Reasoning on orm using racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (August 2006)"},{"key":"95_CR17","unstructured":"Jarrar, M., Heymans, S.: On pattern-based ontological reasoning. Journal of Artificial Intelligence Tools (2007)"},{"issue":"1","key":"95_CR18","doi-asserted-by":"publisher","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":"95_CR19","doi-asserted-by":"crossref","unstructured":"Simmonds, J., Bastarrica, M.C.: A tool for automatic uml model consistency checking. In: Proc of the IEEE\/ACM on Automated software engineering, pp. 431\u2013432 (2005)","DOI":"10.1145\/1101908.1101989"},{"key":"95_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"T. Halpin","year":"2006","unstructured":"Halpin, T., Curland, M.: Automated verbalization for orm 2. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. LNCS, vol.\u00a04275, Springer, Heidelberg (2006)"},{"issue":"7","key":"95_CR21","first-page":"471","volume":"18","author":"A. Hofstede ter","year":"1993","unstructured":"ter Hofstede, A., Proper, H., van der Weide, T.: Formal definition of a conceptual language for the description and manipulationof information models. Info Sys.\u00a018(7), 471\u2013495 (1993)","journal-title":"Info Sys."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76888-3_95","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:02:27Z","timestamp":1558278147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76888-3_95"}},"subtitle":["Towards a Methodological and Expressive Graphical Notation for Ontology Engineering"],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540768876","9783540768883"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76888-3_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}