Fuzzy description logic programs under the answer set semantics for the Semantic Web

Fundamenta Informaticae

Volumn 82, Issue 3, 2008, Pages 289-310

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Answer set semantics; Fuzzy description logic programs; Fuzzy description logics; Fuzzy normal programs; Semantic Web; Vagueness and imprecision

Indexed keywords

DATA DESCRIPTION; DATA PROCESSING; INFORMATION SERVICES; INFORMATION THEORY; LOGIC PROGRAMMING; ONTOLOGY; POLYNOMIAL APPROXIMATION; QUERY PROCESSING; SEARCH ENGINES; SEMANTIC WEB; SEMANTICS; TURBULENT FLOW;

ANSWER SET SEMANTICS; ANSWER SETS; DATA COMPLEXITY; DESCRIPTION LOGIC (DL); FIX POINTS; FIX-POINT SEMANTICS; FUZZY DESCRIPTION LOGICS; LEAST MODEL SEMANTICS; LOGIC PROGRAMS; MINIMAL MODELING; MULTIMEDIA INFORMATION PROCESSING; NATURAL LANGUAGE INTERFACE (NLI); ONTOLOGY MAPPINGS; POLYNOMIAL-TIME; RETRIEVAL (MIR); SEMANTIC WEB APPLICATIONS;

FUZZY LOGIC;

EID: 46549084285     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (37)

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 Semantic Web. 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. FH. 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, TU Wien, 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.