Mapping OWL-DL into ORM/RIDL

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 742-751

  Bach, Dang Bui ^a   Meersman, Robert ^a   Spyns, Peter ^a   Trog, Damien ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; FORMAL LOGIC; SYSTEMS ANALYSIS;

OWL-DL CONSTRUCTS; PROPERTY RESTRICTIONS;

SEMANTICS;

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

References (22)

1. Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)
2. Bloesch, A.: Signed Tableaux - a Basis for Automated Theorem Proving in Nonclassical Logics. PhD thesis, University of Queensland, Brisbane, Australia (1993)
3. Creasy, P.N.: A formalisation of the NIAM conceptual information model (1983)
4. De Leenheer, P., de Moor, A., Meersman, R.: Context dependency management in ontology engineering: a formal approach. In: Pernici, B., Shvaiko, P., Trujillo, J., Zaihrayeu, I. (eds.) Journal on Data Semantics VIII. LNCS, vol. 4380, pp. 26-56. Springer, Heidelberg (2007)
5. De Troyer, O., Meersman, R., Verlinden, P.: RIDL* on the CRIS Case: a Workbench for NIAM. In: Olle, T., Verrijn-Stuart, A., Bhabuta, L. (eds.) Information Systems Design Methodologies: Computerized Assistance during the Information Systems Life Cycle, pp. 375-459. Elsevier Science Publishers, Amsterdam (1988)
6. De Troyer, O.: A fomalization of the binary object-role model based on logic. Data Knowl. Eng. 19(1), 1-37 (1996)
7. Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)
8. Guarino, N.: Formal ontologies and information systems. In: Guarino, N. (ed.) Proceedings of FOIS 1998, pp. 3-15. IOS Press, Amsterdam (1998)
9. Halpin, T.A.: A logical analysis of information systems: Static aspects of the dataoriented perspective. PhD thesis, University of Queensland, Australia (1989)
10. Halpin, T.A.: A fact-oriented approach to schema transformation. In: Thalheim, B., Gerhardt, H.-D., Demetrovics, J. (eds.) MFDBS 91. LNCS, vol. 495, pp. 342-356. Springer, Heidelberg (1991)
11. Jarrar, M.: Mapping orm into the shoin/owl description logic. In: OTM workshops 2007, Proceeding of the International Workshop on Object-Role Modeling (ORM'07), pp. 4805-4806. Springer, Heidelberg (2007)
12. Jarrar, M.: Towards automated reasoning on orm schemes - mapping orm into the dlridf description logic. In: ER 2007. Proceedings of the 26th International Conference on Conceptual Modeling, Auckland, New Zealand, Springer, Heidelberg (2007)
13. Jarrar, M., Meersman, R.: 3. In: The DOGMA Approach for Ontology Engineering. Advances in Web Semantic, A state-of-the Art Semantic Web Advances in WebSemantics IFIP2.12, vol. 1, Springer, Heidelberg (2007)
14. Meersman, R.: The RIDL conceptual language. In: Research report, Int. Centre for Information Analysis Services, Control Data, Brussels (1982)
15. Meersman, R.: Semantics ontology tools in information system design. In: Raś, Z.W., Skowron, A. (eds.) ISMIS 1999. LNCS, vol. 1609, Springer, Heidelberg (1999)
16. Meersman, R.: Ontologies and databases: More than a fleeting resemblance. In: d'Atri, A., Missikoff, M. (eds.) OES/SEO 2001 Rome Workshop, Luiss Publications, Missikoff (2001)
17. Spyns, P.: Object role modelling for ontology engineering in the DOGMA framework. In: Meersman, R., Tari, Z., Herrero, P. (eds.) On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. LNCS, vol. 3762, pp. 710-719. Springer, Heidelberg (2005)
18. Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus ontology engineering. SIGMOD Record Special Issue 31(4), 12-17 (2002)
19. Spyns, P., Tang, Y., Meersman, R.: a model theory inspired collaborative ontology engineering methodology. Journal of Applied Ontology (to appear, 2007)
20. Trog, D., Vereecken, J., Christiaens, S., De Leenheer, P., Meersman, R.: T-lex: A role-based ontology engineering tool. In: Meersman, R., Tari, Z., Herrero, P. (eds.) On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops. LNCS, vol. 4278, Springer, Heidelberg (2006)
21. Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: SWDB, pp. 109-126 (2004)
22. Zhao, G., Meersman, R.: Architecting ontology for scalability and versatility. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. LNCS, vol. 3761, pp. 1164-1605. Springer, Heidelberg (2005)