Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

• Autorzy: Lukasiewicz T.
• Języki publikacji: EN

Abstrakty

EN

There are numerous semantic web applications where dealing with vagueness and imprecision plays an important role. Some examples of such applications are (i) multimedia information processing and retrieval, (ii) natural language interfaces to the Web, and (iii) ontology mapping and information retrieval. In this paper, towards dealing with vagueness and imprecision in the reasoning layers of the Semantic Web, we present an approach to normal fuzzy description logic programs under the answer set semantics, which are a generalization of normal description logic programs (dl-programs) under the answer set semantics by fuzzy vagueness and imprecision in both the description logic and the logic program component. We define a canonical semantics of positive and stratified fuzzy dl-programs in terms of a unique least model and iterative least models, respectively. We then define the answer set semantics of general fuzzy dl-programs, and show in particular that all answer sets of a fuzzy dl-program are minimal models, and that the answer set semantics of positive and stratified fuzzy dl-programs coincides with their canonical least model and iterative least model semantics, respectively. We also provide a characterization of the canonical semantics of positive and stratified fuzzy dl-programs in terms of a fixpoint and an iterative fixpoint semantics, respectively. Furthermore, we provide a reduction of fuzzy dl-programs under the answer set semantics to normal dl-programs under the answer set semantics. Finally, we also describe a special case of fuzzy dl-programs where query processing can be done in polynomial time in the data complexity.

Słowa kluczowe

EN

fuzzy description logic programs; fuzzy description logics; fuzzy normal programs; answer set semantics; vagueness and imprecision; semantic web

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 82, nr 3
• Strony: 289--310
• Opis fizyczny: bibliogr. 37 poz., tab., wykr.

Twórcy

autor

Lukasiewicz T.

• Institut für Informationssysteme, Technische Universität Wien, Favoritenstr. 9-11, A-1040 Wien, Austria,

Bibliografia

• [1] T. Berners-Lee. Weaving the Web. Harper, San Francisco, 1999.
• [2] H. Boley, S. Tabet, and G.Wagner. Design rationale for RuleML: A markup language for semantic web rules. In Proceedings SWWS-2001, pages 381-401, 2001.
• [3] A. Calì and T. Lukasiewicz. An approach to probabilistic data integration for the SemanticWeb. In Proceedings URSW-2006, volume 218 of CEUR Workshop Proceedings. CEUR-WS.org, 2006.
• [4] D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. DL-Lite: Tractable description logics for ontologies. In Proceedings AAAI-2005, pages 602-607. AAAI Press / MIT Press, 2005.
• [5] C. V. Damásio and L. M. Pereira. Antitonic logic programs. In Proceedings LPNMR-2001, volume 2173 of LNCS, pages 379-392. Springer, 2001.
• [6] T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proceedings IJCAI-2005, pages 90-96, 2005.
• [7] T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. Effective integration of declarative rules with external evaluations for semantic web reasoning. In Proceedings ESWC-2006, volume 4011 of LNCS, pages 273-287. Springer, 2006.
• [8] T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. In Proceedings KR-2004, pages 141-151. AAAI Press, 2004.
• [9] T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the Semantic Web. In Proc. RuleML-2004, volume 3323 of LNCS, pages 81-97. Springer, 2004.
• [10] R. Fagin. Fuzzy queries in multimedia database systems. In Proceedings PODS-1998, pages 1-10. ACM Press, 1998.
• [11] D. Fensel, W. Wahlster, H. Lieberman, and J. Hendler, editors. Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential. MIT Press, 2002.
• [12] M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generat. Comput., 17:365-387, 1991.
• [13] P. Hájek. Metamathematics of Fuzzy Logic. Kluwer, 1998.
• [14] S. Hölldobler, H.-P. Störr, and T. D. Khang. The subsumption problem of the fuzzy description logic ALCFH. In Proceedings IPMU-2004, pages 243-250, 2004.
• [15] I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proceedings ISWC-2003, volume 2870 of LNCS, pages 17-29. Springer, 2003.
• [16] I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL Rules Language. In Proceedings WWW-2004, pages 723-731. ACM Press, 2004.
• [17] I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. J. Web Sem., 1(1):7-26, 2003.
• [18] I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings LPAR-1999, volume 1705 of LNCS, pages 161-180. Springer, 1999.
• [19] T. Lukasiewicz. Many-valued disjunctive logic programs with probabilistic semantics. In Proceedings LPNMR-1999, volume 1730 of LNCS, pages 277-289. Springer, 1999.
• [20] T. Lukasiewicz. Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proceedings LPNMR-2001, volume 2173 of LNCS, pages 336-350. Springer, 2001.
• [21] T. Lukasiewicz. Probabilistic description logic programs. In Proceedings ECSQARU-2005, volume 3571 of LNCS, pages 737-749. Springer, 2005. Extended version: Int. J. Approx. Reason., 45(2):288-307, 2007.
• [22] T. Lukasiewicz. Stratified probabilistic description logic programs. In Proceedings URSW-2005, volume 173 of CEUR Workshop Proceedings, pages 87-97. CEUR-WS.org, 2005.
• [23] T. Lukasiewicz and U. Straccia. An overview of uncertainty and vagueness in description logics for the Semantic Web. Technical Report RR-1843-06-07, Institut für Informationssysteme, TUWien, October 2006.
• [24] G. Stoilos, G. B. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks. The fuzzy description logic f-SHIN. In Proceedings URSW-2005, volume 173 of CEUR Workshop Proceedings, pages 67-76. CEUR-WS.org, 2005.
• [25] U. Straccia. A fuzzy description logic. In Proceedings AAAI-1998, pages 594-599. AAAI Press / MIT Press, 1998.
• [26] U. Straccia. Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14:137-166, 2001.
• [27] U. Straccia. Description logics with fuzzy concrete domains. In Proceedings UAI-2005, pages 559-567. AUAI Press, 2005.
• [28] U. Straccia. Towards a fuzzy description logic for the Semantic Web (preliminary report). In Proceedings ESWC-2005, volume 3532 of LNCS, pages 167-181. Springer, 2005.
• [29] U. Straccia. Answering vague queries in fuzzy DL-Lite. In Proceedings IPMU-2006, pages 2238-2245, 2006.
• [30] U. Straccia. A fuzzy description logic for the Semantic Web. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 4, pages 73-90. Elsevier, 2006.
• [31] U. Straccia. Fuzzy description logic programs. In Proceedings IPMU-2006, 2006.
• [32] U. Straccia. Uncertainty and description logic programs over lattices. In E. Sanchez, editor, Fuzzy Logic and the Semantic Web, Capturing Intelligence, chapter 7, pages 115-133. Elsevier, 2006.
• [33] S. Tobies. Complexity Results and Practical Algorithms for Logics in Knowledge Representation. PhD thesis, RWTH Aachen, Germany, 2001.
• [34] C. Tresp and R. Molitor. A description logic for vague knowledge. In Proceedings ECAI-1998, pages 361-365. J. Wiley & Sons, 1998.
• [35] A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. J. ACM, 38(3):620-650, 1991.
• [36] W3C. OWL web ontology language overview, 2004. W3C Recommendation (10 February 2004). Available at www.w3.org/TR/2004/REC-owl-features-20040210/.
• [37] J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proceedings IJCAI-1991, pages 472-477. Morgan Kaufmann, 1991.