One of the benefits of formally represented knowledge lies in its potential to be shared. Ontologies have been proposed as the ultimate solution to problems in knowledge sharing. However even when an agreed correspondence between ontologies is reached that is not the end of the problems in knowledge sharing. In this paper we explore a number of realistic knowledge-sharing situations and their related problems for which ontologies fall short in providing a solution. For each situation. we propose and analyse alternative solutions. (C) 2002 Elsevier Science B.V. All rights reserved.
- knowledge sharing
- knowledge representation and inference
- LINEAR LOGIC