K. Schewe, Q. Wang. On the decidability and complexity of identity knowledge representation. volume 7238, pages 288-302, 4, 2012.
- Klaus-Dieter Schewe
- Qing Wang
|Buch||Database Systems for Advanced Applications - Proc. DASFAA 2012, Part I|
|Serie||Lecture Notes in Computer Science|
||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.