DeepAI AI Chat
Log In Sign Up

Rule Applicability on RDF Triplestore Schemas

by   Paolo Pareti, et al.

Rule-based systems play a critical role in health and safety, where policies created by experts are usually formalised as rules. When dealing with increasingly large and dynamic sources of data, as in the case of Internet of Things (IoT) applications, it becomes important not only to efficiently apply rules, but also to reason about their applicability on datasets confined by a certain schema. In this paper we define the notion of a triplestore schema which models a set of RDF graphs. Given a set of rules and such a schema as input we propose a method to determine rule applicability and produce output schemas. Output schemas model the graphs that would be obtained by running the rules on the graph models of the input schema. We present two approaches: one based on computing a canonical (critical) instance of the schema, and a novel approach based on query rewriting. We provide theoretical, complexity and evaluation results that show the superior efficiency of our rewriting approach.


page 1

page 2

page 3

page 4


SHACL Constraints with Inference Rules

The Shapes Constraint Language (SHACL) has been recently introduced as a...

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog

Database schema elements such as tables, views, triggers and functions a...

Information Integration using the Typed Graph Model

Schema and data integration have been a challenge for more than 40 years...

Inference of Shape Expression Schemas Typed RDF Graphs

We consider the problem of constructing a Shape Expression Schema (ShEx)...

A Policy Editor for Semantic Sensor Networks

An important use of sensors and actuator networks is to comply with heal...

Towards automating the generation of derivative nouns in Sanskrit by simulating Panini

About 1115 rules in Astadhyayi from A.4.1.76 to A.5.4.160 deal with gene...

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications

Model View Definition (MVD) is the standard methodology to define the pa...