Conceptual Graph Rules and Equivalent Rules: A Synthesis - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2009

Conceptual Graph Rules and Equivalent Rules: A Synthesis

Résumé

This paper is an extended abstract of the talk given at ICCS'09. Rules have long been considered as an essential component of knowledge-based systems. We focus here on conceptual graph rules and on the semantically equivalent knowledge constructs in logic and databases, namely rules with existential variables and tuple-generating dependencies. The aim of this presentation is to synthesize main decidability, complexity and algorithmic results obtained on this kind of rules. We emphasize the fact that the graph vision of rules has led to new results.

Dates et versions

lirmm-00410129 , version 1 (17-08-2009)

Identifiants

Citer

Marie-Laure Mugnier. Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. pp.23-31, ⟨10.1007/978-3-642-03079-6_3⟩. ⟨lirmm-00410129⟩
122 Consultations
0 Téléchargements

Altmetric

Partager

More