Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework

  • Ondřej Šváb-Zamazal
  • Anne Schlicht
  • Heiner Stuckenschmidt
  • Vojtěch Svátek
Conference paper

DOI: 10.1007/978-3-642-35843-2_45

Volume 7741 of the book series Lecture Notes in Computer Science (LNCS)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Ondřej Šváb-Zamazal
    • 1
  • Anne Schlicht
    • 2
  • Heiner Stuckenschmidt
    • 2
  • Vojtěch Svátek
    • 1
  1. 1.University of EconomicsPragueCzech Republic
  2. 2.University of MannheimGermany