T H E U N I V E R S I T Y O F E D I N B U R G H Division of Informatics, University of Edinburgh Centre for Intelligent Systems and their Applications Formal Knowledge Management in Distributed Environments by Marco Schorlemmer, Stephen Potter, Dave Robertson, Derek Sleeman Informatics Research Report EDI-INF-RR-0136 Division of Informatics June 2002 http://www.informatics.ed.ac.uk/