A distribution semantics for probabilistic ontologies

CEUR Workshop Proceedings

Volumn 778, Issue , 2011, Pages 75-86

  Bellodi, Elena ^a   Lamma, Evelina ^a   Riguzzi, Fabrizio ^a   Albani, Simone ^a  

^a UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; LOGIC PROGRAMMING;

DISTRIBUTION SEMANTICS; MARGINALIZATION; PROBABILISTIC LOGIC PROGRAMS; PROBABILISTIC ONTOLOGIES; PROBABILISTIC THEORY;

PROBABILITY DISTRIBUTIONS;

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

References (26)

1. Carvalho, R.N., Laskey, K.B., Costa, P.C.: PR-OWL 2.0 - bridging the gap to OWL semantics. In: International Workshops on Uncertainty Reasoning for the Semantic Web (2010)
2. Costa, P.C.G., Laskey, K.B., Laskey, K.J.: Pr-owl: A bayesian ontology language for the semantic web. In: International Workshops on Uncertainty Reasoning for the Semantic Web. vol. 5327, pp. 88-107. Springer (2008)
3. De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: International Joint Conference on Artificial Intelligence. pp. 2462-2467 (2007)
4. Ding, Z., Peng, Y.: A probabilistic extension to ontology language OWL. In: Hawaii International Conference On System Sciences. IEEE (2004)
5. Giugno, R., Lukasiewicz, T.: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. In: European Conference on Logics in Artificial Intelligence. LNCS, vol. 2424, pp. 86-97. Springer (2002)
6. Heinsohn, J.: Probabilistic description logics. In: Conference on Uncertainty in Artificial Intelligence. pp. 311-318. Morgan Kaufmann (1994)
7. Jaeger, M.: Probabilistic reasoning in terminological logics. In: International Conference on Principles of Knowledge Representation and Reasoning. pp. 305-316 (1994)
8. Kimmig, A., Demoen, B., Raedt, L.D., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language problog. Theory Pract. Log. Program. 11(2-3), 235-262 (2011)
9. Klinov, P.: Pronto: A non-monotonic probabilistic description logic reasoner. In: European Semantic Web Conference. LNCS, vol. 5021, pp. 822-826. Springer (2008)
10. Koller, D.: Probabilistic relational models. In: International Workshop on Inductive Logic Programming. LNCS, vol. 1634, pp. 3-13. Springer (1999)
11. Koller, D., Levy, A.Y., Pfeffer, A.: P-classic: A tractable probablistic description logic. In: National Conference on Artificial Intelligence. pp. 390-397 (1997)
12. Laskey, K.B., da Costa, P.C.G.: Of starships and klingons: Bayesian logic for the 23rd century. In: Conference in Uncertainty in Artificial Intelligence. pp. 346-353. AUAI Press (2005)
13. Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1-3), 35-88 (2002)
14. Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6-7), 852-883 (2008)
15. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem. 6(4), 291-308 (2008)
16. Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71-87 (1986)
17. Obrst, L., McCandless, D., Stoutenburg, S., Fox, K., Nichols, D., Prausa, M., Sward, R.: Evolving use of distributed semantics to achieve net-centricity. In: AAAI Fall Symposium (2007)
18. Patel-Schneider, P.F., Horrocks, I., Bechhofer, S.: Tutorial on OWL (2003), http: //www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/
19. Poole, D.: Abducing through negation as failure: stable models within the independent choice logic. J. of Log. Program. 44(1-3), 5-35 (2000)
20. Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62(1-2), 107-136 (2006)
21. Riguzzi, F.: Extended semantics and inference for the Independent Choice Logic. Log. J. IGPL 17(6), 589-629 (2009)
22. Sato, T.: A statistical learning method for logic programs with distribution semantics. In: International Conference on Logic Programming. pp. 715-729. MIT Press (1995)
23. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem. 5(2), 51-53 (2007)
24. URW3-XG: Uncertainty reasoning for the World Wide Web, final report, http: //www.w3.org/2005/Incubator/urw3/XGR-urw3/
25. Valiant, L.G.: The complexity of enumeration and reliability problems. SIAM J. Comp. 8(3), 410-421 (1979)
26. Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: International Conference on Logic Programming. LNCS, vol. 3131, pp. 195-209. Springer (2004)