Decidability of Split Equivalence.

Y. Abramson Alexander Moshe Rabinovich

Published in: Inf. Comput. (2002)

Keyphrases

query containment
description logics
query answering
datalog programs
machine learning
information retrieval
search engine
decision making
search algorithm
special case
knowledge representation
conjunctive queries
transitive closure