Login / Signup
An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases.
Bertrand Mazure
Lakhdar Sais
Éric Grégoire
Published in:
Int. J. Cooperative Inf. Syst. (1997)
Keyphrases
</>
knowledge base
description logics
knowledge based systems
computationally efficient
logical representation
databases
information retrieval
expert systems
knowledge acquisition
belief revision
semantic network
default reasoning
consistency checking
global consistency