A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules

Jean-François Baget 1, 2
1 ACACIA - Knowledge acquisition for aided design through agent interaction
CRISAM - Inria Sophia Antipolis - Méditerranée
2 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 : We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of these datatypes is inspired by the work done for RDF/RDFS, keeping sound and complete projection-based algorithms for deduction has led to strong syntactic restrictions (datatyped concept nodes of a target graph cannot be generic). This restriction, however, allows us to smoothly upgrade our extension to rules, and to introduce functional relations (that compute the value of datatyped concept nodes) while keeping sound and complete reasonings.
Type de document :
Communication dans un congrès
Simon Povolina; Richard Hill; Uta Priss. ICCS: International Conference on Conceptual Structures, Jul 2007, Sheffield, United Kingdom. Springer, 15th International Conference on Conceptual Structures, LNCS (4604), pp.83-96, 2007, Conceptual Structures: Knowledge Architectures for Smart Applications
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00195482
Contributeur : Jean-François Baget <>
Soumis le : mardi 11 décembre 2007 - 09:29:34
Dernière modification le : jeudi 24 mai 2018 - 15:59:21

Identifiants

  • HAL Id : lirmm-00195482, version 1

Collections

Citation

Jean-François Baget. A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules. Simon Povolina; Richard Hill; Uta Priss. ICCS: International Conference on Conceptual Structures, Jul 2007, Sheffield, United Kingdom. Springer, 15th International Conference on Conceptual Structures, LNCS (4604), pp.83-96, 2007, Conceptual Structures: Knowledge Architectures for Smart Applications. 〈lirmm-00195482〉

Partager

Métriques

Consultations de la notice

215