Description logic programs under probabilistic uncertainty and fuzzy vagueness
Lukasiewicz T., Straccia U.
Fuzzy description logics Artificial Intelligence Description Logics Fuzzy vagueness Logic Programming I.2.4 Knowledge Representation Formalisms and Methods Fuzzy logic programs Fuzzy logic Semantic Web Algorithms Probabilistic Logic Probabilistic uncertainty Theoretical Computer Science Probabilistic logic programs Data tractability Software Applied Mathematics Fuzzy Logic
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.
Source: 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty., pp. 187–198, Hammamet, Tunis, October 2007
[2] A. Calì, T. Lukasiewicz, Tightly integrated probabilistic description logic programs for the Semantic Web, in: Proceedings ICLP-2007, LNCS, vol. 4670, Springer, 2007, pp. 428-429.
[3] A. Calì, T. Lukasiewicz, L. Predoiu, H. Stuckenschmidt, Tightly integrated probabilistic description logic programs for representing ontology mappings, in: Proceedings FoIKS-2008, LNCS, vol. 4932, Springer, 2008, pp. 178-198.
[4] J. Callan, Distributed information retrieval, in: W.B. Croft (Ed.), Advances in Information Retrieval, Kluwer, 2000, pp. 127-150.
[5] J. Callan, M. Connell, Query-based sampling of text databases, ACM Trans. Inform. Syst. 19 (2) (2001) 97-130.
[6] T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, Combining answer set programming with description logics for the Semantic Web, in: Proceedings KR-2004, AAAI Press, 2004, pp. 141-151 (Extended version: Artif. Intell. 172 (12/13) (2008) 1495-1539).
[7] J. Euzenat, P. Shvaiko, Ontology Matching, Springer, 2007.
[8] D. Fensel, W. Wahlster, H. Lieberman, J. Hendler (Eds.), Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, MIT Press, 2002.
[9] T. Flaminio, L. Godo, A logic for reasoning about the probability of fuzzy events, Fuzzy Sets Syst. 158 (6) (2007) 625-638.
[10] G. Fenza, V. Loia, S. Senatore, A hybrid approach to Semantic Web services matchmaking, Int. J. Approx. Reason. 48 (3) (2008) 808-828.
[11] N. Fuhr, A decision-theoretic approach to database selection in networked IR, ACM Trans. Inform. Syst. 3 (17) (1999) 229-249.
[12] P. Hájek, Metamathematics of Fuzzy Logic, Kluwer, 1998.
[13] I. Horrocks, P.F. Patel-Schneider, Reducing OWL entailment to description logic satisfiability, in: Proceedings ISWC-2003, LNCS, vol. 2870, Springer, 2003, pp. 17-29.
[14] T. Lukasiewicz, Fuzzy description logic programs under the answer set semantics for the Semantic Web, in: Proceedings RuleML-2006, IEEE Computer Society, 2006, pp. 89-96 (Extended version: Fundam. Inform. 82 (3) (2008) 289-310).
[15] T. Lukasiewicz, Probabilistic description logic programs, Int. J. Approx. Reason. 45 (2) (2007) 288-307.
[16] T. Lukasiewicz, Probabilistic description logic programs under inheritance with overriding for the Semantic Web, Int. J. Approx. Reason. 49 (1) (2008) 18-34.
[17] T. Lukasiewicz, Tractable probabilistic description logic programs, in: Proceedings SUM-2007, LNCS, vol. 4772, Springer, 2007, pp. 143-156.
[18] T. Lukasiewicz, U. Straccia, Tightly integrated fuzzy description logic programs under the answer set semantics for the Semantic Web, in: Proceedings RR-2007, LNCS, vol. 4524, Springer, 2007, pp. 289-298.
[19] T. Lukasiewicz, U. Straccia, Top-k retrieval in description logic programs under vagueness for the Semantic Web, in: Proceedings SUM-2007, LNCS, vol. 4772, Springer, 2007, pp. 16-30.
[20] T. Lukasiewicz, U. Straccia, Managing uncertainty and vagueness in description logics for the Semantic Web, J. Web Sem. 6 (4) (2008) 291-308.
[21] H. Nottelmann, U. Straccia, Information retrieval and machine learning for probabilistic schema matching, Inform. Process. Manage. 43 (3) (2007) 552- 576.
[22] D. Poole, The independent choice logic for modelling multiple agents under uncertainty, Artif. Intell. 94 (1/2) (1997) 7-56.
[23] L. Predoiu, H. Stuckenschmidt, A probabilistic framework for information integration and retrieval on the Semantic Web, in: Proceedings InterDB-2007 Workshop on Database Interoperability, 2007.
[24] M.E. Renda, U. Straccia, Web metasearch: rank vs. score-based rank aggregation methods, in: Proceedings SAC, ACM Press, 2003, pp. 841-846.
[25] U. Straccia, Answering vague queries in fuzzy DL-Lite, in: Proceedings IPMU-2006, 2006, pp. 2238-2245.
[26] U. Straccia, A fuzzy description logic for the Semantic Web, in: E. Sanchez (Ed.), Fuzzy Logic and the Semantic Web, Capturing Intelligence, Elsevier, 2006, pp. 73-90 (Chapter 4).
[27] U. Straccia, Fuzzy description logic programs, in: Proceedings IPMU-2006, 2006, pp. 1818-1825.
[28] U. Straccia, R. Troncy, oMAP: Combining classifiers for aligning automatically OWL ontologies, in: Proceedings WISE-2005, LNCS, vol. 3806, Springer, 2005, pp. 133-147.
[29] U. Straccia, R. Troncy, Towards distributed information retrieval in the Semantic Web, in: Proceedings ESWC-2006, LNCS, vol. 4011, Springer, 2006, pp. 378-392.
[30] U. Straccia, Managing uncertainty and vagueness in description logics, logic programs and description logic programs, in: Reasoning Web, 4th International Summer School, Tutorial Lectures, LNCS, vol. 5224, Springer, 2008, pp. 54-103.
[31] W3C. OWL Web ontology language overview, 2004. W3C Recommendation (10 February 2004). Available at: <http://www.w3.org/TR/2004/REC-owlfeatures-20040210/>.
Metrics
Back to previous page
@inproceedings{oai:it.cnr:prodotti:43980,
title = {Description logic programs under probabilistic uncertainty and fuzzy vagueness},
author = {Lukasiewicz T. and Straccia U.},
doi = {10.1007/978-3-540-75256-1_19 and 10.1016/j.ijar.2009.03.004},
booktitle = {9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty., pp. 187–198, Hammamet, Tunis, October 2007},
year = {2007}
}
0000-0001-5998-6757DOI
10.1007/978-3-540-75256-1_19
10.1016/j.ijar.2009.03.004
Oxford University Research Archive
Oxford University Research Archive
Oxford University Research Archive
ora.ox.ac.uk
link.springer.com
Oxford University Research Archive
Oxford University Research Archive
www.scopus.com