A methodology for the computer-aided cleaning of complex knowledge databases

摘要

In environments with complex cognitive structure (as the Semantic Web or sophisticated spatial databases for Geographical Information Systems), classical methods for detecting anomalies can be inadequate. In this paper the use of an automated theorem prover to detect anomalies in knowledge bases within a complex ontology is proposed. The authors argue that it will need to integrate such systems in some intelligent agents. The loss of real-time execution -in some cases- is discussed with examples.