{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T07:01:24Z","timestamp":1760598084729,"version":"build-2065373602"},"reference-count":45,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T00:00:00Z","timestamp":1632787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle uncertainty in an adequate manner. Over the years, many different languages for representing uncertain knowledge\u2014often extensions of classical knowledge representation languages\u2014have been proposed. We briefly present some of the defining properties of these languages as they pertain to the family of probabilistic description logics. This limited view is intended to help pave the way for the interested researcher to find the most adequate language for their needs, and potentially identify the remaining gaps.<\/jats:p>","DOI":"10.3390\/a14100280","type":"journal-article","created":{"date-parts":[[2021,9,28]],"date-time":"2021-09-28T12:29:14Z","timestamp":1632832154000},"page":"280","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Brief Roadmap into Uncertain Knowledge Representation via Probabilistic Description Logics"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2693-5790","authenticated-orcid":false,"given":"Rafael","family":"Pe\u00f1aloza","sequence":"first","affiliation":[{"name":"IKR3 Lab, University of Milano-Bicocca, 20126 Milano, Italy"}]}],"member":"1968","published-online":{"date-parts":[[2021,9,28]]},"reference":[{"key":"ref_1","unstructured":"van Harmelen, F., van Harmelen, F., Lifschitz, V., and Porter, B. (2007). Handbook of Knowledge Representation, Elsevier Science."},{"key":"ref_2","unstructured":"Robinson, J.A., and Voronkov, A. (2001). Handbook of Automated Reasoning (in 2 Volumes), Elsevier and MIT Press."},{"key":"ref_3","unstructured":"Zio, E., and Pedroni, N. (2021, September 08). Literature Review of Methods for Representing Uncertainty. Available online: https:\/\/books.google.com.sg\/books?hl=zh-CN&lr=&id=Q9q5BwAAQBAJ&oi=fnd&pg=PA1&dq=Pedroni,+N.+%5Cnewblock+Literature+Review+of+Methods+for+Representing+Uncertainty&ots=1yLGgEZQw4&sig=g8qQE2stNgvxxJlwmgn7Z-eZR_I&redir_esc=y#v=onepage&q&f=false."},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0888-613X(88)90118-1","article-title":"Choosing uncertainty representations in artificial intelligence","volume":"2","author":"Levitt","year":"1988","journal-title":"Int. J. Approx. Reason."},{"key":"ref_5","unstructured":"Dubois, D., and Prade, H. (1988). Possibility Theory\u2014An Approach to Computerized Processing of Uncertainty, Springer."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.csda.2006.04.015","article-title":"Possibility theory and statistical reasoning","volume":"51","author":"Dubois","year":"2006","journal-title":"Comput. Stat. Data Anal."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1214\/aoms\/1177698950","article-title":"Upper and Lower Probabilities Induced by a Multivalued Mapping","volume":"38","author":"Dempster","year":"1967","journal-title":"Ann. Math. Stat."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Shafer, G. (1976). A Mathematical Theory of Evidence, Princeton University Press.","DOI":"10.1515\/9780691214696"},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Borgwardt, S. (2014). Fuzzy Description Logics with General Concept Inclusions. [Ph.D. Thesis, Technische Universit\u00e4t Dresden].","DOI":"10.1016\/j.artint.2014.09.001"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.artint.2014.09.001","article-title":"The limits of decidability in fuzzy description logics with general concept inclusions","volume":"218","author":"Borgwardt","year":"2015","journal-title":"Artif. Intell."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P. (1998). Metamathematics of Fuzzy Logic, Kluwer. Trends in Logic.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E., Hunter, A., and Schaub, T. (2005). Inconsistency Tolerance, Springer. LNCS.","DOI":"10.1007\/b104925"},{"key":"ref_13","first-page":"103","article-title":"Inconsistency-Tolerant Semantics for Description Logics","volume":"Volume 6333","author":"Hitzler","year":"2010","journal-title":"Proceedings of the 4th International Conference on Web Reasoning and Rule Systems (RR 2010), Bressanone\/Brixen, Italy, 22\u201324 September 2021"},{"key":"ref_14","first-page":"156","article-title":"Inconsistency-Tolerant Querying of Description Logic Knowledge Bases","volume":"Volume 9885","author":"Bienvenu","year":"2016","journal-title":"Proceedings of the 12th International Reasoning Web Summer School, Aberdeen, UK, 5\u20139 September 2016"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90019-V","article-title":"An Analysis of First-Order Logics of Probability","volume":"46","author":"Halpern","year":"1990","journal-title":"Artif. Intell."},{"key":"ref_16","unstructured":"Wilks, D.S. (2011). Statistical Methods in the Atmospheric Sciences, Elsevier Academic Press."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. (2007). The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press. [2nd ed.].","DOI":"10.1017\/CBO9780511711787"},{"key":"ref_18","unstructured":"Baader, F., Brandt, S., and Lutz, C. (August, January 30). Pushing the EL Envelope. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI\u201905), Edinburgh, UK."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","article-title":"Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family","volume":"39","author":"Calvanese","year":"2007","journal-title":"J. Autom. Reason."},{"key":"ref_20","unstructured":"Doherty, P., Mylopoulos, J., and Welty, C.A. (2006). The Even More Irresistible SROIQ. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201906), Cape Town, South Africa, 25\u201329 April 2006, AAAI Press."},{"key":"ref_21","unstructured":"Brewka, G. (1991). Nonmonotonic Reasoning\u2014Logical Foundations of Commonsense, Cambridge Tracts in Theoretical Computer Science; Cambridge University Press."},{"key":"ref_22","first-page":"506","article-title":"Temporal Query Languages: A Survey","volume":"Volume 827","author":"Gabbay","year":"1994","journal-title":"Proceedings of the 1st International Conference on Database Theory (ICDT\u201994), London, UK, 1 January 1994"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1023\/A:1016636131405","article-title":"A survey of temporal extensions of description logics","volume":"30","author":"Artale","year":"2000","journal-title":"Ann. Math. Artif. Intell."},{"key":"ref_24","unstructured":"Maggi, F.M., Montali, M., and Pe\u00f1aloza, R. Temporal Logics Over Finite Traces with Uncertainty. Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI\u201920), New York, NY, USA, 7\u201312 February 2020."},{"key":"ref_25","unstructured":"Lin, F., Sattler, U., and Truszczynski, M. (2010). Probabilistic Description Logics for Subjective Uncertainty. Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), Toronto, ON, Canada, 9\u201313 May 2010, AAAI Press."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.5222","article-title":"Probabilistic Description Logics for Subjective Uncertainty","volume":"58","author":"Jung","year":"2017","journal-title":"J. Artif. Intell. Res."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s10817-016-9386-0","article-title":"The Bayesian Ontology Language BEL","volume":"58","author":"Ceylan","year":"2017","journal-title":"J. Autom. Reason."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-540-87993-0_13","article-title":"Tractable Reasoning with Bayesian Description Logics","volume":"Volume 5291","author":"Fanizzi","year":"2008","journal-title":"Proceedings of the Second International Conference on Scalable Uncertainty Management (SUM 2008), Naples, Italy, 1\u20133 October 2008"},{"key":"ref_29","first-page":"339","article-title":"A Bayesian Extension of the Description Logic ALC","volume":"Volume 11468","author":"Calimeri","year":"2019","journal-title":"Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA\u201919), Rende, Italy, 7\u201311 May 2019"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic Logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artif. Intell."},{"key":"ref_31","unstructured":"Walsh, T. Log-Linear Description Logics. Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), IJCAI\/AAAI, Barcelona, Spain, 16\u201322 July 2011."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Borgwardt, S., Ceylan, \u0130.\u0130., and Lukasiewicz, T. Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI\u201919), Honolulu, HI, USA, 27 January\u20131 February 2019.","DOI":"10.25368\/2023.221"},{"key":"ref_33","unstructured":"Koller, D., and Friedman, N. (2009). Probabilistic Graphical Models\u2014Principles and Techniques, MIT Press."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-319-67582-4_20","article-title":"Towards Statistical Reasoning in Description Logics over Finite Domains","volume":"Volume 10564","author":"Moral","year":"2017","journal-title":"Proceedings of the 11th International Conference on Scalable Uncertainty Management SUM 2017, Granada, Spain, 4\u20136 October 2017"},{"key":"ref_35","unstructured":"Dolbear, C., Ruttenberg, A., and Sattler, U. (2008, January 26\u201327). Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, Collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany. CEUR-WS.org."},{"key":"ref_36","first-page":"59","article-title":"Pronto: A Practical Probabilistic Description Logic Reasoner","volume":"Volume 7123","author":"Bobillo","year":"2013","journal-title":"Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008\u20132010, Revised Selected Papers"},{"key":"ref_37","first-page":"6","article-title":"Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts","volume":"Volume 50","author":"Lisetti","year":"2017","journal-title":"Proceedings of the GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18\u201322 October 2017"},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1007\/s00500-002-0234-2","article-title":"Uncertain probabilities I: The discrete case","volume":"7","author":"Buckley","year":"2003","journal-title":"Soft Comput."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1142\/S0218488501000831","article-title":"A Logic For Uncertain Probabilities","volume":"9","year":"2001","journal-title":"Int. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/j.ijar.2006.09.001","article-title":"Reasoning with imprecise probabilities","volume":"44","author":"Cano","year":"2007","journal-title":"Int. J. Approx. Reason."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/j.ijar.2004.10.003","article-title":"Graphical models for imprecise probabilities","volume":"39","author":"Cozman","year":"2005","journal-title":"Int. J. Approx. Reason."},{"key":"ref_42","unstructured":"Calvanese, D., Erdem, E., and Thielscher, M. (2020, January 12\u201318). Towards a Logic of Meta-Analysis. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece."},{"key":"ref_43","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-030-29007-8_10","article-title":"The Complexity of the Consistency Problem in the Probabilistic Description Logic ALCME","volume":"Volume 11715","author":"Herzig","year":"2019","journal-title":"Frontiers of Combining Systems, Proceedings of the 12th International Symposium, FroCoS 2019, London, UK, 4\u20136 September 2019"},{"key":"ref_44","first-page":"434","article-title":"Counting Strategies for the Probabilistic Description Logic ALCME Under the Principle of Maximum Entropy","volume":"Volume 11468","author":"Calimeri","year":"2019","journal-title":"Logics in Artificial Intelligence, Proceedings of the16th European Conference, JELIA 2019, Rende, Italy, 7\u201311 May 2019"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","article-title":"Managing uncertainty and vagueness in description logics for the Semantic Web","volume":"6","author":"Lukasiewicz","year":"2008","journal-title":"J. Web Semant."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/14\/10\/280\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:06:05Z","timestamp":1760166365000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/14\/10\/280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,28]]},"references-count":45,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2021,10]]}},"alternative-id":["a14100280"],"URL":"https:\/\/doi.org\/10.3390\/a14100280","relation":{},"ISSN":["1999-4893"],"issn-type":[{"type":"electronic","value":"1999-4893"}],"subject":[],"published":{"date-parts":[[2021,9,28]]}}}