On the decidability and complexity of identity knowledge representation

Authors Klaus-Dieter Schewe
Qing Wang
Editors S.-g. Lee et al.
Title On the decidability and complexity of identity knowledge representation
Booktitle Database Systems for Advanced Applications - Proc. DASFAA 2012, Part I
Type in proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 7238
ISBN 978-3-642-29037-4
Month April
Year 2012
Pages 288-302
SCCH ID# 1202
Abstract

Identity knowledge is the knowledge that relates to various aspects of the identification of real-world objects. It can be acquired through the process of identifying objects from a knowledge management point of view. In this paper we present a simple yet expressive framework for representing identity knowledge. As basic building blocks, knowledge patterns have the capability of capturing identity knowledge at an arbitrary level of abstraction. However, the combined use of pattern formula and pattern relation in knowledge patterns may yield disjunction and a restricted form of negation. We thus investigate the containment problem of knowledge patterns to find a decision procedure for containment and equivalence between knowledge patterns. Our result shows that the containment problem for knowledge patterns is not only decidable but also tractable.