{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:29:04Z","timestamp":1743143344320,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_6","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"77-91","source":"Crossref","is-referenced-by-count":3,"title":["Tight Complexity Bounds for Reasoning in the Description Logic $\\mathcal{BE{\\kern-.1em}L}$"],"prefix":"10.1007","author":[{"given":"\u0130smail \u0130lkan","family":"Ceylan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. IJCAI 2005. Morgan Kaufmann (2005)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10817-010-9181-2","volume":"45","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. J. of Automated Reasoning\u00a045(2), 91\u2013129 (2010)","journal-title":"J. of Automated Reasoning"},{"key":"6_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"52","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Suntisrivaraporn, B.: Pinpointing in the description logic $\\mathcal{EL}^+$. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"6_CR5","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: Proc. ECAI 2004, pp. 298\u2013302. IOS Press (2004)"},{"key":"6_CR6","unstructured":"Ceylan, \u0130.\u0130.: Context-Sensitive Bayesian Description Logics. Master\u2019s thesis, Dresden University of Technology, Germany (2013)"},{"key":"6_CR7","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-319-08587-6_37","volume-title":"Automated Reasoning","author":"\u0130.\u0130. Ceylan","year":"2014","unstructured":"Ceylan, \u0130.\u0130., Pe\u00f1aloza, R.: The Bayesian Description Logic $\\mathcal{BEL}$. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS (LNAI), vol.\u00a08562, pp. 480\u2013494. Springer, Heidelberg (2014)"},{"key":"6_CR8","unstructured":"Ceylan, \u0130.\u0130., Pe\u00f1aloza, R.: Bayesian Description Logics. In: Bienvenu, M., Ortiz, M., Rosati, R., Simkus, M. (eds.) Proceedings of the 27th International Workshop on Description Logics (DL 2014). CEUR Workshop Proceedings, vol.\u00a01193, pp. 447\u2013458. CEUR-WS (2014)"},{"issue":"2-3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/0004-3702(90)90060-D","volume":"42","author":"G.F. Cooper","year":"1990","unstructured":"Cooper, G.F.: The computational complexity of probabilistic inference using Bayesian belief networks (research note). Artif. Intel.\u00a042(2-3), 393\u2013405 (1990)","journal-title":"Artif. Intel."},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-89765-1_6","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"P.C.G. da Costa","year":"2008","unstructured":"da Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A Bayesian ontology language for the semantic web. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 88\u2013107. Springer, Heidelberg (2008)"},{"key":"6_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-87993-0_13","volume-title":"Scalable Uncertainty Management","author":"C. d\u2019Amato","year":"2008","unstructured":"d\u2019Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Greco, S., Lukasiewicz, T. (eds.) SUM 2008. LNCS (LNAI), vol.\u00a05291, pp. 146\u2013159. Springer, Heidelberg (2008)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Darwiche, A.: Modeling and Reasoning with Bayesian Networks. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511811357"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Homola, M., Serafini, L.: Contextualized knowledge repositories for the semantic web. In: Web Semantics: Science, Services and Agents on the World Wide Web, vol.\u00a012 (2012)","DOI":"10.2139\/ssrn.3198952"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-15675-5_19","volume-title":"Logics in Artificial Intelligence","author":"S. Klarman","year":"2010","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: $\\mathcal{ALC}_\\mathcal{ALC}$: A context description logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS, vol.\u00a06341, pp. 208\u2013220. Springer, Heidelberg (2010)"},{"key":"6_CR15","unstructured":"Koller, D., Friedman, N.: Probabilistic Graphical Models - Principles and Techniques. MIT Press (2009)"},{"key":"6_CR16","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-classic: A tractable probablistic description logic. In: Proc. 14th National Conference on Artificial Intelligence (AAAI 1997), pp. 390\u2013397. AAAI Press (1997)"},{"issue":"4","key":"6_CR17","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. of Web Semantics\u00a06(4), 291\u2013308 (2008)","journal-title":"J. of Web Semantics"},{"key":"6_CR18","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) KR. AAAI Press (2010)"},{"key":"6_CR19","unstructured":"Niepert, M., Noessner, J., Stuckenschmidt, H.: Log-linear description logics. In: Walsh, T. (ed.) IJCAI, pp. 2153\u20132158. IJCAI\/AAAI (2011)"},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1006\/dspr.1998.0324","volume":"8","author":"H. Pan","year":"1998","unstructured":"Pan, H., McMichael, D., Lendjel, M.: Inference algorithms in Bayesian networks and the probanet system. Digital Signal Processing\u00a08(4), 231\u2013243 (1998)","journal-title":"Digital Signal Processing"},{"key":"6_CR21","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Proc. 8th Int. Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2012), vol.\u00a0900, pp. 3\u201314. CEUR-WS (2012)"},{"issue":"1-2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(94)00092-1","volume":"82","author":"D. Roth","year":"1996","unstructured":"Roth, D.: On the hardness of approximate reasoning. Artif. Intel.\u00a082(1-2), 273\u2013302 (1996)","journal-title":"Artif. Intel."},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0004-3702(94)90072-8","volume":"68","author":"E.S. Shimony","year":"1994","unstructured":"Shimony, E.S.: Finding MAPs for belief networks is NP-hard. Artif. Intell.\u00a068(2), 399\u2013410 (1994)","journal-title":"Artif. Intell."},{"key":"6_CR24","unstructured":"Simancik, F., Kazakov, Y., Horrocks, I.: Consequence-based reasoning beyond horn ontologies. In: Proc. IJCAI 2011, pp. 1093\u20131098. IJCAI\/AAAI (2011)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:09:04Z","timestamp":1676891344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}