A New Result about the Decidability of the Existential One-Step Rewriting Theory.

Sébastien Limet Pierre Réty

Published in: RTA (1999)

Keyphrases

query answering
conjunctive queries
description logics
theoretical framework
machine learning
post processing
knowledge base
data exchange
datalog programs