{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T07:05:44Z","timestamp":1760598344953,"version":"3.44.0"},"reference-count":20,"publisher":"SAGE Publications","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2020,8,7]]},"DOI":"10.3233\/sw-190357","type":"journal-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T11:44:02Z","timestamp":1559303042000},"page":"657-688","source":"Crossref","is-referenced-by-count":0,"title":["A systematic survey of temporal requirements of bio-health ontologies"],"prefix":"10.1177","volume":"11","author":[{"given":"Jared","family":"Leo","sequence":"first","affiliation":[{"name":"Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mails:\u00a0jared.leo@manchester.ac.uk,\u00a0nicolas.matentzoglu@gmail.com,\u00a0uli.sattler@manchester.ac.uk,\u00a0bijan.parsia@manchester.ac.uk"}]},{"given":"Nicolas","family":"Matentzoglu","sequence":"additional","affiliation":[{"name":"Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mails:\u00a0jared.leo@manchester.ac.uk,\u00a0nicolas.matentzoglu@gmail.com,\u00a0uli.sattler@manchester.ac.uk,\u00a0bijan.parsia@manchester.ac.uk"}]},{"given":"Uli","family":"Sattler","sequence":"additional","affiliation":[{"name":"Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mails:\u00a0jared.leo@manchester.ac.uk,\u00a0nicolas.matentzoglu@gmail.com,\u00a0uli.sattler@manchester.ac.uk,\u00a0bijan.parsia@manchester.ac.uk"}]},{"given":"Bijan","family":"Parsia","sequence":"additional","affiliation":[{"name":"Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL, UK. E-mails:\u00a0jared.leo@manchester.ac.uk,\u00a0nicolas.matentzoglu@gmail.com,\u00a0uli.sattler@manchester.ac.uk,\u00a0bijan.parsia@manchester.ac.uk"}]}],"member":"179","reference":[{"issue":"11","key":"10.3233\/SW-190357_ref1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Communications of the ACM"},{"key":"10.3233\/SW-190357_ref2","doi-asserted-by":"crossref","unstructured":"F. Baader, S. Brand and C. Lutz, Pushing the EL envelope, in: Proc. of IJCAI 2005, Morgan-Kaufmann Publishers, 2005, pp.\u00a0364\u2013369.","DOI":"10.25368\/2022.144"},{"key":"10.3233\/SW-190357_ref3","unstructured":"F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider (eds), The Description Logic Handbook: Theory, Implementation, and Applications, in: Description Logic Handbook, Cambridge University Press. ISBN 0-521-78176-0."},{"key":"10.3233\/SW-190357_ref4","unstructured":"F. Baader and P. Hanschke, A scheme for integrating concrete domains into concept languages, in: IJCAI, 1991, pp. 452\u2013457."},{"issue":"1","key":"10.3233\/SW-190357_ref5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1013882326814","article-title":"An overview of tableau algorithms for description logics","volume":"69","author":"Baader","year":"2001","journal-title":"Studia Logica"},{"key":"10.3233\/SW-190357_ref7","doi-asserted-by":"publisher","DOI":"10.1186\/2041-1480-4-32"},{"issue":"4","key":"10.3233\/SW-190357_ref8","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","article-title":"OWL 2: The next step for OWL","volume":"6","author":"Grau","year":"2008","journal-title":"Journal of Web Semantics"},{"key":"10.3233\/SW-190357_ref9","first-page":"20","article-title":"Biodynamic ontology: Applying BFO in the biomedical domain","volume":"102","author":"Grenon","year":"2004","journal-title":"Studies in health technology and informatics"},{"key":"10.3233\/SW-190357_ref10","unstructured":"V. Guti\u00e9rrez-Basulto, J.C. Jung and T. Schneider, The complexity of temporal description logics with rigid roles and restricted TBoxes: In quest of saving a troublesome marriage, in: Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7\u201310, 2015, 2015. http:\/\/ceur-ws.org\/Vol-1350\/paper-23.pdf."},{"key":"10.3233\/SW-190357_ref11","unstructured":"I. Horrocks, O. Kutz and U. Sattler, The even more irresistible SROIQ, in: KR, 2006, pp. 57\u201367."},{"key":"10.3233\/SW-190357_ref12","unstructured":"Y. Kazakov, SRIQ and SROIQ are harder than SHOIQ, in: Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13\u201316, 2008, 2008. http:\/\/ceur-ws.org\/Vol-353\/Kazakov.pdf."},{"key":"10.3233\/SW-190357_ref13","unstructured":"M. Kr\u00f6tzsch, F. Simancik and I. Horrocks, A Description Logic Primer, CoRR. arXiv:1201.4089, 2012."},{"key":"10.3233\/SW-190357_ref14","unstructured":"C. Little and S. Cox, Time Ontology in OWL, 2017. https:\/\/www.w3.org\/TR\/2017\/REC-owl-time-20171019\/."},{"key":"10.3233\/SW-190357_ref15","unstructured":"C. Lutz, Description logics with concrete domains \u2013 a survey, in: Advances in Modal Logic, 2002, pp. 265\u2013296."},{"key":"10.3233\/SW-190357_ref16","doi-asserted-by":"crossref","unstructured":"C. Lutz, F. Wolter and M. Zakharyaschev, Temporal description logics: A survey, in: TIME, 2008, pp. 3\u201314.","DOI":"10.1109\/TIME.2008.14"},{"issue":"1","key":"10.3233\/SW-190357_ref17","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1109\/TSMCB.2011.2162582","article-title":"tOWL: A temporal web ontology language","volume":"42","author":"Milea","year":"2012","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"},{"issue":"1","key":"10.3233\/SW-190357_ref18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jbi.2006.02.013","article-title":"NCI thesaurus: A semantic model integrating cancer-related clinical and molecular information","volume":"40","author":"Sioutos","year":"2007","journal-title":"Journal of Biomedical Informatics"},{"issue":"11","key":"10.3233\/SW-190357_ref19","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","article-title":"The OBO foundry: Coordinated evolution of ontologies to support biomedical data integration","volume":"25","author":"Smith","year":"2007","journal-title":"Nature biotechnology"},{"key":"10.3233\/SW-190357_ref20","doi-asserted-by":"crossref","unstructured":"B. Smith, W. Ceusters, B. Klagges, J. K\u00f6hler, A. Kuma, J. Lomax, C. Mungall, F. Neuhaus, A. Rector and C. Rosse, Relations in Biomedical Ontologies, Genome Biology 6(5) (2005), R46.","DOI":"10.1186\/gb-2005-6-5-r46"},{"key":"10.3233\/SW-190357_ref21","unstructured":"C.A. Welty and R. Fikes, A reusable ontology for fluents in OWL, in: Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006, Baltimore, Maryland, USA, November 9\u201311, 2006, 2006, pp. 226\u2013236. http:\/\/www.booksonline.iospress.nl\/Content\/View.aspx?piid=2209."}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-190357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T11:00:54Z","timestamp":1756206054000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-190357"}},"subtitle":[],"editor":[{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[{"name":"Wright State University, Dayton, Ohio, USA"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,7]]},"references-count":20,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.3233\/sw-190357","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"type":"electronic","value":"2210-4968"},{"type":"print","value":"1570-0844"}],"subject":[],"published":{"date-parts":[[2020,8,7]]}}}