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 classical setting of query answering either assumes the existence of just one knowledge requester, or the knowledge requests…

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…

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…

2000

Recursion is an important feature to express many natural queries. The most studied recursive query language for databases is…

1997

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

1997

,