Conceptual Graph Rules and Equivalent Rules: A Synthesis

Marie-Laure Mugnier 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 : 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.
Type de document :
Communication dans un congrès
ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. 17th International Conference on Conceptual Structures, LNCS (5662), pp.23-31, 2009, Conceptual Structures: Leveraging Semantic Technologies. 〈http://iccs09.hse.ru/index.html〉. 〈10.1007/978-3-642-03079-6_3〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00410129
Contributeur : Marie-Laure Mugnier <>
Soumis le : lundi 17 août 2009 - 19:28:44
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Lien texte intégral

Identifiants

Collections

Citation

Marie-Laure Mugnier. Conceptual Graph Rules and Equivalent Rules: A Synthesis. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. 17th International Conference on Conceptual Structures, LNCS (5662), pp.23-31, 2009, Conceptual Structures: Leveraging Semantic Technologies. 〈http://iccs09.hse.ru/index.html〉. 〈10.1007/978-3-642-03079-6_3〉. 〈lirmm-00410129〉

Partager

Métriques

Consultations de la notice

124