Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
<p>This paper is directed towards an infrastructure for handling both uncertainty and vagueness in the Rules, Logic, and Proof layers of the Semantic Web. More concretely, we present probabilistic fuzzy description logic programs, which combine fuzzy description logics, fuzzy logic programs (w...
| Main Authors: | , |
|---|---|
| 格式: | Conference item |
| 出版: |
Springer
2007
|
| _version_ | 1826267041150009344 |
|---|---|
| author | Lukasiewicz, T Straccia, U |
| author_facet | Lukasiewicz, T Straccia, U |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | <p>This paper is directed towards an infrastructure for handling both uncertainty and vagueness in the Rules, Logic, and Proof layers of the Semantic Web. More concretely, we present probabilistic fuzzy description logic programs, which combine fuzzy description logics, fuzzy logic programs (with stratified nonmonotonic negation), and probabilistic uncertainty in a uniform framework for the Semantic Web. We define important concepts dealing with both probabilistic uncertainty and fuzzy vagueness, such as the expected truth value of a crisp sentence and the probability of a vague sentence. Furthermore, we describe a shopping agent example, which gives evidence of the usefulness of probabilistic fuzzy description logic programs in realistic web applications. In the extended report, we also provide algorithms for query processing in probabilistic fuzzy description logic programs, and we delineate a special case where query processing can be done in polynomial time in the data complexity.</p> |
| first_indexed | 2024-03-06T20:48:08Z |
| format | Conference item |
| id | oxford-uuid:36a2c127-fe0c-402c-92c8-3f63860077d3 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:48:08Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:36a2c127-fe0c-402c-92c8-3f63860077d32022-03-26T13:39:03ZDescription Logic Programs Under Probabilistic Uncertainty and Fuzzy VaguenessConference itemhttp://purl.org/coar/resource_type/c_5794uuid:36a2c127-fe0c-402c-92c8-3f63860077d3Department of Computer ScienceSpringer2007Lukasiewicz, TStraccia, U<p>This paper is directed towards an infrastructure for handling both uncertainty and vagueness in the Rules, Logic, and Proof layers of the Semantic Web. More concretely, we present probabilistic fuzzy description logic programs, which combine fuzzy description logics, fuzzy logic programs (with stratified nonmonotonic negation), and probabilistic uncertainty in a uniform framework for the Semantic Web. We define important concepts dealing with both probabilistic uncertainty and fuzzy vagueness, such as the expected truth value of a crisp sentence and the probability of a vague sentence. Furthermore, we describe a shopping agent example, which gives evidence of the usefulness of probabilistic fuzzy description logic programs in realistic web applications. In the extended report, we also provide algorithms for query processing in probabilistic fuzzy description logic programs, and we delineate a special case where query processing can be done in polynomial time in the data complexity.</p> |
| spellingShingle | Lukasiewicz, T Straccia, U Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title_full | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title_fullStr | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title_full_unstemmed | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title_short | Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness |
| title_sort | description logic programs under probabilistic uncertainty and fuzzy vagueness |
| work_keys_str_mv | AT lukasiewiczt descriptionlogicprogramsunderprobabilisticuncertaintyandfuzzyvagueness AT stracciau descriptionlogicprogramsunderprobabilisticuncertaintyandfuzzyvagueness |