Datalog

Known as: List of Datalog interpreters, Magic Sets algorithm

Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

We present the Protege plug-in NoHR that allows the user to take an $\mathcal{EL}^+_\top$ ontology, add a set of non-monotonic…

2012

Entity resolution (ER) is an important and common problem in data cleaning. It is about identifying and merging records in a…

Review

2006

Review

2006

As a central issue of modern e-services, trust has to be tackled early during the development phases. We present and compare in…

2005

1998

In the database framework of Kanellakis et al. [1990] it was argued that constraint query languages should take constraint…

1996

1995

1993

SLD resolution with negation as nite failure (or SLDNF) reeects the procedural interpretation of Horn-clause predicate logic as a…

1991

A given Datalog program is bounded if its dependent of the input database) is interesting because depth of recursion is…

1989