{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:05Z","timestamp":1725471185500},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540371878"},{"type":"electronic","value":"9783540371885"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11814771_25","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:44:21Z","timestamp":1160063061000},"page":"287-291","source":"Crossref","is-referenced-by-count":68,"title":["CEL \u2014 A Polynomial-Time Reasoner for Life Science Ontologies"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[]},{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"IJCAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                  envelope. In: IJCAI 2005, Edinburgh, UK, Morgan-Kaufmann Publishers, San Francisco (2005)"},{"key":"25_CR2","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic \n                    \n                      \n                    \n                    $\\mathcal{EL}$\n                   useful in practice. In: Proceedings of the 2005 International Workshop on Methods for Modalities (M4M 2005) (2005)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":": The Gene\u00a0Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","DOI":"10.1038\/75556"},{"key":"25_CR4","unstructured":"Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International, Northfield, IL: College of American Pathologists (1993)"},{"key":"25_CR5","volume-title":"Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997)","author":"A. Rector","year":"1997","unstructured":"Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997), Stanford, CA, AAAI Press, Menlo Park (1997)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11814771_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:34:53Z","timestamp":1558308893000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11814771_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540371878","9783540371885"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11814771_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}