The OWL Instance Store: System Description

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.

• Type: Conference
• Year: 2005
• Where: CADE
• Authors: Sean Bechhofer, Ian Horrocks, Daniele Turi
• Keywords: Automated Reasoning, CADE 2005, Hybrid Reasoner/database Architecture, OWL Ontologies, Real World Applications