{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:06:27Z","timestamp":1760709987947},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030290061"},{"type":"electronic","value":"9783030290078"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29007-8_10","type":"book-chapter","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T23:10:06Z","timestamp":1566429006000},"page":"167-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Complexity of the Consistency Problem in the Probabilistic Description Logic $$\\mathcal {ALC} ^\\mathsf {ME}$$"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Ecke","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,14]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-319-66167-4_4","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2017","unstructured":"Baader, F., Borgwardt, S., Koopmann, P., Ozaki, A., Thost, V.: Metric temporal description logics with interval-rigid names. In: Dixon, C., Finger, M. (eds.) FroCoS 2017. LNCS (LNAI), vol. 10483, pp. 60\u201376. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-66167-4_4"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"10_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"10_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017). \n                      https:\/\/doi.org\/10.1017\/9781139025355"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-66167-4_5","volume-title":"Frontiers of Combining Systems","author":"F Baader","year":"2017","unstructured":"Baader, F., Koopmann, P., Turhan, A.-Y.: Using ontologies to query probabilistic numerical data. In: Dixon, C., Finger, M. (eds.) FroCoS 2017. LNCS (LNAI), vol. 10483, pp. 77\u201394. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-66167-4_5"},{"key":"10_CR5","unstructured":"Chvatal, V.: Linear Programming. W.H Freeman (1983)"},{"key":"10_CR6","unstructured":"Gaggl, S.A., Rudolph, S., Schweizer, L.: Fixed-domain reasoning for description logics. In: Proceedings of the ECAI 2016, pp. 819\u2013827. IOS Press (2016)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1613\/jair.61","volume":"2","author":"A Grove","year":"1994","unstructured":"Grove, A., Halpern, J., Koller, D.: Random worlds and maximum entropy. J. Artif. Intell. Res. 2, 33\u201388 (1994)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","volume":"46","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311\u2013350 (1990)","journal-title":"Artif. Intell."},{"issue":"6","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1093\/bib\/bbv011","volume":"16","author":"R Hoehndorf","year":"2015","unstructured":"Hoehndorf, R., Schofield, P.N., Gkoutos, G.V.: The role of ontologies in biological and biomedical research: a functional perspective. Brief. Bioinform. 16(6), 1069\u20131080 (2015)","journal-title":"Brief. Bioinform."},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44600-1","volume-title":"Conditionals in Nonmonotonic Reasoning and Belief Revision","year":"2001","unstructured":"Kern-Isberner, G. (ed.): Conditionals in Nonmonotonic Reasoning and Belief Revision. LNCS (LNAI), vol. 2087. Springer, Heidelberg (2001). \n                      https:\/\/doi.org\/10.1007\/3-540-44600-1"},{"key":"10_CR11","unstructured":"Kern-Isberner, G., Thimm, M.: Novel semantical approaches to relational probabilistic conditionals. In: Proceedings of the KR 2010, pp. 382\u2013392. AAAI Press (2010)"},{"key":"10_CR12","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective uncertainty. In: Proceedings of the KR 2010, pp. 393\u2013403. AAAI Press (2010)"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1023\/A:1005081609010","volume":"117","author":"JB Paris","year":"1999","unstructured":"Paris, J.B.: Common sense and maximum entropy. Synthese 117(1), 75\u201393 (1999)","journal-title":"Synthese"},{"key":"10_CR14","volume-title":"The Uncertain Reasoner\u2019s Companion: A Mathematical Perspective","author":"JB Paris","year":"2006","unstructured":"Paris, J.B.: The Uncertain Reasoner\u2019s Companion: A Mathematical Perspective. Cambridge University Press, Cambridge (2006)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-319-67582-4_20","volume-title":"Scalable Uncertainty Management","author":"R Pe\u00f1aloza","year":"2017","unstructured":"Pe\u00f1aloza, R., Potyka, N.: Towards statistical reasoning in description logics over finite domains. In: Moral, S., Pivert, O., S\u00e1nchez, D., Mar\u00edn, N. (eds.) SUM 2017. LNCS (LNAI), vol. 10564, pp. 280\u2013294. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-67582-4_20"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Models of program logics. In: Proceedings of the FOCS 1979, pp. 115\u2013122. IEEE Computer Society (1979)","DOI":"10.1109\/SFCS.1979.24"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Rudolph, S., Kr\u00f6tzsch, M., Hitzler, P.: Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog. Logical Methods in Computer Science 8(1), 38 p. (2012)","DOI":"10.2168\/LMCS-8(1:12)2012"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/978-3-319-65340-2_57","volume-title":"Progress in Artificial Intelligence","author":"S Rudolph","year":"2017","unstructured":"Rudolph, S., Schweizer, L.: Not too big, not too small... complexities of fixed-domain reasoning in first-order and description logics. In: Oliveira, E., Gama, J., Vale, Z., Lopes Cardoso, H. (eds.) EPIA 2017. LNCS (LNAI), vol. 10423, pp. 695\u2013708. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-65340-2_57"},{"key":"10_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511805967","volume-title":"Enumerative Combinatorics: Cambridge Studies in Advanced Mathematics","author":"R Stanley","year":"1997","unstructured":"Stanley, R.: Enumerative Combinatorics: Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1997)"},{"issue":"5","key":"10_CR20","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1093\/jigpal\/jzs010","volume":"20","author":"M. Thimm","year":"2012","unstructured":"Thimm, M., Kern-Isberner, G.: On probabilistic inference in relationalconditional logics. Logic J. IGPL 20(5), 872\u2013908 (2012)","journal-title":"Logic Journal of IGPL"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1613\/jair.705","volume":"12","author":"S Tobies","year":"2000","unstructured":"Tobies, S.: The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. J. Artif. Intell. Res. 12, 199\u2013217 (2000)","journal-title":"J. Artif. Intell. Res."},{"key":"10_CR22","unstructured":"Wilhelm, M., Kern-Isberner, G., Ecke, A.: Basic independence results for maximum entropy reasoning based on relational conditionals. In: Proceedings of the GCAI 2017, EPiC Series in Computing, vol. 50, pp. 36\u201350. EasyChair (2017)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-030-19570-0_28","volume-title":"Logics in Artificial Intelligence","author":"M Wilhelm","year":"2019","unstructured":"Wilhelm, M., Kern-Isberner, G., Ecke, A., Baader, F.: Counting strategies for the probabilistic description logic \n                      \n                        \n                      \n                      $$\\cal{ALC}^{\\sf ME}$$\n                     under the principle of maximum entropy. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 434\u2013449. Springer, Cham (2019). \n                      https:\/\/doi.org\/10.1007\/978-3-030-19570-0_28"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29007-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T23:12:45Z","timestamp":1566429165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29007-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030290061","9783030290078"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29007-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FroCoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Frontiers of Combining Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"frocos2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.frocos2019.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"67% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}