A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules

Résumé

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.

Dates et versions

lirmm-00195482 , version 1 (11-12-2007)

Identifiants

Citer

Jean-François Baget. A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules. ICCS: International Conference on Conceptual Structures, Jul 2007, Sheffield, United Kingdom. pp.83-96, ⟨10.1007/978-3-540-73681-3_7⟩. ⟨lirmm-00195482⟩
141 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More