{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T07:27:19Z","timestamp":1785223639435,"version":"3.55.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,7,22]],"date-time":"2011-07-22T00:00:00Z","timestamp":1311292800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1007\/s10817-011-9235-0","type":"journal-article","created":{"date-parts":[[2011,7,21]],"date-time":"2011-07-21T19:45:04Z","timestamp":1311277504000},"page":"427-450","source":"Crossref","is-referenced-by-count":9,"title":["Tractable Extensions of the Description Logic ${\\mathcal{EL}}$ with Numerical Datatypes"],"prefix":"10.1007","volume":"47","author":[{"given":"Despoina","family":"Magka","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yevgeny","family":"Kazakov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,7,22]]},"reference":[{"key":"9235_CR1","doi-asserted-by":"crossref","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":"9235_CR2","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"BC 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 Semantics 6(4), 309\u2013322 (2008)","journal-title":"J. Web Semantics"},{"key":"9235_CR3","first-page":"364","volume-title":"IJCAI","author":"F Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: IJCAI, pp.\u00a0364\u2013369. Professional Book Center, London (2005)"},{"key":"9235_CR4","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: experience with SNOMED-RT. J. Am. Med. Inform. Assoc. (2000)"},{"key":"9235_CR5","doi-asserted-by":"crossref","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. Nat. Genet. 25, 25\u201329 (2000)","journal-title":"Nat. Genet."},{"key":"9235_CR6","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 Web Ontology Language Profiles. http:\/\/www.w3.org\/TR\/owl2-profiles\/ (27 October 2009)"},{"key":"9235_CR7","doi-asserted-by":"crossref","unstructured":"Magka, D., Kazakov, Y., Horrocks, I.: Tractable extensions of the description logic $\\mathcal{EL}$ with numerical datatypes. In: Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR\u00a02010), 16\u201319 July. LNAI, vol. 6173, pp.\u00a061\u201375. Springer (2010)","DOI":"10.1007\/978-3-642-14203-1_6"},{"key":"9235_CR8","first-page":"265","volume-title":"Advances in Modal Logic","author":"C Lutz","year":"2002","unstructured":"Lutz, C.: Description logics with concrete domains\u2014a survey. In: Advances in Modal Logic, pp.\u00a0265\u2013296. King\u2019s College Publications, London (2002)"},{"key":"9235_CR9","first-page":"25","volume-title":"ECAI, vol. 178","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. 178, pp.\u00a025\u201329. IOS Press, Amstderdam (2008)"},{"key":"9235_CR10","first-page":"315","volume-title":"Advances in Modal Logic","author":"V Sofronie-Stokkermans","year":"2008","unstructured":"Sofronie-Stokkermans, V.: Locality and subsumption testing in $\\mathcal{EL}$ and some of its extensions. In: Advances in Modal Logic, pp.\u00a0315\u2013339. College Publications, London (2008)"},{"key":"9235_CR11","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":"9235_CR12","unstructured":"Kazakov, Y.: Consequence-driven reasoning for horn $\\mathcal{SHIQ}$ ontologies. In: IJCAI, pp.\u00a02040\u20132045 (2009)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-011-9235-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-011-9235-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-011-9235-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T05:33:53Z","timestamp":1560404033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-011-9235-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,22]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["9235"],"URL":"https:\/\/doi.org\/10.1007\/s10817-011-9235-0","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,22]]}}}