Mapping ORM into the SHOIN/OWL description logic towards a methodological and expressive graphical notation for ontology engineering

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

Volumn 4805 LNCS, Issue PART 1, 2007, Pages 729-741

  Jarrar, Mustafa ^a  

^a UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; FORMAL LOGIC;

DOGMAMODELER TOOL; ONTOLOGY ENGINEERING; ORM CONSTRAINTS;

ONTOLOGY;

EID: 38349011011     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76888-3_95     Document Type: Conference Paper

References (21)

1. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, D.N.P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
2. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on uml class diagrams. Artificial Intelligence 168(1), 70-118 (2005)
3. 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-158 (1998)
4. Calvanese, D., Lenzerini, M., De Giacomo, G.: Identification constraints and functional dependencies in description logics. In:The IJCAI2001, pp. 155-160 (2001)
5. 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. 4805, Springer, Heidelberg (2007)
6. de Troyer, O.: A formalization of the binary object-role model based on logic. Data and Knowledge Engineering 19, 1-37 (1996)
7. Franconi, E., Ng, G.: The i.com tool for intelligent conceptual modelling. In: 7th Int. WS on Knowledge Representation meets Databases, Springer, Heidelberg (2000)
8. 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)
9. Halpin, T.: A logical analysis of information systems: static aspects of the data-orientedperspective. PhD thesis, University of Queensland, Brisbane, Australia (1989)
10. Halpin, T.: Information Modeling and Relational Databases. Morgan-Kaufmann, San Francisco (2001)
11. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (2006)
12. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
13. Jarrar, M.: Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, May (2005)
14. Jarrar, M.: Towards automated reasoning on orm schemes. In: ER 2007. Proceedings of the 26th International Conference on Conceptual Modeling, Springer, Heidelberg (2007)
15. Jarrar, M.: Towards Effectiveness and Transparency in e-Business Transactions, An Ontology for Customer Complaint Management. In: Idea Group Inc. 8 (2007)
16. Jarrar, M., Eldammagh, M.: Reasoning on orm using racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (August 2006)
17. Jarrar, M., Heymans, S.: On pattern-based ontological reasoning. Journal of Artificial Intelligence Tools (2007)
18. Cranefield, P.S., Hart, L., Dutra, M., Baclawski, K., Kokar, M., Smith, J.: Uml for ontology development. Knowl. Eng. Rev. 17(1), 61-64 (2002)
19. Simmonds, J., Bastarrica, M.G: A tool for automatic uml model consistency checking. In: Proc of the IEEE/ACM on Automated software engineering, pp. 431-432 (2005)
20. 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. 4275, Springer, Heidelberg (2006)
21. ter Hofstede, A., Proper, H., van der Weide, T.: Formal definition of a conceptual language for the description and manipulationof information models. Info Sys. 18(7), 471-495 (1993)