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
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


Files produced by the author(s)


  • HAL Id : hal-01373659, version 1



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⟩



Record views


Files downloads