Decidability vs. undecidability. Logico-philosophico-historical remarks.

Published in: Ann. UMCS Informatica (2005)

Keyphrases

description logics
query containment
historical data
knowledge base
query answering
knowledge representation
inverse roles
conjunctive queries
number restrictions
probabilistic planning
information systems
search algorithm
transitive closure
dl lite