Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web
<p>Towards uncertainty reasoning in the Rules, Logic, and Proof layers of the Semantic Web, we present a novel approach to probabilistic description logic programs, which combine probabilistic logic programs, probabilistic default theories, and the description logics behind OWL Lite and OWL DL...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Publicado: |
2008
|
| _version_ | 1826295792129802240 |
|---|---|
| author | Lukasiewicz, T |
| author_facet | Lukasiewicz, T |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | <p>Towards uncertainty reasoning in the Rules, Logic, and Proof layers of the Semantic Web, we present a novel approach to probabilistic description logic programs, which combine probabilistic logic programs, probabilistic default theories, and the description logics behind OWL Lite and OWL DL. The approach is based on new notions of entailment for reasoning with conditional constraints, which realize the principle of inheritance with overriding for both classical and purely probabilistic knowledge. They are obtained by generalizing previous formalisms for probabilistic default reasoning with conditional constraints. In addition to dealing with probabilistic knowledge, the new notions of entailment thus also allow for handling default knowledge. We analyze the semantic properties of the new entailment relations. We also present algorithms for solving the main computational problems related to probabilistic description logic programs under inheritance with overriding.</p> |
| first_indexed | 2024-03-07T04:06:30Z |
| format | Journal article |
| id | oxford-uuid:c65b09c7-18a9-4186-92cf-0788cc4273ae |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:06:30Z |
| publishDate | 2008 |
| record_format | dspace |
| spelling | oxford-uuid:c65b09c7-18a9-4186-92cf-0788cc4273ae2022-03-27T06:37:26ZProbabilistic Description Logic Programs under Inheritance with Overriding for the Semantic WebJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:c65b09c7-18a9-4186-92cf-0788cc4273aeDepartment of Computer Science2008Lukasiewicz, T<p>Towards uncertainty reasoning in the Rules, Logic, and Proof layers of the Semantic Web, we present a novel approach to probabilistic description logic programs, which combine probabilistic logic programs, probabilistic default theories, and the description logics behind OWL Lite and OWL DL. The approach is based on new notions of entailment for reasoning with conditional constraints, which realize the principle of inheritance with overriding for both classical and purely probabilistic knowledge. They are obtained by generalizing previous formalisms for probabilistic default reasoning with conditional constraints. In addition to dealing with probabilistic knowledge, the new notions of entailment thus also allow for handling default knowledge. We analyze the semantic properties of the new entailment relations. We also present algorithms for solving the main computational problems related to probabilistic description logic programs under inheritance with overriding.</p> |
| spellingShingle | Lukasiewicz, T Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title | Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title_full | Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title_fullStr | Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title_full_unstemmed | Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title_short | Probabilistic Description Logic Programs under Inheritance with Overriding for the Semantic Web |
| title_sort | probabilistic description logic programs under inheritance with overriding for the semantic web |
| work_keys_str_mv | AT lukasiewiczt probabilisticdescriptionlogicprogramsunderinheritancewithoverridingforthesemanticweb |