Reasoning with Dependency Structures and Lexicographic Definitions using Unit Graphs

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 a graph-based Knowledge Representation (KR) formalism that would allow for the representation, manipulation, query, and reasoning over dependency structures, and linguistic knowledge of the lexicon in the Meaning-Text Theory framework. Neither the semantic web formalisms nor the conceptual graphs appear to be suitable for this task, and this led to the introduction of the new Unit Graphs (UG) framework. In this paper we will overview the foundational concepts of this framework: the UGs are defined over a UG-support that contains: i) a hierarchy of unit types which is strongly driven by the actantial structure of unit types, ii) a hierarchy of circumstantial symbols, and iii) a set of unit identifiers. Based on these foundational concepts and on the definition of UGs, this paper justifies the use of a deep semantic representation level to represent meanings of lexical units. Rules over UGs are then introduced, and lexicographic definitions of lexical units are added to the hierarchy of unit types. Finally this paper provides UGs with semantics (in the logical sense), and pose the entailment problem, so as to enable the reasoning in the UGs framework.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-00857634
Contributor : Maxime Lefrançois <>
Submitted on : Tuesday, September 3, 2013 - 5:41:47 PM
Last modification on : Monday, November 5, 2018 - 3:52:09 PM
Document(s) archivé(s) le : Thursday, April 6, 2017 - 3:05:26 PM

File

LefrancoisGandon-Depling2013-R...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00857634, version 1

Collections

Citation

Maxime Lefrançois, Fabien Gandon. Reasoning with Dependency Structures and Lexicographic Definitions using Unit Graphs. Depling - 2nd International Conference on Dependency Linguistics, Aug 2013, Prague, Czech Republic. pp.167-176. ⟨hal-00857634⟩

Share

Metrics

Record views

551

Files downloads

242