A semantic validation of conceptual graphs

  • Authors:

  • Juliette Dibie-Barthélemy;Ollivier Haemmerlé;Eric Salvat

  • Affiliations:

  • UMR INA P-G/INRA Mathématiques et Informatique Appliquées, 16 rue Claude Bernard, F-75231 Paris Cedex 5, France;UMR INA P-G/INRA Mathématiques et Informatique Appliquées, 16 rue Claude Bernard, F-75231 Paris Cedex 5, France and LRI (UMR CNRS 8623 - Université Paris-Sud)/INRIA (Futurs), Bí ...;IMERIR, avenue Pascot, B.P. 2013, F-66011 Perpignan, France

  • Venue:
  • Knowledge-Based Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The research works on knowledge validation aim at enhancing the quality of knowledge bases. The conceptual graph model is a knowledge representation model which belongs to the family of the semantic networks. We give a solution to validate semantically a knowledge base expressed in terms of conceptual graphs. The semantic validation of a knowledge base consists in checking that the knowledge base respects a set of constraints given by an expert. We propose to express these constraints in terms of conceptual graphs. Two categories of constraints are introduced: the existential constraints which enable one to represent pieces of knowledge that must or must not exist in the knowledge base and the descriptive constraints which enable one to describe how some pieces of knowledge must be represented in the knowledge base. The checking of these constraints by a knowledge base is done by means of the projection operation which is the ground operation of the conceptual graph model.