Skip to Main content Skip to Navigation

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.
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Michel Chein <>
Submitted on : Saturday, September 3, 2011 - 7:22:07 PM
Last modification on : Saturday, June 6, 2020 - 4:16:12 AM
Long-term archiving on: : Sunday, December 4, 2011 - 2:21:30 AM


Files produced by the author(s)


  • HAL Id : lirmm-00618868, version 1
  • PRODINRA : 246137



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



Record views


Files downloads