Towards the Verification of Ontologies with Rules.
Joachim Baumeister, Thomas Kleemann, Dietmar A. Seipel · 2007
The integration of a rule representation in ontology languages enhances the developer’s abilities in the expression of knowl-edge. Likewise the integration creates new challenges for the design process of these knowledge bases. Thus, evaluation approaches have to cope with the merged methods. We intro-duce extensions to existing verification techniques to support the implementation of ontologies with rule enhancements, and we focus on the detection of anomalies that can espe-cially occur due to the combined use of rules and ontological definitions.