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...
| Tác giả chính: | |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
2015
|