Identity relations are at the foundation of many logic-based knowledge representations. We argue that the traditional notion of equality, is unsuited for many realistic knowledge representation settings. The classical interpretation of equality is too strong when the equality statements are re-used outside their original context. On the Semantic Web, equality statements are used to interlink multiple descriptions of the same object, using owl:sameAs assertions. And indeed, many practical uses of owl:sameAs are known to violate the formal Leibniz-style semantics. We provide a more flexible semantics to identity by assigning meaning to the subrelations of an identity relation in terms of the predicates that are used in a knowledge-base. Using those indiscernability-predicates, we define upper and lower approximations of equality in the style of rought-set theory, resulting in a quality-measure for identity relations.
|Title of host publication||14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014|
|Number of pages||3|
|Publication status||Published - 2014|
|Event||14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 - Vienna, Austria|
Duration: 20 Jul 2014 → 24 Jul 2014
|Conference||14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014|
|Period||20/07/14 → 24/07/14|