Skip to main content
SpringerLink
Log in

Formalizing Object-Ontological Mapping Using F-logic

  • Conference paper
  • First Online:
Rules and Reasoning (RuleML+RR 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11784))

Included in the following conference series:

Abstract

Ontologies can represent a significant asset of domain-specific information systems, written predominantly using the object-oriented paradigm. However, to be able to work with ontological data in this paradigm, a mapping must ensure transformation between the ontology and the object world. While many software libraries provide such a mapping, they lack standardization or formal guarantees of its semantics. In this paper, we provide a formalism for mapping ontologies between description logics and F-logic, a formal language for representing structural aspects of object-oriented programming languages. This formalism allows to precisely specify the semantics of the object-ontological mapping and thus ensure a predictable shape and behavior of the object model.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    In the sequel, we consider mapping of DL ontology specifications since the most widespread ontology-related standards (e.g., OWL) and relevant tools are based on the description logic formalism.

  2. 2.

    \(\mathcal {SROIQ}\) allows expressing individual assertions using TBox axioms with nominals. However, ABox assertions provide a natural, easy to read syntax which we will use throughout this paper.

  3. 3.

    \(U_{\mathcal {C} \cup \mathcal {A}}\) is an abbreviation for \(U_\mathcal {C} \cup U_\mathcal {A}\).

  4. 4.

    http://flora.sourceforge.net/, accessed 2019-04-10.

  5. 5.

    A detailed comparison of these libraries can be found in [22].

References

  1. Angele, J., Kifer, M., Lausen, G.: Ontologies in F-logic. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies, pp. 45–70. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-540-92673-3_2

    Chapter  Google Scholar 

  2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)

    MATH  Google Scholar 

  3. Balaban, M.: The F-logic approach for description languages. Ann. Math. Artif. Intell. 15(1), 19–60 (1995). https://doi.org/10.1007/BF01535840

    Article  MathSciNet  MATH  Google Scholar 

  4. Booch, G.: Object-oriented Analysis and Design with Applications, 2nd edn. Benjamin-Cummings Publishing Co. Inc., Redwood City (1994)

    MATH  Google Scholar 

  5. Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: a generic architecture for storing and querying RDF and RDF schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-48005-6_7

    Chapter  Google Scholar 

  6. de Bruijn, J., Heymans, S.: Translating ontologies from predicate-based to frame-based languages. In: Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2006) (2006)

    Google Scholar 

  7. de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic web. In: Proceedings of the 14th International Conference on World Wide Web, WWW 2005. ACM (2005). https://doi.org/10.1145/1060745.1060836

  8. Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference (Alternate Track Papers & Posters), pp. 74–83 (2004)

    Google Scholar 

  9. Damásio, C.V., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 149–163. Springer, Heidelberg (2006). https://doi.org/10.1007/11853107_11

    Chapter  Google Scholar 

  10. Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Trans. Comput. Logic 3(2), 177–225 (2002). https://doi.org/10.1145/505372.505373

    Article  MathSciNet  MATH  Google Scholar 

  11. Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. IEEE Trans. Knowl. Data Eng. 22(11), 1577–1592 (2010). https://doi.org/10.1109/TKDE.2010.111

    Article  MATH  Google Scholar 

  12. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, WWW 2003, pp. 48–57. ACM, New York (2003). https://doi.org/10.1145/775152.775160

  13. Grove, M.: Empire: RDF & SPARQL Meet JPA. semanticweb.com, April 2010. http://semanticweb.com/empire-rdf-sparql-meet-jpa_b15617

  14. Horridge, M., Bechhofer, S.: The OWL API: A Java API for OWL ontologies. Semantic Web - Interoperability, Usability, Applicability (2011)

    Google Scholar 

  15. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67 (2006)

    Google Scholar 

  16. Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-logic rules and defaults. In: Proceedings of the ICLP’07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007 (2007)

    Google Scholar 

  17. Kifer, M.: Rules and ontologies in F-logic. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, pp. 22–34. Springer, Heidelberg (2005). https://doi.org/10.1007/11526988_2

    Chapter  Google Scholar 

  18. Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995). https://doi.org/10.1145/210332.210335

    Article  MathSciNet  MATH  Google Scholar 

  19. Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9–10), 1528–1554 (2011). https://doi.org/10.1016/j.artint.2011.01.007

    Article  MathSciNet  MATH  Google Scholar 

  20. Křemen, P.: Building Ontology-Based Information Systems. Ph.D. thesis, Czech Technical University, Prague (2012)

    Google Scholar 

  21. Křemen, P., Kouba, Z.: Ontology-driven information system design. IEEE Trans. Syst. Man Cybern. Part C 42(3), 334–344 (2012)

    Article  Google Scholar 

  22. Ledvinka, M., Křemen, P.: A comparison of object-triple mapping libraries. In: Semantic Web, p. 43, February 2019. https://doi.org/10.3233/SW-190345

  23. Ledvinka, M., Křemen, P.: Formalizing object-ontological mapping using F-logic. Technical report SGS19/110/OHK3/2T/13-1, Department of Computer Science, CTU in Prague (2019). https://kbss.felk.cvut.cz/reports/2019/19ruleml-report.pdf. Accessed 30 May 2019

  24. Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984). https://doi.org/10.1007/978-3-642-83189-8

    Book  MATH  Google Scholar 

  25. Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. Web Semant. Sci. Serv. Agents World Wide Web 7(2), 74–89 (2009)

    Article  Google Scholar 

  26. Oren, E., Heitmann, B., Decker, S.: ActiveRDF: Embedding Semantic Web data into object-oriented languages. Web Semant. Sci. Serv. Agents World Wide Web 6(3), 191–202 (2008)

    Article  Google Scholar 

  27. Patel-Schneider, P.F., Franconi, E.: Ontology constraints in incomplete and complete data. In: Cudré-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 444–459. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-35176-1_28

    Chapter  Google Scholar 

  28. Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 617–632. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25073-6_39

    Chapter  Google Scholar 

  29. Tao, J., Sirin, E., Bao, J., McGuinness, D.L.: Integrity constraints in OWL. In: Fox, M., Poole, D. (eds.) AAAI. AAAI Press (2010)

    Google Scholar 

  30. Wenzel, K.: KOMMA: an application framework for ontology-based software systems. In: Semantic Web - Interoperability, Usability, Applicability (2010)

    Google Scholar 

  31. Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 69–97. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39733-5_4

    Chapter  MATH  Google Scholar 

Download references

Acknowledgment

This work was supported by grant No. SGS19/110/OHK3/2T/13 Efficient Vocabularies Management Using Ontologies of the Czech Technical University in Prague.

Author information

Authors and Affiliations

  1. Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University in Prague, Prague 6, Dejvice, Czech Republic

    Martin Ledvinka & Petr Křemen

Authors
  1. Martin Ledvinka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petr Křemen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Ledvinka .

Editor information

Editors and Affiliations

  1. Stony Brook University, Stony Brook, NY, USA

    Paul Fodor

  2. Free University of Bozen-Bolzano, Bolzano, Italy

    Marco Montali

  3. Free University of Bozen-Bolzano, Bolzano, Italy

    Diego Calvanese

  4. SINTEF AS, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ledvinka, M., Křemen, P. (2019). Formalizing Object-Ontological Mapping Using F-logic. In: Fodor, P., Montali, M., Calvanese, D., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2019. Lecture Notes in Computer Science(), vol 11784. Springer, Cham. https://doi.org/10.1007/978-3-030-31095-0_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-31095-0_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-31094-3

  • Online ISBN: 978-3-030-31095-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation