Part-Whole Reasoning: A Case Study in Medical Ontology Engineering
IEEE Intelligent Systems
A New Method to Index and Query Sets
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Consistency Testing: The RACE Experience
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A framework for mobile-agents embodied in X3D networked virtual environment
Web3D '03 Proceedings of the eighth international conference on 3D Web technology
DAML+OIL: A Reason-able Web Ontology Language
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reviewing the design of DAML+OIL: an ontology language for the semantic web
Eighteenth national conference on Artificial intelligence
The description logic handbook
Ontology-Based Search for Interactive Digital Maps
IEEE Intelligent Systems
Empowering Resource Providers to Build the Semantic Grid
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
Optimizing Terminological Reasoning for Expressive Description Logics
Journal of Automated Reasoning
A blueprint for higher-level fusion systems
Information Fusion
Force deployment analysis with generalized grammar
Information Fusion
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A Reusable Ontology for Fluents in OWL
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Reasoning on UML class diagrams
Artificial Intelligence
Enabling scientific collaboration on the Grid
Future Generation Computer Systems
Exploiting Partial Information in Taxonomy Construction
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Detecting Inconsistencies in the Gene Ontology Using Ontology Databases with Not-gadgets
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
A pragmatic approach for RDFS reasoning over large scale instance data
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
Optimising ontology classification
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
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Scalable instance retrieval for the semantic web by approximation
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Ontology driven securities data management and analysis
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Reducing the inferred type statements with individual grouping constructs
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Trustworthy instantiation of frameworks
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A novel approach to ontology classification
Web Semantics: Science, Services and Agents on the World Wide Web
Extended caching, backjumping and merging for expressive description logics
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |
We present an empirical analysis of optimization techniques devised to speed up the so-called TBox classification supported by description logic systems which have to deal with very large knowledge bases (e.g. containing more than 100,000 concept introduction axioms). These techniques are integrated into the RACE architecture which implements a TBox and ABox reasoner for the description logic ALCNHR+. The described techniques consist of adaptions of previously known as well as new optimization techniques for efficiently coping with these kinds of very large knowledge bases. The empirical results presented in this paper are based on experiences with an ontology for the Unified Medical Language System and demonstrate a considerable runtime improvement. They also indicate that appropriate description logic systems based on sound and complete algorithms can be particularly useful for very large knowledge bases.