ALASKA for Ontology Based Data Access

Abstract

International audienceChoosing the tools for the management of large and semi-structured knowledge bases has always been considered as a quite crafty task. This is due to the emergence of different solutions in a short period of time, and also to the lack of benchmarking available solutions. In this paper, we use ALASKA, a logical framework, that enables the comparison of different storage solutions at the same logical level. ALASKA translates different data representation languages such as relational databases, graph structures or RDF triples into logics. We use the platform to load semi-structured knowledge bases, store, and perform conjunctive queries over relational and non-relational storage systems

Representing Multi-scale Datalog $$+/-$$ Using Hierarchical Graphs

“…The tractability conditions of the considered rule based language rely on dierent saturation (chase) methods [17]. The language can be equivalently seen in a logically sound and complete graph based representation [14] [4].…”

A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research

“…(1) A conjunctive query is a special Datalog rule whose conjunctive body can be rewritten as in (2) and unfolded as in (3), and whose n-ary head predicate instantiates the distinguished answer variables of the body predicates. OBDA ontologies beyond RDF Schema (RDFS) expressivity usually permit negative constraints for data validation, which are represented as Boolean conjunctive queries corresponding to RBDA integrity rules, e.g.…”

“…Complementary systems for Rule-Based Data Access (RBDA) have been developed as well (e.g., [2]). For ontology-rule synergy, OBDA and RBDA have been generalized to Knowledge-Based Data Access (KBDA).…”

“…Some KBDA approaches use a mediator architecture for query rewriting [2,6,7] -corresponding to top-down processing and backward reasoningwhile others use a warehouse architecture for database materialization [8] corresponding to bottom-up processing and forward reasoning. Given that both have their advantages, we will propose a unified mediator/warehouse architecture.…”