{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:06Z","timestamp":1725493506191},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762973"},{"type":"electronic","value":"9783540762980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76298-0_13","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T14:13:59Z","timestamp":1193408039000},"page":"169-182","source":"Crossref","is-referenced-by-count":18,"title":["OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences"],"prefix":"10.1007","author":[{"given":"Christine","family":"Golbreich","sequence":"first","affiliation":[]},{"given":"Matthew","family":"Horridge","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Motik","sequence":"additional","affiliation":[]},{"given":"Rob","family":"Shearer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene Ontolgy: Tool for the Unification of Biology. Nature Genetics\u00a025(1), 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"13_CR2","unstructured":"Derriere, S., Richard, A., Preite-Martinez, A.: An Ontology of Astronomical Object Types for the Virtual Observatory. In: Proc. of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities, Prague, Czech Republic, August 21\u201322, 2006, pp. 17\u201318 (2006)"},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F.M. Donini","year":"2002","unstructured":"Donini, F.M., Nardi, D., Rosati, R.: Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic\u00a03(2), 177\u2013225 (2002)","journal-title":"ACM Transactions on Computational Logic"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Gardiner, T., Horrocks, I., Tsarkov, D.: Automated Benchmarking of Description Logic Reasoners. In: Proc. of DL 2006. CEUR, vol.\u00a0189 (2006)","DOI":"10.1007\/11926078_47"},{"issue":"3","key":"13_CR5","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.websem.2006.05.007","volume":"4","author":"C. Golbreich","year":"2006","unstructured":"Golbreich, C., Zhang, S., Bodenreider, O.: The Foundational Model of Anatomy in OWL: Experience and Perspectives. Journal of Web Semantics\u00a04(3), 181\u2013195 (2006)","journal-title":"Journal of Web Semantics"},{"key":"13_CR6","unstructured":"Goodwin, J.: Experiences of using OWL at the Ordnance Survey. In: Proc. of OWL-ED 2005. CEUR, vol.\u00a0188 (2005)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Grau, B.C., Horrocks, I., Kazakov, Y., Sattler, U.: Just the Right Amount: Extracting Modules from Ontologies. In: Proc. of WWW 2007, pp. 717\u2013726 (2007)","DOI":"10.1145\/1242572.1242669"},{"key":"13_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013706. Springer, Heidelberg (2001)"},{"issue":"2","key":"13_CR9","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.jbi.2004.09.001","volume":"38","author":"F.W. Hartel","year":"2005","unstructured":"Hartel, F.W., de Coronado, S., Dionne, R., Fragoso, G., Golbeck, J.: Modeling a Description Logic Vocabulary for Cancer Research. Journal of Biomedical Informatics\u00a038(2), 114\u2013129 (2005)","journal-title":"Journal of Biomedical Informatics"},{"key":"13_CR10","unstructured":"Horridge, M., Bechhofer, S., Noppens, O.: Igniting the OWL 1.1 Touch Paper: The OWL API. In: Proc. OWL-ED 2007. CEUR, vol.\u00a0258 (2007)"},{"issue":"1","key":"13_CR11","doi-asserted-by":"crossref","first-page":"36","DOI":"10.4018\/jswis.2005010103","volume":"1","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Hendler, J.: A Tool for Working with Web Ontologies. International Journal on Semantic Web and Information Systems\u00a01(1), 36\u201349 (2005)","journal-title":"International Journal on Semantic Web and Information Systems"},{"issue":"4","key":"13_CR12","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging Unsatisfiable Classes in OWL Ontologies. Journal of Web Semantics\u00a03(4), 243\u2013366 (2005)","journal-title":"Journal of Web Semantics"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-540-30475-3_17","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"H. Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Prot\u00e9g\u00e9 OWL Plugin: An Open Development Environment for Semantic Web Applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"13_CR14","unstructured":"Lacy, L., Aviles, G., Fraser, K., Gerber, W., Mulvehill, A., Gaskill, R.: Experiences Using OWL in Military Applications. In: Proc. of OWL-ED 05. CEUR, vol.\u00a0188 (2005)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Motik, B., Horrocks, I., Sattler, U.: Bridging the Gap Between OWL and Relational Databases. In: Proc. of WWW 2007, pp. 807\u2013816 (2007)","DOI":"10.1145\/1242572.1242681"},{"key":"13_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11916277_16","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"B. Motik","year":"2006","unstructured":"Motik, B., Sattler, U.: A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol.\u00a04246, pp. 227\u2013241. Springer, Heidelberg (2006)"},{"key":"13_CR17","series-title":"LNAI","first-page":"67","volume-title":"Proc. of CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized Reasoning in Description Logics using Hypertableaux. In: Proc. of CADE-21. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"13_CR18","unstructured":"Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. W3C Member Submission (December 19, 2006), Available at http:\/\/www.w3.org\/Submission\/owl11-overview\/"},{"key":"13_CR19","first-page":"216","volume-title":"Semantic Information Processing","author":"M.R. Quillian","year":"1968","unstructured":"Quillian, M.R.: Semantic Memory. In: Minsky, M. (ed.) Semantic Information Processing, pp. 216\u2013270. MIT Press, Cambridge, MA, USA (1968)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Rector, A., Rogers, J.: Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN. In: Reasoning Web, Second International Summer School, Tutorial Lectures, Lisbon, Portugal, September 4\u20138 2006, pp. 197\u2013231 (2006)","DOI":"10.1007\/11837787_9"},{"key":"13_CR21","unstructured":"Ruttenberg, A., Rees, J., Luciano, J.: Experience Using OWL DL for the Exchange of Biological Pathway Information. In: Proc. of OWL-ED 2005. CEUR, vol.\u00a0188 (2005)"},{"key":"13_CR22","unstructured":"Sidhu, A., Dillon, T., Chang, E., Sidhu, B.S.: Protein Ontology Development using OWL. In: Proc. of OWL-ED 2005. CEUR, vol.\u00a0188 (2005)"},{"key":"13_CR23","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL Reasoner. In: Proc. of DL 2004. CEUR, vol.\u00a0104 (2004)"},{"key":"13_CR24","unstructured":"Soergel, D., Lauser, B., Liang, A., Fisseha, F., Keizer, J., Katz, S.: Reengineering Thesauri for New Applications: The AGROVOC Example. Journal of Digital Information\u00a04(4) (2004)"},{"key":"13_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76298-0_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:46:06Z","timestamp":1619520366000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76298-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762973","9783540762980"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76298-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}