Journal of the ACM (JACM)
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Proceedings of the 15th international conference on World Wide Web
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Query Answering in the Description Logic Horn-$\mathcal{SHIQ}$
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Cheap Boolean Role Constructors for Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Acquiring generalized domain-range restrictions
ICFCA'08 Proceedings of the 6th international conference on Formal concept analysis
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Fundamenta Informaticae
QuiKey: an efficient semantic command line
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Walking the complexity lines for generalized guarded existential rules
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
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
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Hi-index | 0.00 |
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. However, the natural question whether Horn-DLs also provide advantages for TBox reasoning has hardly been addressed so far. In this paper, we therefore provide a thorough and comprehensive analysis of the combined complexities of Horn-DLs. While the combined complexity for many Horn-DLs turns out to be the same as for their non-Horn counterparts, we identify subboolean DLs where Hornness simplifies reasoning.