Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
- Cite this paper as:
- Šváb-Zamazal O., Schlicht A., Stuckenschmidt H., Svátek V. (2013) Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework. In: van Emde Boas P., Groen F.C.A., Italiano G.F., Nawrocki J., Sack H. (eds) SOFSEM 2013: Theory and Practice of Computer Science. SOFSEM 2013. Lecture Notes in Computer Science, vol 7741. Springer, Berlin, Heidelberg
Many of the tools supporting the OWL ontological language face complexity problems when handling certain constructs of the language. This leads to the requirement of automatically changing the ontology, either by removing a specific type of construct or by adhering (downgrading) the ontology to a predefined OWL2 profile such as OWL2 EL. We present an approach to construct replacing and complexity downgrading that relies on transformation patterns processed by a generic ontology transformation framework. Transformation patterns allow to declaratively formulate and transparently execute axiom replacement operations. This potentially preserves derivations that would otherwise be lost due to simple removal of problematic axioms.