Towards automated reasoning on ORM schemes mapping ORM into the DLR idf description logic

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

Volumn 4801 LNCS, Issue , 2007, Pages 181-197

  Jarrar, Mustafa ^a,b,c  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIVERSITY OF CYPRUS   (Cyprus)

^c University of Cyprus ^*

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

OBJECT ROLE MODELING (ORM); ORM DIAGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 38349035819     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75563-0_14     Document Type: Conference Paper

References (27)

1. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, D.N.P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. 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-218. AAAI Press, Stanford, California, USA (2006)
3. 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 (UCAI2001), pp. 155-160 (2001)
4. B er ardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on uml class diagrams. Artificial Intelligence 168(1), 70-118 (2005)
5. de Troyer, O.: A formalization of the binary object-role model based on logic. Data and Knowledge Engineering 19, 1-37 (1996)
6. Franconi, E., Ng, G.: The i.com tool for intelligent conceptual modelling. In: 7th Int. WS on Knowledge Representation meets Databases(KRDB'OO), Springer, Heidelberg (2000)
7. Halpin, T.: A logical analysis of information systems: static aspects of the data-oriented perspective. PhD thesis, University of Queensland, Brisbane, Australia (1989)
8. Halpin, T.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2001)
9. 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'02) (June 2002)
10. Halpin, T.: Objectification. In: Pastor, Ó.,Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, Springer, Heidelberg (2005)
11. Halpin, T., Curland, M.: Automated verbalization for orm 2. In: Meersman, R., Tari, Z. (eds.). OTM 2006 Workshops, Springer, Heidelberg (2006)
12. Halpin, T., Proper, E.: Subtyping and polymorphism in object-role modelling. Data and Knowledge Engineering 15(3), 251-281 (1995)
13. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceeding of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (2006)
14. Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., Mcllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
15. Jarrar, M.: Towards Methodological Principles for Ontology Engineering. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium (May 2005)
16. 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-503. ACM Press, New York (2006)
17. 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) 2800, 185-207 (2003)
18. Jarrar, M., Eldammagh, M.: Reasoning on orm using racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (August 2006)
19. 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. LNCS, Springer, Heidelberg (2006)
20. Jarrar, M., Heymans, S.: On pattern-based ontological reasoning. International Journal on Artificial Intelligence Tools (2007)
21. Jarrar, M., Keet, M., Dongilli, P.: Multilingual verbalization of orm conceptual models and axiomatized ontologies. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (February 2006)
22. Jarrar, M., Meersman, R.: Formal ontology engineering in the dogma approach. In: Meersman, R., Tari, Z. (eds.). OTM 2002. LNCS, vol. 2519, pp. 1238-1254. Springer, Heidelberg (2002)
23. Jarrar, M., Verlinden, R., Meersman, R.: Ontology-based customer complaint management. In: Meersman, R., Tari, Z. (eds.). OTM 2003 Workshops. LNCS, vol. 2889, pp. 594-606. Springer, Heidelberg (2003)
24. 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)
25. 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-432. ACM Press, New York (2005)
26. van Bommel, P., ter Hofstede, A.H.M., van der Weide, T.P.: Semantics and verification of object-role models. Information Systems 16(5), 471-495 (1991)
27. van der Weide, T.P., ter Hofstede, A.H.M., van Bommel, P.: Uniquest: determining the semantics of complex uniqueness constraints. Comput. J. 35(2), 148-156 (1992)