{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:37:13Z","timestamp":1766086633730},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280057"},{"type":"electronic","value":"9783540318644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11532231_13","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T14:56:52Z","timestamp":1279724212000},"page":"177-181","source":"Crossref","is-referenced-by-count":26,"title":["The OWL Instance Store: System Description"],"prefix":"10.1007","author":[{"given":"Sean","family":"Bechhofer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Turi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"FaCT++, http:\/\/owl.man.ac.uk\/factplusplus"},{"key":"13_CR2","unstructured":"Gene Ontology Database, http:\/\/www.godatabase.org\/dev\/database"},{"key":"13_CR3","unstructured":"Instance Store, A.: http:\/\/sourceforge.net\/projects\/instancestore"},{"key":"13_CR4","unstructured":"Instance Store website, http:\/\/instancestore.man.ac.uk"},{"key":"13_CR5","volume-title":"The Description Logic Handbook \u2014 Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook \u2014 Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1024694.1024699"},{"key":"13_CR7","unstructured":"Bechhofer, S.: The DIG description logic interface: DIG\/1.1. In: Proceedings of the 2003 Description Logic Workshop, DL 2003 (2003)"},{"key":"13_CR8","unstructured":"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)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-540-30475-3_46","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"S. Bechhofer","year":"2004","unstructured":"Bechhofer, S., Volz, R.: Patching syntax in OWL ontologies. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 668\u2013682. Springer, Heidelberg (2004)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Borgida, A., Brachman, R.J.: Loading data into description reasoners. In: Procs ACM SIGMOD Int\u2019l Conf. on Management of Data, pp. 217\u2013226 (1993)","DOI":"10.1145\/170035.170073"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-27818-4_6","volume-title":"Mathematical Knowledge Management","author":"O. Caprotti","year":"2004","unstructured":"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.\u00a03119, pp. 73\u201387. Springer, Heidelberg (2004)"},{"key":"13_CR12","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"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.\u00a02083, Springer, Heidelberg (2001)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Hollunder, B.: Consistency checking reduced to satisfiability of concepts in terminological systems. \u00a018(2\u20134), 133\u2013157 (1996)","DOI":"10.1007\/BF02127745"},{"key":"13_CR14","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Procs 6th Int\u2019l Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 636\u2013647 (1998)"},{"key":"13_CR15","unstructured":"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)"},{"key":"13_CR16","unstructured":"Wolstencroft, K., Lord, P., Tabernero, L., Brass, A., Stevens, R.: Intelligent classification of proteins using an ontology. Submitted for publication (2005)"},{"key":"13_CR17","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2013 CADE-20"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11532231_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:05Z","timestamp":1605625745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11532231_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280057","9783540318644"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11532231_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}