Decidability of involution hypercodes.

Da-Jung Cho Yo-Sub Han Sang-Ki Ko

Published in: Theor. Comput. Sci. (2014)

Keyphrases

description logics
query answering
decision procedures
information technology
special case
expressive power
integrity constraints
data exchange