Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Flexible Ontology Reasoning Architecture for the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Journal of Automated Reasoning
High performance reasoning with very large knowledge bases: a practical case study
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Stream Reasoning: A Survey and Further Research Directions
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
On the scalability of description logic instance retrieval
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Parallelizing tableaux-based description logic reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Parallel TBox Classification in Description Logics --First Experimental Results
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Description logic reasoning for semantic web ontologies
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
| Hi-index | 0.00 |
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning for the description logics ALCNHR+ and ALC(D). The advances are demonstrated by an empirical analysis using the description logic system RACE that implements TBox and ABox reasoning for ALCNHR+.