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

In environments with complex cognitive structure (such as 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.