Track:
All Papers
Downloads:
Abstract:
The integration of a rule representation in ontology languages enhances the developer's abilities in the expression of knowledge. 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 introduce extensions to existing verification techniques to support the implementation of ontologies with rule enhancements, and we focus on the detection of anomalies that can especially occur due to the combined use of rules and ontological definitions.