Probabilistic description logic programs under inheritance with overriding for the Semantic Web

International Journal of Approximate Reasoning

Volumn 49, Issue 1, 2008, Pages 18-34

  Lukasiewicz, Thomas ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Conditional knowledge bases; Default reasoning; Description logic programs; Description logics; Inheritance with overriding; Lexicographic entailment; Logic programs; Probabilistic description logic programs; Probabilistic logic programs; System Z

Indexed keywords

DATA DESCRIPTION; INFORMATION THEORY; LOGIC PROGRAMMING; PROBABILITY; SEMANTIC WEB; SEMANTICS;

COMPUTATIONAL PROBLEMS; CONDITIONAL CONSTRAINTS; CONDITIONAL KNOWLEDGE BASES; DEFAULT REASONING; DESCRIPTION LOGIC PROGRAMS; DESCRIPTION LOGICS; INHERITANCE WITH OVERRIDING; LEXICOGRAPHIC ENTAILMENT; LOGIC PROGRAMS; PROBABILISTIC DESCRIPTION; PROBABILISTIC DESCRIPTION LOGIC PROGRAMS; PROBABILISTIC KNOWLEDGE; PROBABILISTIC LOGIC PROGRAMS; SEMANTIC PROPERTIES; SYSTEM Z; UNCERTAINTY REASONING;

PROBABILISTIC LOGICS;

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

References (52)

1. Adams E.W. The Logic of Conditionals (1975), D. Reidel, Dordrecht
2. Bacchus F., Grove A., Halpern J.Y., and Koller D. From statistical knowledge bases to degrees of belief. Artif. Intell. 87 1-2 (1996) 75-143
3. Benferhat S., Saffiotti A., and Smets P. Belief functions and default reasoning. Artif. Intell. 122 1-2 (2000) 1-69
4. Berners-Lee T. Weaving the Web (1999), Harper, San Francisco
5. Berners-Lee T., Hendler J., and Lassila O. The Semantic Web. Sci. Am. 284 5 (2001) 34-43
6. Carnap R. Logical Foundations of Probability (1950), University of Chicago Press, Chicago
7. da Costa P.C.G., and Laskey K.B. PR-OWL: A framework for probabilistic ontologies. Proceedings FOIS-2006. Frontiers in Artificial Intelligence and Applications vol. 150 (2006), IOS Press
8. P.C.G. da Costa, K.B. Laskey, K.J. Laskey, M. Pool, (Eds.), Proceedings URSW-2005, CEUR Workshop Proceedings, vol. 173, CEUR-WS.org, 2006.
9. P.C.G. da Costa, K.B. Laskey, K.J. Laskey, F. Fung, M. Pool, (Ed.), Proceedings URSW-2006, CEUR Workshop Proceedings, vol. 218, CEUR-WS.org, 2006.
10. Dekhtyar A., and Subrahmanian V.S. Hybrid probabilistic programs. J. Log. Program. 43 3 (2000) 187-250
11. Dekhtyar M.I., Dekhtyar A., and Subrahmanian V.S. Hybrid probabilistic programs: algorithms and complexity. Proceedings UAI-1999 (1999), Morgan Kaufmann 160-169
12. Eiter T., Ianni G., Schindlauer R., and Tompits H. Effective integration of declarative rules with external evaluations for semantic-web reasoning. Proceedings ESWC-2006. LNCS vol. 4011 (2006), Springer 273-287
13. Eiter T., Lukasiewicz T., Schindlauer R., and Tompits H. Combining answer set programming with description logics for the Semantic Web. Proceedings KR-2004 (2004), AAAI Press 141-151
14. Fagin R., Halpern J.Y., and Megiddo N. A logic for reasoning about probabilities. Inf. Comput. 87 (1990) 78-128
15. 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
16. Frisch A.M., and Haddawy P. Anytime deduction for probabilistic logic. Artif. Intell. 69 1-2 (1994) 93-122
17. Gaifman H. Concerning measures in first order calculi. Israel J. Math. 2 (1964) 1-18
18. Giugno R., and Lukasiewicz T. P-SHOQ (D): A probabilistic extension of SHOQ (D) for probabilistic ontologies in the Semantic Web. Proceedings JELIA-2002. LNCS vol. 2424 (2002), Springer 86-97
19. Goldszmidt M., and Pearl J. On the consistency of defeasible databases. Artif. Intell. 52 2 (1991) 121-149
20. Goldszmidt M., and Pearl J. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84 1-2 (1996) 57-112
21. Haddawy P. Generating Bayesian networks from probability logic knowledge bases. Proceedings UAI-1994 (1994), Morgan Kaufmann 262-269
22. Halpern J.Y. An analysis of first-order logics of probability. Artif. Intell. 46 3 (1990) 311-350
23. Horrocks I., and Patel-Schneider P.F. Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1 4 (2004) 345-357
24. 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 Sem. 1 1 (2003) 7-26
25. Horrocks I., Sattler U., and Tobies S. Practical reasoning for expressive description logics. Proceedings LPAR-1999. LNCS vol. 1705 (1999), Springer 161-180
26. Jaeger M. On the complexity of inference about probabilistic relational models. Artif. Intell. 117 2 (2000) 297-308
27. Kern-Isberner G., and Lukasiewicz T. Combining probabilistic logic programming with the power of maximum entropy. Artif. Intell. 157 1-2 (2004) 139-202
28. Kraus S., Lehmann D., and Magidor M. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 14 1 (1990) 167-207
29. Kyburg Jr. H.E. The Logical Foundations of Statistical Inference (1974), D. Reidel, Dordrecht
30. Kyburg Jr. H.E. The reference class. Philos. Sci. 50 (1983) 374-397
31. Lehmann D. Another perspective on default reasoning. Ann. Math. Artif. Intell. 15 1 (1995) 61-82
32. Lukasiewicz T. Credal networks under maximum entropy. Proceedings UAI-2000 (2000), Morgan Kaufmann 363-370.
33. Lukasiewicz T. Probabilistic logic programming with conditional constraints. ACM Trans. Comput. Log. 2 3 (2001) 289-339
34. Lukasiewicz T. Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34 1-3 (2002) 35-88
35. Lukasiewicz T. Probabilistic description logic programs. Proceedings ECSQARU-2005. LNCS vol. 3571 (2005), Springer 737-749 (Extended version in Int. J. Approx. Reason. 45(2) (2007) 288-307)
36. T. Lukasiewicz, Stratified probabilistic description logic programs, in: Proceedings URSW-2005, CEUR Workshop Proceedings, vol. 173, CEUR-WS.org, 2006 pp. 87-97.
37. Lukasiewicz T. Fuzzy description logic programs under the answer set semantics for the Semantic Web. Proceedings RuleML-2006 (2006), IEEE Computer Society 89-96
38. Ng R.T., and Subrahmanian V.S. Probabilistic logic programming. Inf. Comput. 101 (1992) 150-201
39. Ng R.T., and Subrahmanian V.S. A semantical framework for supporting subjective and conditional probabilities in deductive databases. J. Autom. Reasoning 10 2 (1993) 191-235
40. Ngo L., and Haddawy P. Answering queries from context-sensitive probabilistic knowledge bases. Theor. Comput. Sci. 171 (1997) 147-177
41. Nilsson N.J. Probabilistic logic. Artif. Intell. 28 1 (1986) 71-88
42. Pearl J. System Z: A natural ordering of defaults with tractable applications to default reasoning. Proceedings TARK-1990 (1990), Morgan Kaufmann 121-135
43. Pollock J.L. Nomic Probabilities and the Foundations of Induction (1990), Oxford University Press
44. Poole D. Probabilistic Horn abduction and Bayesian networks. Artif. Intell. 64 1 (1993) 81-129
45. Poole D. The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94 1-2 (1997) 7-56
46. Reichenbach H. Theory of Probability (1949), University of California Press, Berkeley
47. Rosati R. On the decidability and complexity of integrating ontologies and rules. J. Web Sem. 3 1 (2005) 61-73
48. Rosati R. DL + log: Tight integration of description logics and disjunctive Datalog. Proceedings KR-2006 (2006), AAAI Press 68-78
49. Scott D., and Krauss P. Assigning probabilities to logical formulas. Aspects of Inductive Logic (1966), North-Holland, Amsterdam 219-264
50. Straccia U. Towards a fuzzy description logic for the Semantic Web (preliminary report). Proceedings ESWC-2005. LNCS vol. 3532 (2005), Springer 167-181
51. Straccia U. Uncertainty and description logic programs over lattices. In: Sanchez E. (Ed). Fuzzy Logic and the Semantic Web. Capturing Intelligence (2006), Elsevier 115-133 (Chapter 7)
52. W3C. OWL web ontology language overview, 2004, W3C Recommendation (10 Feb. 2004). Available at www.w3.org/TR/2004/REC-owl-features-20040210/.