Stratified probabilistic description logic programs

CEUR Workshop Proceedings

Volumn 173, Issue , 2005, Pages

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; CANONICAL MODELING; DESCRIPTION LOGIC PROGRAMS; INDEPENDENT CHOICE LOGIC; PROBABILISTIC DESCRIPTION LOGIC PROGRAMS; PROBABILISTIC UNCERTAINTY; REASONING TECHNIQUES; WELL FOUNDED SEMANTICS;

FORMAL LANGUAGES; LOGIC PROGRAMMING; PROBABILISTIC LOGICS;

DATA DESCRIPTION;

EID: 84884358157     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. G. Antoniou. Nonmonotonic rule systems on top of ontology layers. In Proceedings ISWC-2002, LNCS 2342, pp. 394-398.
2. T. Berners-Lee. Weaving the Web. Harper, San Francisco, CA, 1999.
3. 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.
4. P. C. G. da Costa. Bayesian semantics for the Semantic Web. Doctoral Dissertation, George Mason University, Fairfax, VA, USA, 2005.
5. 4 Project, 2002. http://centria.di.fct.unl.pt/~cd/projectos/w4/index.htm.
6. Z. Ding and Y. Peng. A Probabilistic extension to ontology language OWL. In Proceedings HICSS-2004.
7. 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.
8. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Well-founded semantics for description logic programs in the Semantic Web. In Proc. RuleML-2004, LNCS 3323, pp. 81-97.
9. 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.
10. A. Finzi and T. Lukasiewicz. Structure-based causes and explanations in the independent choice logic. In Proceedings UAI-2003, pp. 225-232.
11. Y. Fukushige. Representing probabilistic knowledge in the Semantic Web. In Proceedings of the W3C Workshop on Semantic Web for Life Sciences, Cambridge, MA, USA, 2004.
12. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 17: 365-387, 1991.
13. R. Giugno and T. Lukasiewicz. P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web. In Proc. JELIA-2002, LNCS 2424, pp. 86-97.
14. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proceedings WWW-2003, pp. 48-57.
15. J. Heinsohn. Probabilistic description logics. In Proceedings UAI-1994, pp. 311-318.
16. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proceedings ISWC-2003, LNCS 2870, pp. 17-29.
17. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL Rules Language. In Proceedings WWW-2004, pp. 723-731.
18. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, 1(1): 7-26, 2003.
19. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings LPAR-1999, LNCS 1705, pp. 161-180.
20. M. Jaeger. Probabilistic reasoning in terminological logics. In Proc. KR-1994, pp. 305-316.
21. D. Koller, A. Levy, and A. Pfeffer. P-CLASSIC: A tractable probabilistic description logic. In Proceedings AAAI-1997, pp. 390-397.
22. T. Lukasiewicz. Probabilistic description logic programs. In Proceedings ECSQARU-2005, LNCS 3571, pp. 737-749.
23. H. Nottelmann and N. Fuhr. pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic Datalog. In Proceedings IPMU-2004.
24. M. Pool and J. Aikin. KEEPER and Protégé: An elicitation environment for Bayesian inference tools. In Proceedings of the Workshop on Protégé and Reasoning held at the 7th International Protégé Conference, 2004.
25. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence, 94: 7-56, 1997.
26. U. Straccia. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research, 14: 137-166, 2001.
27. U. Straccia. Towards a fuzzy description logic for the Semantic Web (preliminary report). In Proceedings ESWC-2005, LNCS 3532, pp. 167-181.
28. U. Straccia. Uncertainty and description logic programs: A proposal for expressing rules and uncertainty on top of ontologies. Technical Report ISTI-2004-TR, CNR Pisa, 2004.
29. A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3): 620-650, 1991.
30. W3C. OWL web ontology language overview, 2004. W3C Recommendation (10 February 2004). Available at www.w3.org/TR/2004/REC-owl-features-20040210/.