DevelopinThe Bayesian Description Logic BALC
| dc.contributor.advisor | Meyer, Thomas | |
| dc.contributor.advisor | Peñaloza, Rafael | |
| dc.contributor.author | Botha, Leonard | |
| dc.date.accessioned | 2019-02-06T09:31:29Z | |
| dc.date.available | 2019-02-06T09:31:29Z | |
| dc.date.issued | 2018 | |
| dc.date.updated | 2019-02-05T09:23:50Z | |
| dc.description.abstract | Description Logics (DLs) that support uncertainty are not as well studied as their crisp alternatives. This limits their application in many real world domains, which often require reasoning about uncertain or contradictory information. In this thesis we present the Bayesian Description Logic BALC, which takes existing work on Bayesian Description Logics and applies it to the classical Description Logic ALC. We define five reasoning problems for BALC; two versions of concept satisfiability (called total and partial respectively), knowledge base consistency, three subsumption problems (positive subsumption, p-subsumption, exact subsumption), instance checking, and the most likely context problem. Consistency, satisfiability, and instance checking have not previously been studied in the context of contextual Bayesian DLs and as such this is new work. We then go on to provide algorithms that solve all of these reasoning problems, with the exception of the most likely context problem. We found that all reasoning problems in BALC are in the same complexity class as their classical variants, provided that the size of the Bayesian Network is included in the size of the knowledge base. That is, all reasoning problems mentioned above (excluding most likely context) are exponential in the size of the knowledge base and the size of the Bayesian Network. | |
| dc.identifier.apacitation | Botha, L. (2018). <i>DevelopinThe Bayesian Description Logic BALC</i>. (). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/29350 | en_ZA |
| dc.identifier.chicagocitation | Botha, Leonard. <i>"DevelopinThe Bayesian Description Logic BALC."</i> ., University of Cape Town ,Faculty of Science ,Department of Computer Science, 2018. http://hdl.handle.net/11427/29350 | en_ZA |
| dc.identifier.citation | Botha, L. 2018. DevelopinThe Bayesian Description Logic BALC. University of Cape Town. | en_ZA |
| dc.identifier.ris | TY - Thesis / Dissertation AU - Botha, Leonard AB - Description Logics (DLs) that support uncertainty are not as well studied as their crisp alternatives. This limits their application in many real world domains, which often require reasoning about uncertain or contradictory information. In this thesis we present the Bayesian Description Logic BALC, which takes existing work on Bayesian Description Logics and applies it to the classical Description Logic ALC. We define five reasoning problems for BALC; two versions of concept satisfiability (called total and partial respectively), knowledge base consistency, three subsumption problems (positive subsumption, p-subsumption, exact subsumption), instance checking, and the most likely context problem. Consistency, satisfiability, and instance checking have not previously been studied in the context of contextual Bayesian DLs and as such this is new work. We then go on to provide algorithms that solve all of these reasoning problems, with the exception of the most likely context problem. We found that all reasoning problems in BALC are in the same complexity class as their classical variants, provided that the size of the Bayesian Network is included in the size of the knowledge base. That is, all reasoning problems mentioned above (excluding most likely context) are exponential in the size of the knowledge base and the size of the Bayesian Network. DA - 2018 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 2018 T1 - DevelopinThe Bayesian Description Logic BALC TI - DevelopinThe Bayesian Description Logic BALC UR - http://hdl.handle.net/11427/29350 ER - | en_ZA |
| dc.identifier.uri | http://hdl.handle.net/11427/29350 | |
| dc.identifier.vancouvercitation | Botha L. DevelopinThe Bayesian Description Logic BALC. []. University of Cape Town ,Faculty of Science ,Department of Computer Science, 2018 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/29350 | en_ZA |
| dc.language.iso | eng | |
| dc.publisher.department | Department of Computer Science | |
| dc.publisher.faculty | Faculty of Science | |
| dc.publisher.institution | University of Cape Town | |
| dc.subject.other | computer science | |
| dc.title | DevelopinThe Bayesian Description Logic BALC | |
| dc.type | Master Thesis | |
| dc.type.qualificationlevel | Masters | |
| dc.type.qualificationname | MSc |