Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4805))

Abstract

In this paper, we analyze the semantics of OWL-DL and ORM, and explain how to represent OWL-DL constructs in ORM without losing semantics. We demonstrate this in a formal manner as much as possible. We show it is possible to convert most constructs, except for what are called property restrictions, and discuss the implications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)

    Google Scholar 

  2. Bloesch, A.: Signed Tableaux – a Basis for Automated Theorem Proving in Nonclassical Logics. PhD thesis, University of Queensland, Brisbane, Australia (1993)

    Google Scholar 

  3. Creasy, P.N.: A formalisation of the NIAM conceptual information model (1983)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  6. De Troyer, O.: A fomalization of the binary object-role model based on logic. Data Knowl. Eng. 19(1), 1–37 (1996)

    Article  MATH  Google Scholar 

  7. Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)

    MATH  Google Scholar 

  8. Guarino, N.: Formal ontologies and information systems. In: Guarino, N. (ed.) Proceedings of FOIS 1998, pp. 3–15. IOS Press, Amsterdam (1998)

    Google Scholar 

  9. Halpin, T.A.: A logical analysis of information systems: Static aspects of the data-oriented perspective. PhD thesis, University of Queensland, Australia (1989)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  12. Jarrar, M.: Towards automated reasoning on orm schemes - mapping orm into the dlr_idf description logic. In: ER 2007. Proceedings of the 26th International Conference on Conceptual Modeling, Auckland, New Zealand, Springer, Heidelberg (2007)

    Google Scholar 

  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)

    Google Scholar 

  14. Meersman, R.: The RIDL conceptual language. In: Research report, Int. Centre for Information Analysis Services, Control Data, Brussels (1982)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  18. Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus ontology engineering. SIGMOD Record Special Issue 31(4), 12–17 (2002)

    Article  Google Scholar 

  19. Spyns, P., Tang, Y., Meersman, R.: a model theory inspired collaborative ontology engineering methodology. Journal of Applied Ontology (to appear, 2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  21. Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: SWDB, pp. 109–126 (2004)

    Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Robert Meersman Zahir Tari Pilar Herrero

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bach, D.B., Meersman, R., Spyns, P., Trog, D. (2007). Mapping OWL-DL into ORM/RIDL. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. OTM 2007. Lecture Notes in Computer Science, vol 4805. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76888-3_96

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-76888-3_96

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-76887-6

  • Online ISBN: 978-3-540-76888-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics