Consequence-based reasoning for description logics with disjunction, inverse roles, and nominals
We present a consequence-based calculus for the SHOI description logic. Known consequence-based reasoning procedures are either restricted to logics without nominals (e.g. SRIQ), or to Horn logics (e.g. Horn-SROIQ). In line with existing approaches, our algorithm uses context structures to assist in...
| मुख्य लेखकों: | , , |
|---|---|
| स्वरूप: | Conference item |
| प्रकाशित: |
CEUR Workshop Proceedings
2017
|