Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berners-Lee, T.: Weaving the Web. Harper, San Francisco (1999)
Callan, J.: Distributed information retrieval. In: Croft, W.B. (ed.) Advances in InformationRetrieval, pp. 127–150. Kluwer, Dordrecht (2000)
Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR 2004, pp. 141–151 (2004)
Fensel, D., Wahlster, W., Lieberman, H., Hendler, J. (eds.): Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, Cambridge (2002)
Flaminio, T., Godo, L.: A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems 158(6), 625–638 (2007)
Fuhr, N.: A decision-theoretic approach to database selection in networked IR. ACM Trans. Inf. Syst. 3(17), 229–249 (1999)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)
Lukasiewicz, T.: Probabilistic description logic programs. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 737–749. Springer, Heidelberg (2005) (Extended version in Int. J. Approx. Reason. 45(2), 288–307 (2007)
Lukasiewicz, T.: Fuzzy description logic programs under the answer set semantics for the Semantic Web. In: Proc. RuleML 2006, pp. 89–96 (2006) (Extended version in Fundamenta Informaticae (to appear))
Lukasiewicz, T., Straccia, U.: Uncertainty and vagueness in description logic programs for the Semantic Web. Report 1843-07-02, Institut für Informations systeme, TU Wien (2007)
Nottelmann, H., Straccia, U.: Information retrieval and machine learning for probabilisticschema matching. Inf. Process. Manage. 43(3), 552–576 (2007)
Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1-2), 7–56 (1997)
Renda, M.E., Straccia, U.: Web metasearch: Rank vs. score-based rank aggregation methods. In: Proc. SAC 2003, pp. 841–846 (2003)
Straccia, U.: Afuzzy description logic for the SemanticWeb. In: Sanchez, E. (ed.) Fuzzy Logic and the SemanticWeb, Capturing Intelligence, ch. 4, pp. 73–90. Elsevier, Amsterdam (2006)
Straccia, U.: Fuzzy description logic programs. In: Proc. IPMU 2006, pp. 1818–1825 (2006)
Straccia, U., Troncy, R.: oMAP: Combining classifiers for aligning automatically OWL ontologies. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005, vol. 3806, pp. 133–147. Springer, Heidelberg (2005)
Straccia, U., Troncy, R.: Towards distributed information retrieval in the Semantic Web. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 378–392. Springer, Heidelberg (2006)
W3C. OWL web ontology language overview, W3C Recommendation (February 10, 2004), Available at http://www.w3.org/TR/2004/REC-owl-features-20040210/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lukasiewicz, T., Straccia, U. (2007). Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness. In: Mellouli, K. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2007. Lecture Notes in Computer Science(), vol 4724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75256-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-75256-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75255-4
Online ISBN: 978-3-540-75256-1
eBook Packages: Computer ScienceComputer Science (R0)