Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
The Description Logic Handbook
The Description Logic Handbook
Terminological reasoning in SHIQ with ordered binary decision diagrams
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Efficient inferencing for OWL EL
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Efficient rule-based inferencing for OWL EL
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We propose a novel method for reasoning in the description logic $\mathcal{SHIQ}$. After a satisfiability preserving transformation from $\mathcal{SHIQ}$ to the description logic $\mathcal{ALCI}b$, the obtained $\mathcal{ALCI}b$ Tbox $\mathcal{T}$ is converted into an ordered binary decision diagram (OBDD) which represents a canonical model for $\mathcal{T}$. This OBDD is turned into a disjunctive datalog program that can be used for Abox reasoning. The algorithm is worst-case optimal w.r.t. data complexity, and admits easy extensions with DL-safe rules and ground conjunctive queries.