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.
CITATION STYLE
Ledvinka, M., & Křemen, P. (2019). Formalizing object-ontological mapping using F-logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11784 LNCS, pp. 97–112). Springer. https://doi.org/10.1007/978-3-030-31095-0_7
Mendeley helps you to discover research relevant for your work.