Supporting Manual Mapping Revision using Logical Reasoning.

Christian Meilicke Heiner Stuckenschmidt Andrei Tamilin

Published in: AAAI (2008)

Keyphrases

logical reasoning
formal semantics
semi automatic
belief revision
knowledge base
error prone
database
ontology mapping
labor intensive
belief change
decision support
knowledge based systems
logic programs
knowledge representation
relational databases
case study
information systems
neural network
real time