Published: 2010 Februar
Type: Research Notes
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Constructing ontologies for real-world knowledge-intensive applications is a time-consuming and difficult task. As the amount of available OWL ontologies and their size grow, ontology reuse gains in importance. However, differences in requirements lead to conceptual and logical heterogeneity of semantic resources that model related domains. In this paper, we propose methods to support the verification of conceptual and logical suitability of OWL ontologies. We show that our methods significantly reduce the manual effort measured in number of decisions that have to be made by an ontology engineer.