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...
| מחבר ראשי: | |
|---|---|
| פורמט: | Conference item |
| יצא לאור: |
2015
|