Large-scale Ontological Reasoning via Datalog

03/21/2020
by   Mario Alviano, et al.
0

Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-SHIQ knowledge bases and its implementation in DLV2 enanched by a new version of the Magic Sets algorithm.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/10/2017

Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)

We present a probabilistic extension of the description logic ALC for re...
research
03/09/2020

Containment of Simple Regular Path Queries

Testing containment of queries is a fundamental reasoning task in knowle...
research
05/18/2018

A set-based reasoner for the description logic (Extended Version)

We present a -based implementation of a reasoner for a decidable fragmen...
research
08/05/2020

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

The W3C Web Ontology Language (OWL) is a powerful knowledge representati...
research
12/13/2017

Reasoning in Systems with Elements that Randomly Switch Characteristics

We examine the issue of stability of probability in reasoning about comp...
research
03/27/2013

Problem Structure and Evidential Reasoning

In our previous series of studies to investigate the role of evidential ...
research
08/03/2015

Maintaining prediction quality under the condition of a growing knowledge space

Intelligence can be understood as an agent's ability to predict its envi...

Please sign up or login with your details

Forgot password? Click here to reset