A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Cardinality restrictions on concepts
Artificial Intelligence
Artificial Intelligence
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Resolution decision procedures
Handbook of automated reasoning
The Description Logic Handbook
The Description Logic Handbook
Complexity boundaries for horn description logics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Data complexity of reasoning in very expressive description logics
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Journal of Automated Reasoning
Individual Reuse in Description Logic Reasoning
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
Laconic and Precise Justifications in OWL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Usability Issues in Description Logic Knowledge Base Completion
ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
Justification oriented proofs in OWL
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Scalable OWL 2 reasoning for linked data
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Using sums-of-products for non-standard reasoning
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Journal of Ambient Intelligence and Smart Environments
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A user and NLP-assisted strategic workflow for a social semantic OWL 2-based knowledge platform
Proceedings of the Workshop on Semantic Analysis in Social Media
A tableau algorithm for fuzzy description logics over residuated de morgan lattices
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
ExpTime Tableaux for Using Sound Global Caching
Journal of Automated Reasoning
System description: E-KRHyper 1.4: extensions for unique names and description logic
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. To prevent the calculus from generating large models, we introduce "anywhere" pairwise blocking. Our preliminary implementation shows significant performance improvements on several well-known ontologies. To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology.