Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
A bottom-up method for the deterministic horn fragment of the description logic ALC
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Query answering in the horn fragments of the description logics SHOIQ and SROIQ
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
We introduce a Horn description logic called Horn-DL, which is strictly and essentially richer than Horn-$\mathcal{SROIQ}$, while still has PTime data complexity. In comparison with Horn-$\mathcal{SROIQ}$, HornDL additionally allows the universal role and assertions of the form irreflexive(s), $\lnot s(a,b)$, $a \not\doteq b$. More importantly, in contrast to all the well-known Horn fragments $\mathcal{EL}$, DL-Lite, DLP, Horn-$\mathcal{SHIQ}$, Horn-$\mathcal{SROIQ}$ of description logics, HornDL allows a form of the concept constructor "universal restriction" to appear at the left hand side of terminological inclusion axioms. Namely, a universal restriction can be used in such places in conjunction with the corresponding existential restriction. In the long version of this paper, we present the first algorithm with PTime data complexity for checking satisfiability of HornDL knowledge bases.