{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T22:25:25Z","timestamp":1778106325226,"version":"3.51.4"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T00:00:00Z","timestamp":1474848000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRK 1907"],"award-info":[{"award-number":["GRK 1907"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["Cluster of Excellence cfAED"],"award-info":[{"award-number":["Cluster of Excellence cfAED"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s10817-016-9386-0","type":"journal-article","created":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T06:10:00Z","timestamp":1474870200000},"page":"67-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["The Bayesian Ontology Language $$\\mathcal {BEL}$$ BEL"],"prefix":"10.1007","volume":"58","author":[{"given":"\u0130smail \u0130lkan","family":"Ceylan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2693-5790","authenticated-orcid":false,"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,26]]},"reference":[{"key":"9386_CR1","doi-asserted-by":"crossref","unstructured":"Arif, F., Menc\u00eda, C., Ignatiev, A., Manthey, N., Pe\u00f1aloza, R., Marques-Silva, J.: BEACON: an efficient SAT-based tool for debugging EL+ ontologies. In: Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Lecture Notes in Computer Science, vol. 9710, pp. 521\u2013530. Springer, Berlin (2016)","DOI":"10.1007\/978-3-319-40970-2_32"},{"key":"9386_CR2","doi-asserted-by":"crossref","unstructured":"Arif, M.F., Menc\u00eda, C., Marques-Silva, J.: Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. CoRR arXiv:1505.04365 . http:\/\/arxiv.org\/abs\/1505.04365 (2015)","DOI":"10.1007\/978-3-319-24318-4_24"},{"issue":"2","key":"9386_CR3","doi-asserted-by":"crossref","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. Autom. Reason. 45(2), 91\u2013129 (2010)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9386_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. J. Logic Comput. 20(1), 5\u201334 (2010)","journal-title":"J. Logic Comput."},{"key":"9386_CR5","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal EL$$ EL envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). Morgan Kaufmann (2005)"},{"key":"9386_CR6","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: $${\\sf CEL}$$ CEL \u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006), Lecture Notes in Artificial Intelligence, vol. 4130, pp. 287\u2013291. Springer, Berlin (2006)","DOI":"10.1007\/11814771_25"},{"key":"9386_CR7","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2007","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, Cambridge (2007)","edition":"2"},{"key":"9386_CR8","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $$\\cal EL^+$$ EL + . In: Proceedings of the 30th German Conference on Artificial Intelligence (KI 2007), Lecture Notes in Artificial Intelligence, vol. 4667, pp. 52\u201367. Springer, Osnabr\u00fcck, Germany (2007)","DOI":"10.1007\/978-3-540-74565-5_7"},{"key":"9386_CR9","doi-asserted-by":"crossref","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology\u2019s axioms. In: Proceedings of the 8th International Semantic Web Conference (ISWC 2009), Lecture Notes in Computer Science, vol. 5823, pp. 49 \u201364. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04930-9_4"},{"key":"9386_CR10","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/j.websem.2011.11.006","volume":"12\u201313","author":"F Baader","year":"2012","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12\u201313, 22\u201340 (2012)","journal-title":"J. Web Semant."},{"issue":"2","key":"9386_CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1006\/jcss.1995.1017","volume":"50","author":"R Beigel","year":"1995","unstructured":"Beigel, R., Reingold, N., Spielman, D.A.: PP is closed under intersection. J. Comput. Syst. Sci. 50(2), 191\u2013202 (1995)","journal-title":"J. Comput. Syst. Sci."},{"key":"9386_CR12","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014What else? In: Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), pp. 298\u2013302. IOS Press (2004)"},{"key":"9386_CR13","unstructured":"Ceylan, I.I.: Context-Sensitive Bayesian Description Logics. Master\u2019s thesis, Dresden University of Technology, Germany (2013)"},{"key":"9386_CR14","doi-asserted-by":"crossref","unstructured":"Ceylan, I.I., Pe\u00f1aloza, R.: The Bayesian description logic BEL. In: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Lecture Notes in Computer Science, vol. 8562, pp. 480\u2013494. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08587-6_37"},{"key":"9386_CR15","unstructured":"Ceylan, I.I., Pe\u00f1aloza, R.: Bayesian description logics. In: Proceedings of the 27th International Workshop on Description Logics (DL\u201914), vol. 1193, pp 447\u2013458. CEUR-WS, CEUR Workshop Proceedings (2014)"},{"key":"9386_CR16","doi-asserted-by":"crossref","unstructured":"Ceylan, I.I., Pe\u00f1aloza, R.: Tight complexity bounds for reasoning in the description logic $$\\cal BEL$$ BEL . In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014), Lecture Notes in Computer Science, vol. 8761, pp. 77\u201391. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-11558-0_6"},{"key":"9386_CR17","unstructured":"Ceylan, I.I., Pe\u00f1aloza, R.: Probabilistic query answering in the Bayesian description logic $$\\cal BEL$$ BEL . In: Proceedings of the 9th International Conference on Scalable Uncertainty Management (SUM 2015), Lecture Notes in Artificial Intelligence, vol. 9310, pp. 1\u201315. Springer, Berlin (2015)"},{"key":"9386_CR18","unstructured":"Ceylan, I.I., Mendez, J., Pe\u00f1aloza, R.: The Bayesian ontology reasoner is BORN! In: Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015), CEUR-WS, CEUR Workshop Proceedings, vol. 1387, pp. 8\u201314 (2015)"},{"key":"9386_CR19","doi-asserted-by":"publisher","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC\u201971), pp. 151\u2013158. ACM, New York, NY, USA (1971). doi: 10.1145\/800157.805047","DOI":"10.1145\/800157.805047"},{"issue":"2\u20133","key":"9386_CR20","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0004-3702(90)90060-D","volume":"42","author":"GF Cooper","year":"1990","unstructured":"Cooper, G.F.: The computational complexity of probabilistic inference using Bayesian belief networks (research note). Artif. Intell. 42(2\u20133), 393\u2013405 (1990)","journal-title":"Artif. Intell."},{"key":"9386_CR21","doi-asserted-by":"crossref","unstructured":"da\u00a0Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A Bayesian ontology language for the semantic web. In: Uncertainty Reasoning for the Semantic Web I, URSW 2005\u20132007, Lecture Notes in Computer Science, vol. 5327, pp. 88\u2013107. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-89765-1_6"},{"key":"9386_CR22","doi-asserted-by":"crossref","unstructured":"d\u2019Amato, C., Fanizzi, N., Lukasiewicz, T.: Tractable reasoning with Bayesian description logics. In: Proceedings of the Second International Conference on Scalable Uncertainty Management (SUM 2008), Lecture Notes in Computer Science, vol. 5291, pp. 146\u2013159. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87993-0_13"},{"key":"9386_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811357","volume-title":"Modeling and Reasoning with Bayesian Networks","author":"A Darwiche","year":"2009","unstructured":"Darwiche, A.: Modeling and Reasoning with Bayesian Networks. Cambridge University Press, Cambridge (2009)"},{"key":"9386_CR24","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic prolog and its application in link discovery. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07). AAAI Press, pp. 2462\u20132467 (2007)"},{"key":"9386_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0515-9","volume-title":"Parameterized Complexity. Monographs in Computer Science","author":"RG Downey","year":"1999","unstructured":"Downey, R.G., Fellows, M.: Parameterized Complexity. Monographs in Computer Science. Springer, Berlin (1999)"},{"key":"9386_CR26","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1089\/106652700750050961","volume":"7","author":"N Friedman","year":"2000","unstructured":"Friedman, N., Linial, M., Nachman, I., Pe\u2019er, D.: Using Bayesian networks to analyze expression data. J. Comput. Biol. 7, 601\u2013620 (2000)","journal-title":"J. Comput. Biol."},{"issue":"4","key":"9386_CR27","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1137\/0206049","volume":"6","author":"JT Gill","year":"1977","unstructured":"Gill, J.T.: Computatonal complexity of probabilistic turing machines. SIAM J. Comput. 6(4), 675\u2013695 (1977)","journal-title":"SIAM J. Comput."},{"key":"9386_CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2014","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: from polynomial procedures to efficient reasoning with $${\\cal EL}$$ EL ontologies. J. Autom. Reason. 53, 1\u201361 (2014)","journal-title":"J. Autom. Reason."},{"key":"9386_CR29","unstructured":"Koller, D., Levy, A.Y., Pfeffer, A.: P-classic: a tractable probablistic description logic. In: Proceedings 14th National Conference on Artificial Intelligence (AAAI-97). AAAI Press, pp. 390\u2013397 (1997)"},{"issue":"3","key":"9386_CR30","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1017584715408","volume":"27","author":"ML Littman","year":"2001","unstructured":"Littman, M.L., Majercik, S.M., Pitassi, T.: Stochastic Boolean satisfiability. J. Autom. Reason. 27(3), 251\u2013296 (2001)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"9386_CR31","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. Web Semant. 6(4), 291\u2013308 (2008). doi: 10.1016\/j.websem.2008.04.001","journal-title":"J. Web Semant."},{"key":"9386_CR32","unstructured":"Manthey, N., Pe\u00f1aloza, R.: Exploiting SAT technology for axiom pinpointing. Tech. Rep. 15-05, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universit\u00e4t Dresden (2015)"},{"key":"9386_CR33","unstructured":"Mendez, J.: jcel: A modular rule-based reasoner. In: Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), CEUR-WS, CEUR Workshop Proceedings, vol. 858 (2012)"},{"key":"9386_CR34","unstructured":"Niepert, M., Noessner, J., Stuckenschmidt, H.: Log-linear description logics. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), IJCAI\/AAAI, pp. 2153\u20132158. http:\/\/ijcai.org\/papers11\/Papers\/IJCAI11-359.pdf (2011)"},{"key":"9386_CR35","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1613\/jair.1236","volume":"21","author":"JD Park","year":"2004","unstructured":"Park, J.D., Darwiche, A.: Complexity results and approximation strategies for MAP explanations. J. Artif. Intell. Res. 21, 101\u2013133 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"9386_CR36","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: On the complexity of axiom pinpointing in the EL family of description logics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010). AAAI Press (2010)","DOI":"10.25368\/2022.173"},{"key":"9386_CR37","volume-title":"Probabalistic Reasoning in Intelligent Systems","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabalistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos (1988)"},{"key":"9386_CR38","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Proceedings of the 8th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW-12), CEUR-WS, vol. 900, pp. 3\u201314 (2012)"},{"issue":"5","key":"9386_CR39","doi-asserted-by":"publisher","first-page":"477","DOI":"10.3233\/SW-140154","volume":"6","author":"F Riguzzi","year":"2015","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Probabilistic description logics under the distribution semantics. Semant. Web J. 6(5), 477\u2013501 (2015). doi: 10.3233\/SW-140154","journal-title":"Semant. Web J."},{"key":"9386_CR40","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1534\/genetics.114.165704","volume":"198","author":"M Scutari","year":"2014","unstructured":"Scutari, M., Howell, P., Balding, D.J., Mackay, I.: Multiple quantitative trait analysis using bayesian networks. Genetics 198, 129\u2013137 (2014)","journal-title":"Genetics"},{"key":"9386_CR41","doi-asserted-by":"crossref","unstructured":"Sebastiani, R., Vescovi, M.: Axiom pinpointing in lightweight description logics via Horn-SAT encoding and conflict analysis. In: Proceedings of the 22nd International Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 5663, pp. 84\u201399. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02959-2_6"},{"key":"9386_CR42","unstructured":"Sebastiani, R., Vescovi, M.: Axiom Pinpointing in Large $$\\cal EL+$$ EL + Ontologies via SAT and SMT Techniques. Tech. Rep. DISI-15-010, University of Trento, Italy (2015). http:\/\/disi.unitn.it\/%7Erseba\/elsat\/elsat_techrep.pdf"},{"issue":"2","key":"9386_CR43","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/0004-3702(94)90072-8","volume":"68","author":"SE Shimony","year":"1994","unstructured":"Shimony, S.E.: Finding maps for belief networks is NP-hard. Artif. Intell. 68(2), 399\u2013410 (1994)","journal-title":"Artif. Intell."},{"key":"9386_CR44","doi-asserted-by":"publisher","unstructured":"The Gene Ontology Consortium: Gene ontology: tool for the unification of biology. Nat. Genet. 25(1), 25\u201329 (2000). doi: 10.1038\/75556","DOI":"10.1038\/75556"},{"key":"9386_CR45","doi-asserted-by":"crossref","unstructured":"Toda, S.: On the computational power of PP and +P. In: Proceedings of the 30th Annual Symposium on Foundations of Computer Science. IEEE, pp. 514\u2013519 (1989)","DOI":"10.1109\/SFCS.1989.63527"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-016-9386-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-016-9386-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-016-9386-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T04:27:59Z","timestamp":1657340879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-016-9386-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,26]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["9386"],"URL":"https:\/\/doi.org\/10.1007\/s10817-016-9386-0","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,26]]}}}