{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:19:57Z","timestamp":1740158397813,"version":"3.37.3"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T00:00:00Z","timestamp":1505347200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s13218-017-0510-z","type":"journal-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T03:00:42Z","timestamp":1505358042000},"page":"377-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4984-1532","authenticated-orcid":false,"given":"Veronika","family":"Thost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,14]]},"reference":[{"key":"510_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804090","volume-title":"Computational complexity\u2014a modern approach","author":"S Arora","year":"2009","unstructured":"Arora S, Barak B (2009) Computational complexity\u2014a modern approach. Cambridge University Press, Cambridge"},{"key":"510_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2820","volume":"36","author":"A Artale","year":"2009","unstructured":"Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2009) The $$\\textit{ DL-Lite }$$ DL - Lite family and relations. J Artif Intell Res 36:1\u201369","journal-title":"J Artif Intell Res"},{"key":"510_CR3","unstructured":"Artale A, Kontchakov R, Kovtunova A, Ryzhikov V, Wolter F, Zakharyaschev M (2015) First-order rewritability of ontology-mediated temporal queries. In: Yang Q, Wooldridge M (eds) Proceedings of the 24th international joint conference on artificial intelligence (IJCAI\u201915), pp 2706\u20132712. AAAI Press"},{"key":"510_CR4","doi-asserted-by":"crossref","unstructured":"Artale A, Kontchakov R, Lutz C, Wolter F, el\u00a0Zakharyaschev M (2007) Temporalising tractable description logics. In: Goranko V, Wang XS (eds) Proceedings of the 14th international symposium on temporal representation and reasoning (TIME\u201907), pp 11\u201322. IEEE Press","DOI":"10.1109\/TIME.2007.62"},{"issue":"3","key":"510_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/2629565","volume":"15","author":"A Artale","year":"2014","unstructured":"Artale A, Kontchakov R, Ryzhikov V, Zakharyaschev M (2014) A cookbook for temporal conceptual data modelling with description logics. ACM Trans Comput Logic 15(3):25","journal-title":"ACM Trans Comput Logic"},{"key":"510_CR6","doi-asserted-by":"crossref","unstructured":"Baader F, Borgwardt S, Koopmann P, Ozaki A, Thost V (2017) Metric temporal description logics with interval-rigid names. In: Proceedings of the 11th international symposium on frontiers of combining systems (FroCoS\u201917)","DOI":"10.1007\/978-3-319-66167-4_4"},{"key":"510_CR7","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 DL, Nardi D, Patel-Schneider PF (2007) The description logic handbook: theory, implementation, and applications, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"key":"510_CR8","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/j.websem.2014.11.007","volume":"33","author":"S Borgwardt","year":"2015","unstructured":"Borgwardt S, Lippmann M, Thost V (2015) Temporalizing rewritable query languages over knowledge bases. J Web Semant 33:50\u201370","journal-title":"J Web Semant"},{"key":"510_CR9","doi-asserted-by":"crossref","unstructured":"Borgwardt S, Thost V (2015) Temporal query answering in $$\\textit{ DL-Lite }$$ DL - Lite with negation. In: Gottlob G, Sutcliffe G, Voronkov A (eds) Proceedings of the 1st global conference on artificial intelligence, GCAI\u201915, EPiC series in computing, vol 26, pp 51\u201365. EasyChair","DOI":"10.25368\/2022.221"},{"key":"510_CR10","doi-asserted-by":"crossref","unstructured":"Borgwardt S, Thost V (2015) Temporal query answering in the description logic $$\\cal{EL}$$ EL . In: Yang Q, Wooldridge M (eds) Proceedings of the 24th international joint conference on artificial intelligence (IJCAI\u201915), pp 2819\u20132825. AAAI Press","DOI":"10.25368\/2022.214"},{"issue":"3","key":"510_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D Calvanese","year":"2007","unstructured":"Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Rosati R (2007) Tractable reasoning and efficient query answering in description logics: the dl-lite family. J Autom Reason 39(3):385\u2013429","journal-title":"J Autom Reason"},{"key":"510_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.websem.2012.05.003","volume":"17","author":"M Compton","year":"2012","unstructured":"Compton M, Barnaghi P, Bermudez L, Garc\u0131a-Castro R, Corcho O, Cox S, Graybeal J, Hauswirth M, Henson C, Herzog A, Huang V, Janowicz K, Kelsey WD, Phuoc DL, Lefort L, Leggieri M, Neuhaus H, Nikolov A, Page K, Passant A, Sheth A, Taylor K (2012) The SSN ontology of the W3C Semantic Sensor Network Incubator Group. J Web Semant 17:25\u201332","journal-title":"J Web Semant"},{"key":"510_CR13","unstructured":"Guti\u00e9rrez-Basulto V, Jung JC, Kontchakov R (2016) Temporalized $$\\cal{EL}$$ EL ontologies for accessing temporal data: complexity of atomic queries. In: Kambhampati S (ed) Proceedings of the 25th international joint conference on artificial intelligence (IJCAI\u201916), pp 1102\u20131108. AAAI Press"},{"key":"510_CR14","first-page":"1","volume":"1872\u20132015","author":"Ontologies for Robotics and Automation Working Group","year":"2015","unstructured":"Ontologies for Robotics and Automation Working Group (2015) Ieee standard ontologies for robotics and automation. IEEE Std 1872\u20132015:1\u201360","journal-title":"IEEE Std"},{"issue":"3","key":"510_CR15","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"AP Sistla","year":"1985","unstructured":"Sistla AP, Clarke EM (1985) The complexity of propositional linear temporal logics. J ACM 32(3):733\u2013749","journal-title":"J ACM"},{"key":"510_CR16","unstructured":"Thost V (2017) News on temporal conjunctive queries. In: Proceedings of the 1st web stream processing workshop (To appear)"},{"key":"510_CR17","doi-asserted-by":"crossref","unstructured":"Thost V (2017) Using ontology-based data access to enable context recognition in the presence of incomplete information. Ph.D. Thesis, TU Dresden. http:\/\/nbn-resolving.de\/urn:nbn:de:bsz:14-qucosa-227633","DOI":"10.1007\/s13218-017-0510-z"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-017-0510-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-017-0510-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-017-0510-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T20:39:49Z","timestamp":1659472789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-017-0510-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,14]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["510"],"URL":"https:\/\/doi.org\/10.1007\/s13218-017-0510-z","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2017,9,14]]}}}