Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs

From International Center for Computational Logic

Toggle side column

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs

David CarralDavid Carral,  Cristina FeierCristina Feier,  Ana Armas-RomeroAna Armas-Romero,  Bernardo Cuenca-GrauBernardo Cuenca-Grau,  Pascal HitzlerPascal Hitzler,  Ian HorrocksIan Horrocks
David Carral, Cristina Feier, Ana Armas-Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, eds., Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria., volume 1193 of CEUR Workshop Proceedings, 128--140, July 2014. CEUR-WS.org
  • KurzfassungAbstract
    We investigate cases where an ontology expressed in a seemingly

    hard DL can be polynomially reduced to one in a simpler logic,

    while preserving reasoning outcomes for classification and fact entailment. Our transformations target the elimination of inverse roles, universal and existential restrictions, and in the best case allow us to rewrite the given ontology into one of the OWL 2 profiles. Even if an ontology cannot be fully rewritten into a profile, in many cases our transformations allow us to exploit further optimization techniques. Moreover, the elimination of some out-of-profile axioms can improve the performance of modular reasoners, such as MORe. We have tested our techniques on both classification and data reasoning tasks with encouraging results.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CFACHH2014,
  author    = {David Carral and Cristina Feier and Ana Armas-Romero and Bernardo
               Cuenca-Grau and Pascal Hitzler and Ian Horrocks},
  title     = {Is Your Ontology as Hard as You Think? Rewriting Ontologies into
               Simpler {DLs}},
  editor    = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and
               Mantas Simkus},
  booktitle = {Informal Proceedings of the 27th International Workshop on
               Description Logics, Vienna, Austria.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1193},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {July},
  pages     = {128--140}
}