Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Integrating textual knowledge and formal knowledge for improving traceability

Abstract : This article deals with traceability in knowledge repositories. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminological resources. The presented system is one step towards incremental formalization from textual knowledge. As such, it is a valuable tool for building knowledge repositories.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01373659
Contributor : Jérôme Euzenat Connect in order to contact the contributor
Submitted on : Thursday, September 29, 2016 - 8:21:01 AM
Last modification on : Wednesday, February 2, 2022 - 3:52:09 PM
Long-term archiving on: : Friday, December 30, 2016 - 12:17:24 PM

File

cerbah2000b.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01373659, version 1

Collections

Citation

Farid Cerbah, Jérôme Euzenat. Integrating textual knowledge and formal knowledge for improving traceability. ECAI workshop on Knowledge Management and Organizational Memory, Aug 2000, Berlin, Germany. pp.10-16. ⟨hal-01373659⟩

Share

Metrics

Record views

149

Files downloads

82