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.

2015

PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We…

2012

Query answering has become a prominent reasoning task in Description Logics. This is witnessed not only by the high number of…

2011

We develop a Web ontology rule language, called WORL, which combines a variant of OWL 2 RL with eDatalog-with-negation. We…

2007

Several upgrades of Attribute-Value learning to Inductive Logic Programming have been proposed and used successfully. However…

2007

Refinement operators are exploited to change in an automated way incorrect clauses of a logic program. In this paper, we present…

2005

We propose a framework and polynomial algorithms for semantic-based automated Web service orchestration, fully compliant with…

2003

The increasing complexity in size and heterogeneity of networks requires the development of network management tools that are…

2001

Data mining from relational databases has recently become a popular way of discovering hidden knowledge. Methods such as…

1997

New application areas for databases demand the possibility of managing not only the traditional atomic but also structured data…

1990

We prove that boundedness is decidable for uniformly (and more generally strongly) connected Datalog programs. As for chain…