Probabilistic description logic programs

International Journal of Approximate Reasoning

Volumn 45, Issue 2, 2007, Pages 288-307

  Lukasiewicz, Thomas ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Answer set semantics; Description logic; Independent choice logic; Normal program; Probabilistic uncertainty; Stratified program; Well founded semantics

Indexed keywords

OPTIMIZATION; QUERY PROCESSING; SEMANTICS; UNCERTAINTY ANALYSIS;

ANSWER SET SEMANTICS; STRATIFIED PROGRAM; WELL-FOUNDED SEMANTICS;

PROBABILISTIC LOGICS;

EID: 34249939910     PISSN: 0888613X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ijar.2006.06.012     Document Type: Article

References (46)

1. G. Alsaç, C. Baral, Reasoning in description logics using declarative logic programming, Technical Report, Department of Computer Science and Engineering, Arizona State University, 2001.
2. G. Antoniou, Nonmonotonic rule systems on top of ontology layers, in: Proceedings ISWC-2002, LNCS 2342, 2002, pp. 394-398.
3. G. Antoniou, G. Wagner, Rules and defeasible reasoning on the Semantic Web, in: Proceedings RuleML-2003, LNCS 2876, 2003, pp. 111-120.
4. Baader F., and Hollunder B. Embedding defaults into terminological representation systems. J. Autom. Reason. 14 (1995) 149-180
5. Berners-Lee T. Weaving the Web (1999), Harper, San Francisco, CA
6. H. Boley, S. Tabet, G. Wagner, Design rationale for RuleML: A markup language for Semantic Web rules, in: Proceedings SWWS-2001, 2001, pp. 381-401.
7. Charnes A., and Cooper W.W. Programming with linear fractional functionals. Naval Res. Logist. Quart. 9 (1962) 181-186
8. P.C.G. da Costa, Bayesian semantics for the Semantic Web, Doctoral Dissertation, George Mason University, Fairfax, VA, USA, 2005.
9. 4 Project, 2002. Available from: .
10. Donini F.M., Lenzerini M., Nardi D., and Schaerf A. AL-log: Integrating datalog and description logics. J. Intell. Inf. Syst. (JIIS) 10 3 (1998) 227-252
11. Z. Ding, Y. Peng, A probabilistic extension to ontology language OWL, in: Proceedings HICSS-2004, 2004.
12. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, Combining answer set programming with description logics for the Semantic Web, in: Proceedings KR-2004, 2004, pp. 141-151 (Extended Report RR-1843-03-13, Institut für Informationssysteme, TU Wien, 2003).
13. T. Eiter, T. Lukasiewicz, R. Schindlauer, H. Tompits, Well-founded semantics for description logic programs in the Semantic Web, in: Proceedings RuleML-2004, LNCS 3323, 2004, pp. 81-97.
14. In: Fensel D., Wahlster W., Lieberman H., and Hendler J. (Eds). Spinning the Semantic Web: Bringing the World Wide Web to its Full Potential (2002), MIT Press, Cambridge
15. A. Finzi, T. Lukasiewicz, Structure-based causes and explanations in the independent choice logic, in: Proceedings UAI-2003, 2003, pp. 225-232.
16. 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.
17. Gelfond M., and Lifschitz V. Classical negation in logic programs and deductive databases. New Generat. Comput. 17 (1991) 365-387
18. R. Giugno, T. Lukasiewicz, P-SHOQ (D): A probabilistic extension of SHOQ (D) for probabilistic ontologies in the Semantic Web, in: Proceedings JELIA-2002, LNCS 2424, 2002, pp. 86-97.
19. B.N. Grosof, I. Horrocks, R. Volz, S. Decker, Description logic programs: Combining logic programs with description logics, in: Proceedings WWW-2003, 2003, pp. 48-57.
20. J. Heinsohn, Probabilistic description logics, in: Proceedings UAI-1994, 1994, pp. 311-318.
21. I. Horrocks, P.F. Patel-Schneider, Reducing OWL entailment to description logic satisfiability, in: Proceedings ISWC-2003, LNCS 2870, 2003, pp. 17-29.
22. I. Horrocks, P.F. Patel-Schneider, A proposal for an OWL Rules Language, in: Proceedings WWW-2004, 2004, pp. 723-731.
23. Horrocks I., Patel-Schneider P.F., and Van Harmelen F. From SHIQ and RDF to OWL: The making of a Web ontology language. J. Web Semantics 1 1 (2003) 7-26
24. I. Horrocks, U. Sattler, S. Tobies, Practical reasoning for expressive description logics, in: Proceedings LPAR-1999, LNCS 1705, 1999, pp. 161-180.
25. U. Hufstadt, B. Motik, U. Sattler, Reasoning for description logics around SHIQ in a resolution framework, Technical Report 3-8-04/04, FZI Karlsruhe, 2004.
26. Kern-Isberner G., and Lukasiewicz T. Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157 1-2 (2004) 139-202
27. Levy A.Y., and Rousset M.-C. Combining Horn rules and description logics in CARIN. Artif. Intell. 104 1-2 (1998) 165-209
28. M. Jaeger, Probabilistic reasoning in terminological logics, in: Proceedings KR-1994, 1994, pp. 305-316.
29. D. Koller, A. Levy, A. Pfeffer, P-Classic: A tractable probabilistic description logic, in: Proceedings AAAI-1997, 1997, pp. 390-397.
30. Lukasiewicz T. Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Log. 2 3 (2001) 289-339
31. T. Lukasiewicz, Probabilistic description logic programs, in: Proceedings ECSQARU-2005, LNCS 3571, 2005, pp. 737-749.
32. T. Lukasiewicz, Stratified probabilistic description logic programs, in: Proceedings URSW-2005, 2005, pp. 87-97.
33. H. Nottelmann, N. Fuhr, pDAML + OIL: A probabilistic extension to DAML + OIL based on probabilistic Datalog, in: Proceedings IPMU-2004, 2004.
34. M. Pool, 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.
35. Poole D. The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94 1-2 (1997) 7-56
36. P. Rao, K. Sagonas, T. Swift, D.S. Warren, J. Freire, XSB: A system for efficiently computing WFS, in: Proceedings LPNMR-1997, LNCS 1265, 1997, pp. 430-440.
37. R. Rosati, Towards expressive KR systems integrating datalog and description logics: Preliminary report, in: Proceedings DL-1999, 1999, pp. 160-164.
38. Rosati R. On the decidability and complexity of integrating ontologies and rules. J. Web Semantics 3 1 (2005) 61-73
39. Straccia U. Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14 (2001) 137-166
40. U. Straccia, Towards a fuzzy description logic for the Semantic Web (preliminary report), in: Proceedings ESWC-2005, LNCS 3532, 2005, pp. 167-181.
41. Straccia U. Uncertainty and description logic programs over lattices. In: Sanchez E. (Ed). Fuzzy Logic and the Semantic Web. Capturing Intelligence (2006), Elsevier, Amsterdam 115-133 (Chapter 7)
42. U. Straccia, Fuzzy description logic programs, in: Proceedings IPMU-2006, 2006, pp. 1818-1825.
43. T. Swift, Deduction in ontologies via ASP, in: Proceedings LPNMR-2004, LNCS 2923, 2004, pp. 275-288.
44. K. Van Belleghem, M. Denecker, D. De Schreye, A strong correspondence between description logics and open logic programming, in: Proceedings ICLP-1997, 1997, pp. 346-360.
45. Van Gelder A., Ross K.A., and Schlipf J.S. The well-founded semantics for general logic programs. J. ACM 38 3 (1991) 620-650
46. W3C. OWL Web ontology language overview, 2004. W3C Recommendation, 10 February 2004. Available from: .