Elimination of Redundancy in Ontologies

Presented at: 8th Extended Semantic Web Conference (ESWC2011)

by Stephan Grimm, Jens Wissmann

Ontologies may contain redundancy in terms of axioms that logically follow from other axioms and that could be removed for the sake of consolidation and conciseness without changing the overall meaning. In this paper, we investigate methods for removing such redundancy from ontologies. We define notions around redundancy and discuss typical cases of redundancy and their relation to ontology engineering and evolution. We provide methods to compute irredundant ontologies both indirectly by calculating justifications, and directly by utilising a hitting set tree algorithm and module extraction techniques for optimization. Moreover, we report on experimental results on removing redundancy from existing ontologies available on the Web.

Keywords: OWL DL, hitting set tree, justifications, ontolgy evolution

Resource URI on the dog food server: http://data.semanticweb.org/conference/eswc/2011/paper/ontologies/2

Explore this resource elsewhere: