Abstract
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. © 2014 Springer International Publishing Switzerland.
Cite
CITATION STYLE
Carral, D., Feier, C., Cuenca Grau, B., Hitzler, P., & Horrocks, I. (2014). Ifying ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8562 LNAI, pp. 464–479). Springer Verlag. https://doi.org/10.1007/978-3-319-08587-6_36
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
