Is your ontology as hard as you think? : rewriting ontologies into simpler DLs
<p>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 r...
Main Authors: | , , , , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2014
|
Subjects: |