Probabilistic description logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3571 LNAI, Issue , 2005, Pages 737-749

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

OPTIMIZATION; PROBABILISTIC LOGICS; PROBABILITY; PROBLEM SOLVING; SEMANTICS; SET THEORY; WORLD WIDE WEB;

LINEAR OPTIMIZATION PROBLEMS; PROBABILISTIC DESCRIPTION LOGIC; PROBABILISTIC UNCERTAINTY; WELL-FOUNDED SEMANTICS;

LOGIC PROGRAMMING;

EID: 26944464941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11518655_62     Document Type: Conference Paper

References (30)

1. G. Alsaç and C. Baral. Reasoning in description logics using declarative logic programming. Report, Department of Computer Science and Engineering, Arizona State University, 2001.
2. G. Antoniou. Nonmonotonic rule systems on top of ontology layers. In Proc. ISWC-2002, LNCS 2342, pp. 394-398.
3. G. Antoniou and G. Wagner. Rules and defeasible reasoning on the Semantic Web. In Proc. RuleML-2003, LNCS 2876, pp. 111-120.
4. F. Baader and B. Hollunder. Embedding defaults into terminological representation systems. J. Automated Reasoning, 14:149-180, 1995.
5. T. Berners-Lee. Weaving the Web. Harper, San Francisco, CA, 1999.
6. H. Boley, S. Tabet, and G. Wagner. Design rationale for RuleML: A markup language for Semantic Web rules. In Proc. SWWS-2001, pp. 381-401.
7. 4 Project, 2002. http://centria.di.fct.unl.pt/~cd/projectos/w4/index.htm.
8. F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Aℒ-log: Integrating datalog and description logics. Journal of Intelligent Information Systems (JIIS), 10(3):227-252, 1998.
9. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the Semantic Web. In Proc. KR-2004, pp. 141-151.
10. 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.
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. A. Finzi and T. Lukasiewicz. Structure-based causes and explanations in the independent choice logic. In Proc. UAI-2003, pp. 225-232.
13. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 17:365-387, 1991.
14. 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.
15. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logics. In Proc. WWW-2003, pp. 48-57.
16. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proc. ISWC-2003, LNCS 2870, pp. 17-29.
17. I. Horrocks and P. F. Patel-Schneider. A proposal for an OWL Rules Language. In Proc. WWW-2004, pp. 723-731.
18. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SULQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics, I(1):7-26, 2003.
19. I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. LPAR-I999, LNCS 1705, pp. 161-180.
20. U. Hufstadt, B. Motik, and U. Sattler. Reasoning for description logics around SHXQ in a resolution framework. Technical Report 3-8-04/04, FZI Karlsruhe, 2004.
21. A. Y. Levy and M.-C. Rousset. Combining Horn rules and description logics in CARIN. Artif. Intell., 104(1-2):165-209, 1998.
22. H. Nottelmann and N. Fuhr. pDAML+OIL: A probabilistic extension to DAML+OIL based on probabilistic Datalog. In Proc. IPMU-2004.
23. D. Poole. The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell., 94:7-56, 1997.
24. P. Rao, K. Sagonas, T. Swift, D. S. Warren, and J. Freire. XSB: A system for efficiently computing WFS. In Proc. LPNMR-1997, LNCS 1265, pp. 430-440.
25. R. Rosati. Towards expressive KR systems integrating datalog and description logics: Preliminary report. In Proc. DL-I999, pp. 160-164.
26. 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.
27. T. Swift. Deduction in ontologies via ASP. In Proc. LPNMR-2004, LNCS 2923, pp. 275-288.
28. K. Van Belleghem, M. Denecker, and D. De Schreye. A strong correspondence between description logics and open logic programming. In Proc. ICLP-1997, pp. 346-360.
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/.