nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Formalizing Object-Ontological Mapping Using F-logic

verfasst von : Martin Ledvinka, Petr Křemen

Erschienen in: Rules and Reasoning

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel EASE: Enabling Hardware Assertion Synthesis from English

Nächstes Kapitel Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT

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.

\(\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.

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

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

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

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_2CrossRef

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

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

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

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_7CrossRef

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)

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

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)

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_11CrossRef

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.505373MathSciNetCrossRefMATH

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.111CrossRefMATH

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)

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)

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)

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_2CrossRef

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.210335MathSciNetCrossRefMATH

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.007MathSciNetCrossRefMATH

20.

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

21.

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

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-8CrossRefMATH

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)CrossRef

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)CrossRef

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_28CrossRef

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_39CrossRef

29.

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

30.

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

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_4CrossRefMATH

Titel: Formalizing Object-Ontological Mapping Using F-logic
verfasst von: Martin Ledvinka
Petr Křemen
Verlag: Springer International Publishing
Buch: Rules and Reasoning
Print ISBN: 978-3-030-31094-3

Electronic ISBN: 978-3-030-31095-0

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-31095-0_7

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"