The OWL instance store: system description

Authors:
Sean Bechhofer;Ian Horrocks;Daniele Turi
Affiliations:
Information Management Group, School of Computer Science, The University of Manchester, Manchester, UK;Information Management Group, School of Computer Science, The University of Manchester, Manchester, UK;Information Management Group, School of Computer Science, The University of Manchester, Manchester, UK
Venue:
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Year:
2005

Citing 3
Cited 20

Loading data into description reasoners

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Using reasoning to guide annotation with gene ontology terms in GOAT

ACM SIGMOD Record

Semantic web: the story so far

W4A '07 Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A)
Ontology schema for an agent belief store

International Journal of Human-Computer Studies
Using OWL to model biological knowledge

International Journal of Human-Computer Studies
Towards semantically enhanced Web service repositories

Web Semantics: Science, Services and Agents on the World Wide Web
Query evaluation and optimization in the semantic web

Theory and Practice of Logic Programming
Real-World Reasoning with OWL

ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
CelOWS: A Service Oriented Architecture to Define, Query and Reuse Biological Models

ICCS '09 Proceedings of the 9th International Conference on Computational Science: Part I
Semantic-Based Top-k Retrieval for Competence Management

ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Partial matchmaking using approximate subsumption

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
ASOW-science: a service oriented framework to support E-science applications

IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
CelOWS: An ontology based framework for the provision of semantic web services related to biological models

Journal of Biomedical Informatics
On the scalability of description logic instance retrieval

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A meta-model for ontologies with ORM2

OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Probabilistic-logical web data integration

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
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
Description logics in ontology applications

TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
The summary abox: cutting ontologies down to size

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Ontology query answering on databases

ISWC'06 Proceedings of the 5th international conference on The Semantic Web
ConceVE: Conceptual modeling and formal validation for everyone

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture, our system is able to perform efficient reasoning over large volumes of instance data, as required by many real world applications.