The Unit Graphs Mathematical Framework

Maxime Lefrançois 1 Fabien Gandon 1
1 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : We are interested in the choice of a graph-based knowledge representation formalism that would allow for the representation, manipulation, query, and reasoning over linguistic knowledge of the Explanatory Combinatorial Dictionary (ECD) of the Meaning-Text Theory (MTT). We show that neither the semantic web formalisms nor the Conceptual Graphs Formalism are suitable for this task, and we justify the introduction of the new Unit Graphs (UGs) framework. We introduce the fundamental concepts of the UGs mathematical framework: the Unit Types hierarchy and the Unit Graphs. We then show how they may be used to represent lexicographic definitions in the ECD. Finally we provide the UGs with reasoning capabilities.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-00780805
Contributor : Maxime Lefrançois <>
Submitted on : Monday, July 1, 2013 - 12:10:24 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Long-term archiving on: Wednesday, April 5, 2017 - 5:13:35 AM

File

RR-8212.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00780805, version 3

Collections

Citation

Maxime Lefrançois, Fabien Gandon. The Unit Graphs Mathematical Framework. [Research Report] RR-8212, Inria. 2013, pp.65. ⟨hal-00780805v3⟩

Share

Metrics

Record views

891

Files downloads

240