Very few information repositories, especially corporate memories, are formal knowledge bases (KBs) since, despite its benefits, formal and scalable knowledge modelling is inherently a difficult and time-consuming exercise that current generic KB systems (KBSs) still do not guide well. Instead, repositories are most often composed of informal documents that are independently created by people (t...

This article reframes the debate on validation of non-formal and informal learning by connecting it to sociology education curriculum studies literatures. Building these literatures, differentiates between four types validation: (a) covert implicit, (b) but embedded, (c) overt functional (d) institutional. Based this classification, I problematise widespread view that there is little in formal ...

The relationship between beliefs and knowledge is usually left undefined in educational papers. Furinghetti & Pehkonen (2002) point out that when discussing on beliefs it is better distinguish between objective (formal, public) knowledge and subjective (informal, personal) knowledge. Here we understand beliefs as an individual’s subjective knowledge and emotions concerning objects and their rel...

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 and model generation, provided that language processing technologies allow to elaborate semi...

The recent advances in knowledge base research and the growing importance of effective knowledge management raised an important question of knowledge base equivalence verification. This problem has not been stated earlier, at least in a way that allows speaking about algorithms for verification of informational equivalence, because the informal definition of knowledge bases makes formal solutio...