Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
This paper introduces schema tuple queries and argues for their suitability in representing knowledge over standard relational databases. Schema tuple queries are queries that ret...
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
Mary F. Fernandez, Daniela Florescu, Alon Y. Levy,...