Entities and Surrogates in Knowledge Representation

Michel Chein 1 Michel Leclère 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : A knowledge base (KB) is composed of logical constructs representing knowledge about a world. We assume that such a world can be modeled by using notions of (nave) set theory, e.g. elements, sets, relations, functions, and thus that knowledge about this set theoretical model are expressed by (a variant or a fragment) of first order logic. In this paper we are interested by identification problems concerning individual entities in world. These individual entities are represented by elements in the model and these elements are represented by special symbols called surrogates in the knowledge base. Surrogates should be in one-to-one correspondence with the set of world entities. Our aim is to define a KB faithful, or unambiguous, with respect to the identification of world entities and to propose mechanisms allowing a user to design, build, maintain such a KB, and also to repair an ambiguous KB. In this paper we consider individual entities, nevertheless similar identification problems occur for other notions such as classes of entities or relationships between entities.
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

Contributeur : Michel Chein <>
Soumis le : samedi 3 septembre 2011 - 19:22:07
Dernière modification le : mercredi 12 décembre 2018 - 15:56:05
Document(s) archivé(s) le : dimanche 4 décembre 2011 - 02:21:30


Fichiers produits par l'(les) auteur(s)


  • HAL Id : lirmm-00618868, version 1



Michel Chein, Michel Leclère. Entities and Surrogates in Knowledge Representation. RR-11030, 2011. 〈lirmm-00618868〉



Consultations de la notice


Téléchargements de fichiers