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

SQL is the de facto standard language for relational databases and has evolved by introducing new resources and expressive…

2012

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

2012

The notion of data quality cannot be separated from the context in which the data is produced or used. Recently, a conceptual…

2010

Mobile information systems are characterized by their ability to adapt to varying contexts. There is a strong relationship…

2007

In this paper, we propose a new nonmonotonic logic called general default logic. On the one hand, it generalizes Reiter’s default…

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…

1997

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

1997

,