EL-ifying Ontologies

David CarralDavid Carral, Cristina FeierCristina Feier, Bernardo Cuenca-GrauBernardo Cuenca-Grau, Pascal HitzlerPascal Hitzler, Ian HorrocksIan Horrocks

ISBN: 978-3-319-08586-9
Download
DOI Link

David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
EL-ifying Ontologies
In Stephane Demri, Deepak Kapur, Christoph Weidenbach, eds., Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria. Proceedings, volume 8562 of Lecture Notes in Computer Science, 464--479, July 2014. Springer

Details
Bibtex

KurzfassungAbstract
The OWL 2 profiles are fragments of the ontology language OWL 2 for which standard reasoning tasks are feasible in polynomial time. Many OWL ontologies, however, contain a typically small number of out-of-profile axioms, which may have little or no influence on reasoning outcomes. We investigate techniques for rewriting axioms into the EL and RL profiles of OWL 2. We have tested our techniques on both classification and data reasoning tasks with encouraging results
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08587-6.

@inproceedings{CFCHH2014,
  author    = {David Carral and Cristina Feier and Bernardo Cuenca-Grau and
               Pascal Hitzler and Ian Horrocks},
  title     = {EL-ifying Ontologies},
  editor    = {Stephane Demri and Deepak Kapur and Christoph Weidenbach},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014,
               Vienna, Austria. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  publisher = {Springer},
  year      = {2014},
  month     = {July},
  pages     = {464--479},
  doi       = {10.1007/978-3-319-08587-6}
}