Integrating textual knowledge and formal knowledge for improving traceability

Abstract

Knowledge engineering often concerns the translation of informal knowledge into a formal representation. This translation process requires support for itself and for its traceability. We pretend that inserting a terminological structure between informal textual documents and their formalization serves both of these goals. Modern terminology extraction tools support the formalization process where the terms are a first sketch of formalized concepts. Moreover, the terms can be used for linking the concepts and the pieces of texts. This is exemplified through the presentation of an implemented system.