Computing horn rewritings of description logics ontologies
We study the problem of rewriting an ontology O1 expressed in a DL L1 into an ontology O2 in a Horn DL L2 such that O1 and O2 are equisatisfiable when extended with an arbitrary dataset. Ontologies that admit such rewritings are amenable to reasoning techniques ensuring tractability in data complexi...
Main Authors: | , |
---|---|
Format: | Conference item |
Published: |
International Joint Conferences on Artificial Intelligence
2015
|