ORM2: Formalisation and encoding in OWL2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7567 LNCS, Issue , 2012, Pages 368-378

  Franconi, Enrico ^a   Mosca, Alessandro ^a   Solomakhin, Dmitry ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; AUTOMATED SUPPORT; CARDINALITIES; CONCEPTUAL SCHEMAS; CONSISTENCY CHECKS; DESCRIPTION LOGIC; FIRST ORDER LOGIC; FORMALISATION; IMPLICIT CONSTRAINTS; KNOWLEDGE BASIS;

DATA DESCRIPTION; INTERNET; SEMANTICS;

ENCODING (SYMBOLS);

EID: 84873825271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33618-8_51     Document Type: Conference Paper

References (15)

1. Halpin, T.: A Logical Analysis of Information Systems: Static Aspects of the Data-oriented Perspective. PhD thesis, Department of Computer Science, University of Queensland (1989)
2. Halpin, T., Morgan, T.: Information Modeling and Relational Databases: From Conceptual Analysis to Logical Design, 2nd edn. Morgan Kaufmann (2001)
3. 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)
4. 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
5. Curland, M., Halpin, T.A., Stirewalt, K.: A Role Calculus for ORM. In: Meersman, R., Herrero, P., Dillon, T. (eds.) OTM 2009 Workshops. LNCS, vol. 5872, pp. 692-703. Springer, Heidelberg (2009)
6. Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence, pp. 155-160 (2001)
7. Berardi, D., Cali, A., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams. Artificial Intelligence 168 (2003)
8. Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over Extended ER Models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 277-292. Springer, Heidelberg (2007)
9. ifd. Technical Report KRDB07-2, KRDB Research Centre, Faculty of Computer Science, Free University of Bozen-Bolzano (2007)
10. ifd Description Logic. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 181-197. Springer, Heidelberg (2007)
11. Jarrar, M.: Mapping ORM into the script Sscript Hscript Oscript Iscript N/OWL description logic. In: Proc. of the International Workshop on Object-Role Modeling (ORM 2007), pp. 729-741. Springer (2007)
12. Hodrob, R., Jarrar, M.: ORM to OWL2 DL mapping. In: International Conference on Intelligent Semantic Web: Applications and Services. ACM (2010)
13. Jarrar, M., Heymans, S.: Unsatisfiability reasoning in orm conceptual schemes. In: Proc. of the IFIP-2.6 International Conference on Semantics of a NetworkedWorld, pp. 517-534. Springer (2006)
14. Wagih, H.M., ElZanfaly, D.S., Kouta, M.M.: Mapping Object Role Modeling 2 schemes to OWL2 ontologies. In: Proc. of the 3rd IEEE International Conference on Computer Research and Development (ICCRD), pp. 126-132. IEEE Press (2011)
15. Bach, D.B., Meersman, R., Spyns, P., Trog, D.: Mapping OWL-DL into ORM/RIDL. In: Proceedings of the 2007 OTM Confederated International Conference, OTM 2007, pp. 742-751 (2007)