Formal Knowledge Management in Distributed Environments

W. Marco Schorlemmer, Stephen Potter, Dave Robertson, Derek Sleeman

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In order to address problems stemming from the dynamic nature of distributed systems, there is a need to be able to express notions of evolution and change of knowledge components of such systems. This need becomes more pressing when one considers the potential of the Internet for distributed knowledge-based problem solving — and the pragmatic issues surrounding knowledge integrity and trust this raises. We introduce a formal calculus for describing transformations in the ‘lifecycles’ of knowledge components, along with suggestions about the nature of distributed environments in which the notions underpinning the calculus can be realised. The formality and level of abstraction of this language encourages the analysis of knowledge histories and allows useful properties about this knowledge to be inferred
Original languageEnglish
Title of host publicationWorkshop on Knowledge Transformation for the Semantic Web, 15th European Conference on Artificial Intelligence ECAI-2002
Number of pages1
Publication statusPublished - 2002

Fingerprint Dive into the research topics of 'Formal Knowledge Management in Distributed Environments'. Together they form a unique fingerprint.

Cite this