A distributed, knowledge-intensive information system