Decidability of the purely existential fragment of the theory of term algebras.

K. N. Venkataraman

Published in: J. ACM (1987)

Keyphrases

query answering
description logics
theoretical framework
data exchange
computational model
formal theory
theoretical basis
regularization term