Logical Foundations for Reasoning about Transformations of Knowledge Bases.

Mohamed Chaabani Rachid Echahed Martin Strecker

Published in: Description Logics (2013)

Keyphrases

logical foundations
knowledge base
active databases
description logics
knowledge based systems
expert systems
logic programming
case study
knowledge acquisition
reasoning process
information systems
database systems
knowledge representation