Klaus-Dieter Schewe, Qing Wang,
"On the Decidability and Complexity of Identity Knowledge Representation"
: Database Systems for Advanced Applications (DASFAA 2012), Serie Lecture Notes in Computer Science, Vol. 7238, Springer Berlin Heidelberg, Seite(n) 288-302, 2012
On the Decidability and Complexity of Identity Knowledge Representation
Sprache des Titels:
Database Systems for Advanced Applications (DASFAA 2012)
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. Knowledge patterns, as the building blocks of the framework, 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.