DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

Abstract

The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasoning undecidable already in case of very simple tasks, expressive yet decidable fragments have been identified. Among them, we focus on OWL 2 RL, which offers a rich variety of semantic constructors, apart from supporting all RDFS datatypes. Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment. None of them, however, fully satisfy all the following desiderata: (i) being freely available and regularly maintained; (ii) supporting query answering and SPARQL queries; (iii) properly applying the sameAs property without adopting the unique name assumption; (iv) dealing with concrete datatypes. To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries. In particular, we describe its architecture, the rewriting strategies it implements, and the result of an experimental evaluation that demonstrates its practical applicability.

Logic Programming and Nonmonotonic Reasoning

“…The high potential of OWL2DLV for large-scale reasoning is outlined by the results of an experiment on data-intensive benchmarks, and confirmed by the direct interest of a major international industrial player, which has stimulated and partially supported this work. More recently, DaR-Ling [20]-a Datalog rewriter for DLP ontologies under SPARQL queries-enriched the DLV suite for OBQA to deal with the sameAs and to support concrete datatypes. Finally, by exploiting a novel algorithm designed for the so called dyadic existential rules [22], it is now possible to exploit DLV 9 to deal also with Ward ontologies.…”

EEWMP: An IoT-Based Energy-Efficient Water Management Platform for Smart Irrigation

“…In this regard, Kamienski et al proposed an IoTbased smart water management platform (SWAMP) intelligent irrigation system [1,14]. SWAMP is one of the best available IoT-based irrigation systems that use SPARQL-based [15] semantic reasoning features and open-source cloud-based IoT platform FIWARE [16,17]. e SWAMP architecture comprises five different layers, including the device communication layer, acquisition security management layer, data management layer, water (irrigation) distribution layer, and water application services layer.…”