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

Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web

Volumn , Issue , 2006, Pages 89-96

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

FUZZY SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; MODEL CHECKING; MULTIMEDIA SYSTEMS;

FUZZY DESCRIPTION LOGIC PROGRAMS; FUZZY DLPROGRAMS; FUZZY VAGUENESS;

SEMANTIC WEB;

EID: 34548088180     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RULEML.2006.12     Document Type: Conference Paper

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, pp. 381-401, 2001.
3. C. V. Damásio and L. M. Pereira. Antitonic logic programs. Proceedings LPNMR-2001, LNAI 2173, pp. 379-392. Springer, 2001.
4. A. Dekhtyar and V. S. Subrahmanian. Hybrid probabilistic programs. In Proceedings ICLP-1997, pp. 391-405. MIT Press, 1997.
5. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. In Proceedings KR-2004, pp. 141-151. AAAI Press, 2004. Extended Report RR-1843-03-13, Institut für Informationssysteme, TU Wien, 2003.
6. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the Semantic Web. In Proceedings RuleML-2004, LNCS 3323, pp. 81-97. Springer, 2004.
7. 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.
8. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generat. Comput., 17:365-387, 1991.
9. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proceedings ISWC-2003, LNCS 2870, pp. 17-29. Springer, 2003.
10. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL Rules Language. In Proceedings WWW-2004, pp. 723-731. ACM Press, 2004.
11. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHKIQ and RDF to OWL: The making of a web ontology language. J. Web Semantics, 1(1):7-26, 2003.
12. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings LPAR-1999, LNCS 1705, pp. 161-180. Springer, 1999.
13. T. Lukasiewicz. Many-valued first-order logics with probabilistic semantics. In Proceedings CSL-1998, LNCS 1584, pp. 415-429. Springer, 1999.
14. T. Lukasiewicz. Probabilistic and truth-functional manyvalued logic programming. In Proceedings ISMVL-1999, pp. 236-241. IEEE Computer Society, 1999.
15. T. Lukasiewicz. Many-valued disjunctive logic programs with probabilistic semantics. In Proceedings LPNMR-1999, LNAI 1730, pp. 277-289. Springer, 1999.
16. T. Lukasiewicz, Fixpoint characterizations for many-valued disjunctive logic programs with probabilistic semantics. In Proceedings LPNMR-2001, LNAI 2173, pp. 336-350. Springer, 2001.
17. T. Lukasiewicz. Probabilistic description logic programs. In Proceedings ECSQARU-2005, LNAI 3571, pp. 737-749. Springer, 2005.
18. Extended version in Int. J. Approx. Reasoning, in press.
19. T. Lukasiewicz. Stratified probabilistic description logic programs. In Proceedings URSW-2005, pp. 87-97, 2005.
20. T. Lukasiewicz. Probabilistic logic programming with conditional constraints. ACM Trans. Computat. Logic, 2(3):289-337, 2001.
21. C. Mateis. A Quantitative Extension of Disjunctive Logic Programming. Doctoral Dissertation, TU Wien, 1998.
22. R. T. Ng and V. S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. J. Autom. Reasoning, 10(2): 191-235, 1993.
23. R. T. Ng and V. S. Subrahmanian. Stable semantics for probabilistic deductive databases. Inf. Comput., 110:42-83, 1994.
24. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell., 94(l-2):7-56, 1997.
25. G. Stoilos, G. B. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks. The fuzzy description logic f-SHIN. In Proceedings URSW-2005, pp. 67-76, 2005.
26. U. Straccia. A fuzzy description logic. In Proceedings AAAI-1998, pp. 594-599. AAAI Press/MIT Press, 1998.
27. U. Straccia. Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14:137-166, 2001.
28. U. Straccia. Transforming fuzzy description logics into classical description logics. In Proceedings JELIA-2004, LNAI 3229, pp. 385-399. Springer, 2004.
29. U. Straccia. Description logics with fuzzy concrete domains. In Proceedings UAI-2005, pp. 559-567. AUAI Press, 2005.
30. U. Straccia. Towards a fuzzy description logic for the Semantic Web (preliminary report). In Proceedings ESWC2005, LNCS 3532, pp. 167-181. Springer, 2005.
31. U. Straccia. Fuzzy description logic programs. In Proceedings IPMU-2006, pp. 1818-1825, 2006.
32. U. Straccia. Uncertainty and description logic programs over lattices. In Elie Sanchez, editor, Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, 2006.
33. C. B. Tresp and R. Molitor. A description logic for vague knowledge. In Proceedings ECAI-1998, pp. 361-365. J. Wiley & Sons, 1998.
34. A. Van Gelder, K. A. Ross, and J. S. Schlipf. The wellfounded semantics for general logic programs. J. ACM, 38(3):620-650, 1991.
35. W3C. OWL web ontology language overview, 2004. W3C Recommendation (10 Feb. 2004). Available at WWW.W3.org/TR/2004/REC-owl-features-20040210/.
36. J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proceedings IJCAI-1991, pp. 472-477. Morgan Kaufmann, 1991.
37. M. H. van Emden. Quantitative deduction and its fixpoint theory. J. Logic Program., 3(l):37-53, 1986.