{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:56:13Z","timestamp":1743008173691,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642142024"},{"type":"electronic","value":"9783642142031"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14203-1_6","type":"book-chapter","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T13:10:58Z","timestamp":1278940258000},"page":"61-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Tractable Extensions of the Description Logic $\\cal EL$ with Numerical Datatypes"],"prefix":"10.1007","author":[{"given":"Despoina","family":"Magka","sequence":"first","affiliation":[]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,13]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511711787","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F. Baader","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"issue":"4","key":"6_CR2","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem.\u00a06(4), 309\u2013322 (2008)","journal-title":"J. Web Sem."},{"unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ Envelope. In: IJCAI, pp. 364\u2013369. Professional Book Center (2005)","key":"6_CR3"},{"unstructured":"Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, Northfield, IL: College of American Pathologists (1993)","key":"6_CR4"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"The Gene Ontology Consortium","year":"2000","unstructured":"The Gene Ontology Consortium: Gene Ontology: Tool for the unification of biology. Nature Genetics\u00a025, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"unstructured":"Magka, D.: Consequence-Based Datatype Reasoning in $\\mathcal{EL}$: Identifying the Tractable Fragments. Master\u2019s thesis, Oxford University Computing Laboratory (2009)","key":"6_CR6"},{"unstructured":"Lutz, C.: Description Logics with Concrete Domains-A Survey. In: Advances in Modal Logic, pp. 265\u2013296. King\u2019s College Publications (2002)","key":"6_CR7"},{"doi-asserted-by":"crossref","unstructured":"Magka, D., Kazakov, Y., Horrocks, I.: Tractable Extensions of the Description Logic $\\mathcal{EL}$ with Numerical Datatypes. Technical report, Oxford University Computing Laboratory (2010), posted on, \nhttp:\/\/web.comlab.ox.ac.uk\/isg\/people\/despoina.magka\/publications\/reports\/NDRTechnicalReport_OnlinePDF.pdf","key":"6_CR8","DOI":"10.1007\/s10817-011-9235-0"},{"key":"6_CR9","first-page":"25","volume-title":"ECAI","author":"C. Haase","year":"2008","unstructured":"Haase, C., Lutz, C.: Complexity of Subsumption in the $\\mathcal{EL}$ Family of Description Logics: Acyclic and Cyclic tboxes. In: ECAI, vol.\u00a0178, pp. 25\u201329. IOS Press, Amsterdam (2008)"},{"unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions (2008)","key":"6_CR10"},{"unstructured":"Kazakov, Y.: Consequence-driven Reasoning for Horn $\\mathcal{SHIQ}$ Ontologies. In: IJCAI, pp. 2040\u20132045 (2009)","key":"6_CR11"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14203-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T02:04:29Z","timestamp":1629425069000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-14203-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642142024","9783642142031"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14203-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"13 July 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}