Towards the Verification of Ontologies with Rules

Joachim Baumeister, Thomas Kleemann, Dietmar Seipel

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.

Subjects: 11.2 Ontologies; 10. Knowledge Acquisition

Submitted: Feb 9, 2007

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.