The OWL Instance Store: System Description

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.

[1]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[2]  Raphael Volz,et al.  Patching Syntax in OWL Ontologies , 2004, SEMWEB.

[3]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[4]  Carole A. Goble,et al.  A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL , 2002, Pacific Symposium on Biocomputing.

[5]  S. Bechhofer.  The DIG Description Logic Interface : DIG / 1 . 0 , 2002 .

[6]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[7]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[8]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[9]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[10]  Mike Dewar,et al.  Mathematical Service Matching Using Description Logic and OWL , 2004, MKM.

[11]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[12]  Werner Nutt,et al.  Reasoning about structured objects: Knowledge representation meets databases , 1995, Knowl. Eng. Rev..

[13]  Alexander Borgida,et al.  Loading data into description reasoners , 1993, SIGMOD Conference.

[14]  Robert Stevens,et al.  Using reasoning to guide annotation with gene ontology terms in GOAT , 2004, SGMD.

[15]  Albrecht Schmiedel.  Semantic Indexing Based on Description Logics , 1994, KRDB.

[16]  Bernhard Hollunder.  Consistency checking reduced to satisfiability of concepts in terminological systems , 2005, Annals of Mathematics and Artificial Intelligence.