Decidability of definability.

Manuel Bodirsky Michael Pinsker Todor Tsankov

Published in: J. Symb. Log. (2013)

Keyphrases

description logics
propositional logic
fixed point
query answering
decision procedures
type checking
finite model theory
information systems
social networks
metadata
image processing
website
expert systems
first order logic
query containment