A General Consistency (Checking and Restoring) Engine for Knowledge Bases.

Alain Beauvieux Philippe Dague

Published in: ECAI (1990)

Keyphrases

consistency checking
knowledge base
special case
temporal reasoning
stochastic search
description logics
query answering
database
case study
database systems
low level
temporal constraints