Querying the Semantic Web: A Formal Approach
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Debugging and repair of owl ontologies
Debugging and repair of owl ontologies
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Towards a complete OWL ontology benchmark
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
The summary abox: cutting ontologies down to size
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A decision support system for secure information sharing
Proceedings of the 14th ACM symposium on Access control models and technologies
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Explaining Inconsistencies in OWL Ontologies
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Scalable highly expressive reasoner (SHER)
Web Semantics: Science, Services and Agents on the World Wide Web
A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Semantic Enhancement for Enterprise Data Management
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Scalable cleanup of information extraction data using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Matching patient records to clinical trials using ontologies
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Simplifying access to large-scale health care and life sciences datasets
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Parallel TBox Classification in Description Logics --First Experimental Results
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Assessing trust in uncertain information
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
3XL: Supporting efficient operations on very large OWL Lite triple-stores
Information Systems
Trust-based probabilistic query answering
WISE'11 Proceedings of the 12th international conference on Web information system engineering
The extension-based inference algorithm for pD*
Data & Knowledge Engineering
Ontology management in an event-triggered knowledge network
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Knowledge compilation for automated Team Composition exploiting standard SQL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
Extracting justifications from bioportal ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Large scale skill matching through knowledge compilation
ISMIS'12 Proceedings of the 20th international conference on Foundations of Intelligent Systems
Hi-index | 0.00 |
Query processing of OWL-DL ontologies is intractable in the worst case, but we present a novel technique that in practice allows for efficient querying of ontologies with large Aboxes in secondary storage. We focus on the processing of instance retrieval queries, i.e., queries that retrieve individuals in the Abox which are instances of a given concept C. Our technique Uses summarization and refinement to reduce instance retrieval to a small relevant subset of the original Abox. We demonstrate the effectiveness of this technique in Aboxes with up to 7 million assertions. Our results are applicable to the very expressive description logic SHIN, which corresponds to OWL-DL minus nominals and datatypes.