{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T18:46:20Z","timestamp":1770576380308,"version":"3.49.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319661667","type":"print"},{"value":"9783319661674","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66167-4_5","type":"book-chapter","created":{"date-parts":[[2017,8,28]],"date-time":"2017-08-28T11:15:18Z","timestamp":1503918918000},"page":"77-94","source":"Crossref","is-referenced-by-count":7,"title":["Using Ontologies to Query Probabilistic Numerical Data"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Koopmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,29]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0779-5","volume-title":"Measure Theory and Probability","author":"MR Adams","year":"1996","unstructured":"Adams, M.R., Guillemin, V.: Measure Theory and Probability. Springer, Boston (1996)"},{"key":"5_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.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1\u201369 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"5_CR3","unstructured":"Artale, A., Ryzhikov, V., Kontchakov, R.: DL-Lite with attributes and datatypes. In: Proceedings ECAI 2012, pp. 61\u201366. IOS Press (2012)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Borgwardt, S., Lippmann, M.: Query rewriting for DL-Lite with $$n$$ -ary concrete domains. In: Proceedings IJCAI 2017 (2017, to appear)","DOI":"10.24963\/ijcai.2017\/109"},{"key":"5_CR5","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: Proceedings of IJCAI 2005, pp. 364\u2013369. Professional Book Center (2005)"},{"key":"5_CR6","unstructured":"Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: Proceedings of IJCAI 1991, pp. 452\u2013457 (1991)"},{"key":"5_CR7","unstructured":"Baader, F., Koopmann, P., Turhan, A.Y.: Using ontologies to query probabilistic numerical data (extended version). LTCS-Report 17\u201305, Chair for Automata Theory, Technische Universit\u00e4t Dresden, Germany (2017). https:\/\/lat.inf.tu-dresden.de\/research\/reports.html"},{"key":"5_CR8","unstructured":"Belle, V., Van den Broeck, G., Passerini, A.: Hashing-based approximate probabilistic inference in hybrid domains: an abridged report. In: Proceedings of IJCAI 2016, pp. 4115\u20134119 (2016)"},{"issue":"3","key":"5_CR9","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.: Tractable reasoning and efficient query answering in description logics: the DL-Lite family. J. Autom. Reas. 39(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reas."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/j.artint.2012.10.003","volume":"195","author":"D Calvanese","year":"2013","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artif. Intell. 195, 335\u2013360 (2013)","journal-title":"Artif. Intell."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dalvi, N., Suciu, D.: Management of probabilistic data: foundations and challenges. In: Proceedings of SIGMOD 2007, pp. 1\u201312. ACM (2007)","DOI":"10.1145\/1265530.1265531"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Dargie, W.: The role of probabilistic schemes in multisensor context-awareness. In: Proceedings of PerCom 2007, pp. 27\u201332. IEEE (2007)","DOI":"10.1109\/PERCOMW.2007.115"},{"issue":"3","key":"5_CR13","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1016\/j.tcs.2005.03.012","volume":"340","author":"A Durand","year":"2005","unstructured":"Durand, A., Hermann, M., Kolaitis, P.G.: Subtractive reductions and complete problems for counting complexity classes. Theoret. Comput. Sci. 340(3), 496\u2013513 (2005)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"5_CR14","doi-asserted-by":"crossref","first-page":"741","DOI":"10.4065\/81.6.741","volume":"81","author":"PL Elkin","year":"2006","unstructured":"Elkin, P.L., Brown, S.H., Husser, C.S., Bauer, B.A., Wahner-Roedler, D., Rosenbloom, S.T., Speroff, T.: Evaluation of the content coverage of SNOMED CT: ability of SNOMED clinical terms to represent clinical problem lists. Mayo Clin. Proc. 81(6), 741\u2013748 (2006)","journal-title":"Mayo Clin. Proc."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1613\/jair.2372","volume":"31","author":"B Glimm","year":"2008","unstructured":"Glimm, B., Lutz, C., Horrocks, I., Sattler, U.: Conjunctive query answering for the description logic $$\\cal{SHIQ}$$ . J. Artif. Intell. Res. (JAIR) 31, 157\u2013204 (2008)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"1","key":"5_CR16","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/203610.203611","volume":"26","author":"LA Hemaspaandra","year":"1995","unstructured":"Hemaspaandra, L.A., Vollmer, H.: The satanic notations: counting classes beyond $$\\# {P}$$ and other definitional adventures. ACM SIGACT News 26(1), 2\u201313 (1995)","journal-title":"ACM SIGACT News"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Hernich, A., Lemos, J., Wolter, F.: Query answering in DL-Lite with datatypes: a non-uniform approach. In: Proceedings of AAAI 2017 (2017)","DOI":"10.1609\/aaai.v31i1.10689"},{"issue":"1","key":"5_CR18","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1137\/0219012","volume":"19","author":"HJ Hoover","year":"1990","unstructured":"Hoover, H.J.: Feasible real functions and arithmetic circuits. SIAM J. Comput. 19(1), 182\u2013204 (1990)","journal-title":"SIAM J. Comput."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-35176-1_12","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"JC Jung","year":"2012","unstructured":"Jung, J.C., Lutz, C.: Ontology-based access to probabilistic data with OWL QL. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 182\u2013197. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-35176-1_12"},{"key":"5_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6802-1","volume-title":"Complexity Theory of Real Functions","author":"KI Ko","year":"1991","unstructured":"Ko, K.I.: Complexity Theory of Real Functions. Birkh\u00e4user, Boston (1991)"},{"issue":"2","key":"5_CR21","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1016\/j.jash.2014.12.001","volume":"9","author":"N Kumar","year":"2015","unstructured":"Kumar, N., Khunger, M., Gupta, A., Garg, N.: A content analysis of smartphone-based applications for hypertension management. J. Am. Soc. Hypertens. 9(2), 130\u2013136 (2015)","journal-title":"J. Am. Soc. Hypertens."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Adding numbers to the $$\\cal{SHIQ}$$ description logic\u2013first results. In: Proceedings KR 2001, pp. 191\u2013202. Citeseer (2001)","DOI":"10.25368\/2022.117"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Lutz, C.: The complexity of description logics with concrete domains. Ph.D. thesis, RWTH Aachen (2002)","DOI":"10.1007\/3-540-45744-5_5"},{"key":"5_CR24","unstructured":"Lutz, C.: Description logics with concrete domains\u2013a survey. In: Advances in Modal Logic 4, pp. 265\u2013296. King\u2019s College Publications (2002)"},{"issue":"4","key":"5_CR25","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1145\/1024922.1024925","volume":"5","author":"C Lutz","year":"2004","unstructured":"Lutz, C.: NExpTime-complete description logics with concrete domains. ACM Trans. Comput. Logic (TOCL) 5(4), 669\u2013705 (2004)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-540-71070-7_16","volume-title":"Automated Reasoning","author":"C Lutz","year":"2008","unstructured":"Lutz, C.: The complexity of conjunctive query answering in expressive description logics. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 179\u2013193. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-71070-7_16"},{"key":"5_CR27","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Proceedings of KR 2010, pp. 393\u2013403. AAAI Press (2010)"},{"key":"5_CR28","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in the description logic $$\\cal{EL}$$ using a relational database system. In: Proceedings of IJCAI 2009, pp. 2070\u20132075. IJCAI\/AAAI (2009)"},{"key":"5_CR29","unstructured":"Rector, A., Gangemi, A., Galeazzi, E., Glowinski, A., Rossi-Mori, A.: The GALEN CORE model schemata for anatomy: towards a re-usable application-independent model of medical concepts. In: Proceedings of MIE 1994, pp. 229\u2013233 (1994)"},{"key":"5_CR30","unstructured":"Rosati, R.: On conjunctive query answering in $$\\cal{EL}$$ . In: Proceedings of DL 2007, pp. 451\u2013458. CEUR-WS.org (2007)"},{"key":"5_CR31","unstructured":"Savkovi\u0107, O., Calvanese, D.: Introducing datatypes in DL-Lite. In: Proceedings of ECAI 2012, pp. 720\u2013725 (2012)"},{"key":"5_CR32","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of IJCAI 1991, pp. 466\u2013471. Morgan Kaufmann (1991)"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Singh, S., Mayfield, C., Mittal, S., Prabhakar, S., Hambrusch, S., Shah, R.: Orion 2.0: native support for uncertain data. In: Proceedings of SIGMOD 2008, pp. 1239\u20131242. ACM (2008)","DOI":"10.1145\/1376616.1376744"},{"issue":"3\u20134","key":"5_CR34","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1023\/A:1008806205438","volume":"5","author":"S Thrun","year":"1998","unstructured":"Thrun, S., Burgard, W., Fox, D.: A probabilistic approach to concurrent mapping and localization for mobile robots. Auton. Robots 5(3\u20134), 253\u2013271 (1998)","journal-title":"Auton. Robots"},{"issue":"4","key":"5_CR35","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1177352.1177355","volume":"38","author":"A Yilmaz","year":"2006","unstructured":"Yilmaz, A., Javed, O., Shah, M.: Object tracking: a survey. ACM Comput. Surv. (CSUR) 38(4), 13 (2006)","journal-title":"ACM Comput. Surv. (CSUR)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66167-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T20:51:43Z","timestamp":1659387103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66167-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661667","9783319661674"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66167-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}