Verification of distributed knowledge in semantic knowledge wikis

Abstract

Recently, the development of distributed knowledge systems has become more attractive due to the existence of new so cial semantic applications such as semantic knowledge wikis. User-friendly tools like wikis allow for a simple acquisition of formal knowledge, but also pose new challenges in knowl edge engineering. In this paper, we reconsider classic criteria for verification in the light of a distributed knowledge base and we discuss novel anomalies that possibly occur during the collaborative development of a distributed knowledge base. Copyright © 2009, Assocation for the Advancement of ArtdicaI Intelligence (www.aaai.org). All rights reserved.