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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)
Bloesch, A.: Signed Tableaux – a Basis for Automated Theorem Proving in Nonclassical Logics. PhD thesis, University of Queensland, Brisbane, Australia (1993)
Creasy, P.N.: A formalisation of the NIAM conceptual information model (1983)
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)
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)
De Troyer, O.: A fomalization of the binary object-role model based on logic. Data Knowl. Eng. 19(1), 1–37 (1996)
Fellbaum, C.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)
Guarino, N.: Formal ontologies and information systems. In: Guarino, N. (ed.) Proceedings of FOIS 1998, pp. 3–15. IOS Press, Amsterdam (1998)
Halpin, T.A.: A logical analysis of information systems: Static aspects of the data-oriented perspective. PhD thesis, University of Queensland, Australia (1989)
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)
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)
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)
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)
Meersman, R.: The RIDL conceptual language. In: Research report, Int. Centre for Information Analysis Services, Control Data, Brussels (1982)
Meersman, R.: Semantics ontology tools in information system design. In: RaÅ›, Z.W., Skowron, A. (eds.) ISMIS 1999. LNCS, vol. 1609, Springer, Heidelberg (1999)
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)
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)
Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus ontology engineering. SIGMOD Record Special Issue 31(4), 12–17 (2002)
Spyns, P., Tang, Y., Meersman, R.: a model theory inspired collaborative ontology engineering methodology. Journal of Applied Ontology (to appear, 2007)
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)
Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: SWDB, pp. 109–126 (2004)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)