Verification and correctness issues for
โ
Grigoris Antoniou
๐
Article
๐
1997
๐
John Wiley and Sons
๐
English
โ 147 KB
Anomalies such as redundant, contradictory, or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed, and applied in the past years, but they usually deal with rule-based systems. So far, little attention has bee