Theorem proving with ordering and equality constrained clauses
Journal of Symbolic Computation
On the complexity of bounded-variable queries (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Information and Computation
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
The Description Logic Handbook
The Description Logic Handbook
A mapping system for the integration of OWL-DL ontologies
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A decentralized infrastructure for query answering over distributed ontologies
Proceedings of the 2007 ACM symposium on Applied computing
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
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
The Complexity of Conjunctive Query Answering in Expressive Description Logics
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Query Answering in the Description Logic Horn-$\mathcal{SHIQ}$
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Approximate OWL-Reasoning with Screech
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
ELP: Tractable Rules for OWL 2
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Prolog Based Description Logic Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
Characterizing data complexity for conjunctive query answering in expressive description logics
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Answering regular path queries in expressive description logics: an automata-theoretic approach
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Worst-case optimal conjunctive query answering for an expressive description logic without inverses
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Conjunctive query answering for the description logic SHIQ
Journal of Artificial Intelligence Research
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conjunctive query answering for the description logic SHIQ
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Scalable Web Reasoning Using Logic Programming Techniques
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Paraconsistent Reasoning for OWL 2
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
The DL-lite family and relations
Journal of Artificial Intelligence Research
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
International Journal of Approximate Reasoning
Efficient OWL reasoning with logic programs: evaluations
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
NavEditOW: a system for navigating, editing and querying ontologies through the web
KES'07/WIRN'07 Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III
Approximating horn knowledge bases in regular description logics to have PTIME data complexity
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Data complexity in the ƐL family of description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Journal on data semantics X
Theory and Practice of Logic Programming
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Journal of Computer and System Sciences
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
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Extended rules in knowledge-based data access
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Resolution-Based approximate reasoning for OWL DL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
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
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A comparison of reasoning techniques for querying large description logic ABoxes
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Semantic metadata generation for large scientific workflows
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Semantic web search based on ontological conjunctive queries
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Top-k retrieval for ontology mediated access to relational databases
Information Sciences: an International Journal
Tightly integrated probabilistic description logic programs for representing ontology mappings
Annals of Mathematics and 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
Foundations of Modal Deductive Databases
Fundamenta Informaticae
Complexities of Horn Description Logics
ACM Transactions on Computational Logic (TOCL)
Data complexity of query answering in description logics
Artificial Intelligence
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
Computing datalog rewritings beyond horn ontologies
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Hi-index | 0.00 |
Data complexity of reasoning in description logics (DLs) estimates the performance of reasoning algorithms measured in the size of the ABox only. We show that, even for the very expressive DL SHIQ, satisfiability checking is data complete for NP. For applications with large ABoxes, this can be a more accurate estimate than the usually considered combined complexity, which is EXPTIME-complete. Furthermore, we identify an expressive fragment, Horn-SHIQ, which is data complete for P, thus being very appealing for practical usage.