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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Gene Ontology Database, http://www.godatabase.org/dev/database
Instance Store, A.: http://sourceforge.net/projects/instancestore
Instance Store website, http://instancestore.man.ac.uk
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook — Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Bada, M., Turi, D., McEntire, R., Stevens, R.: Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT. SIGMOD Record (special issue on data engineering for the life sciences) (June 2004)
Bechhofer, S.: The DIG description logic interface: DIG/1.1. In: Proceedings of the 2003 Description Logic Workshop, DL 2003 (2003)
Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web Ontology Language Reference. Technical Report REC-owl-ref-20040210, The Worldwide Web Consortium (February 2004)
Bechhofer, S., Volz, R.: Patching syntax in OWL ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 668–682. Springer, Heidelberg (2004)
Borgida, A., Brachman, R.J.: Loading data into description reasoners. In: Procs ACM SIGMOD Int’l Conf. on Management of Data, pp. 217–226 (1993)
Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and OWL. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73–87. Springer, Heidelberg (2004)
Haarslev, V., Moller, R.: Description of the RACER system and its applications. In: Gore, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, Springer, Heidelberg (2001)
Hollunder, B.: Consistency checking reduced to satisfiability of concepts in terminological systems. 18(2–4), 133–157 (1996)
Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Procs 6th Int’l Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636–647 (1998)
Schmiedel, A.: Semantic indexing based on description logics. In: Baader, F., Buchheit, M., Jeusfeld, M.A., Nutt W., (eds.) Reasoning about structured objects: knowledge representation meets databases. Proceedings of the KI 1994 Workshop KRDB 1994 (September 1994)
Wolstencroft, K., Lord, P., Tabernero, L., Brass, A., Stevens, R.: Intelligent classification of proteins using an ontology. Submitted for publication (2005)
Wroe, C.J., Stevens, R.D., Goble, C.A., Ashburner, M.: A methodology to migrate the gene ontology to a description logic environment using daml+oil. In: Proceedings of the 8th Pacific Symposium on Biocomputing (PSB), Hawaii (January 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bechhofer, S., Horrocks, I., Turi, D. (2005). The OWL Instance Store: System Description. In: Nieuwenhuis, R. (eds) Automated Deduction – CADE-20. CADE 2005. Lecture Notes in Computer Science(), vol 3632. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11532231_13
Download citation
DOI: https://doi.org/10.1007/11532231_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28005-7
Online ISBN: 978-3-540-31864-4
eBook Packages: Computer ScienceComputer Science (R0)