RWTH Aachen University
Currently, the extension of ontologies by a rule representation is a very popular research issue. A rule language increases the expressiveness of the underlying knowledge in many ways. Likewise, the integration creates new challenges for the design process of such ontologies, but also existing evaluation methodologies have to cope with the extension of ontologies by rules. In this paper, the authors introduce supplements to existing verification techniques to support the design of ontologies with rule enhancements.