On the Decidability of Axiomatized Mereotopological Theories.

Hsing-chien Tsai

Published in: Notre Dame J. Formal Log. (2015)

Keyphrases

description logics
query answering
theoretical framework
real time
special case
databases
multiscale
data structure
knowledge representation
integrity constraints
design theory