Reasoning with RDF(S) and F-logic

Abstract

Das Ressource Beschreibungssystem RDF ist eine Sprache zur Beschreibung von Information über Ressourcen im World Wide Web.<br />Die RDF Semantik Spezifikation definiert mehrere Schlussfolgerungsrelationen für RDF Graphen, inklusive D-Schlussfolgerung. Zusammen mit der semantischen schwächeren D∗-Schlussfolgerung, de Bruijn und Heymans erweiterten andere Schlussfolgerungsrelationen für Datentypen. Frame Logic stellt eine logische Grundlage für Frame-basierte und objektorientierte Sprachen für Daten und zur Wissensrepräsentation. Weiters kann es eine konkrete Schlussfolgerungsrelation vorweisen. In dieser Arbeit nutzen wir Einbettungen von RDF in Frame Logic aus, unter besonderer Berücksichtigung von Datentypen. Weiters fassen wir eingebettete RDF Graphen mit Frame Logic Programmen zusammen, und diskutieren verschiedene Typen von Schlussfolgerungen sowie einer gemeinsamen Menge an unterstützten Datentypen. Weiters verwenden wir die Einbettung von Frame Logic in Prädikatenlogik erster Stufe, um zu Logischer Programmierung mit stabiler Modell-Semantik vorzustossen. Wir reduzieren das Problem des Schlussfolgern in RDF Graphen erweitert mit Frame Logic Theorien auf Schlussfolgern in einem Antwortmengen Programm.<br />

The Resource Description Framework RDF is a language for representing information about resources in the World Wide Web. The RDF semantics specification defines several entailment relations for RDF graphs. Additionally, D-entailment and its semantic weakening D∗-entailment extend other entailment relations of RDF to be capable for datatypes. Frame logic is a formalism that provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation and possesses a specific entailment relation. In this work we present a novel concept of an extended RDF graph that corresponds to an RDF graph merged with a Frame Logic program. Exploiting embeddings of RDF in logic, we attempt to bridge the foundation gap between the two formalisms. We specify different types of entailment for extended RDF graphs and consider the datatype support. In order to show the feasibility of the introduced notion for practical applications, we develop a reasoning tool that reduces the problem of checking entailment between extended RDF graphs to reasoning over an answer set program. For such reasoning, our tool utilizes existing answer set program solvers. Finally, we analyze the performance of the implemented tool on large real-life test cases.