Consequence−Driven Reasoning for Horn SHIQ Ontologies
We present a novel reasoning procedure for Horn SHIQ ontologies–SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reasoning procedures for ontologies, our procedure does not build models or model representations, but works by deriving new co...
| Hlavní autor: | |
|---|---|
| Médium: | Conference item |
| Vydáno: |
2015
|