Conceptual Graph Rules and Equivalent Rules: A Synthesis

Marie-Laure Mugnier

doi:10.1007/978-3-642-03079-6_3

Retour

Acte de colloque

Conceptual Graph Rules and Equivalent Rules: A Synthesis

Marie-Laure Mugnier

17th International Conference on Conceptual Structures, Vol.LNCS(5662), pp.23-31

Conceptual Structures: Leveraging Semantic Technologies

ICCS: International Conference on Conceptual Structures (Moscow, Russia, 17/07/2009–26/07/2009)

07/2009

DOI: https://doi.org/10.1007/978-3-642-03079-6_3

Résumé

Complexity

Decidability

Rules

Conceptual Graphs

TGD

First Order Logic

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Conceptual Graph Rules and Equivalent Rules: A Synthesis
Créateurs - sans rôle: Marie-Laure Mugnier - Université de Montpellier
Détails de publication: 17th International Conference on Conceptual Structures, Vol.LNCS(5662), pp.23-31
Colloque: ICCS: International Conference on Conceptual Structures (Moscow, Russia, 17/07/2009–26/07/2009)
Publications en série: Conceptual Structures: Leveraging Semantic Technologies
Identifiants: 9937317709311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-00410129