Tractable probabilistic description logic programs

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

Volumn 4772 LNAI, Issue , 2007, Pages 143-156

  Lukasiewicz, Thomas ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; POLYNOMIALS; PROBABILISTIC LOGICS; QUERY PROCESSING; SEMANTICS;

DATA COMPLEXITY; POLYNOMIAL TIME; PROBABILISTIC DATA INTEGRATION; PROBABILISTIC QUERIES;

LOGIC PROGRAMMING;

EID: 38149131202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75410-7_11     Document Type: Conference Paper

References (19)

1. Berners-Lee, T.: Weaving the Web. Harper, San Francisco, CA (1999)
2. Baral, C., Gelfond, M., Rushton, J.N.: Probabilistic reasoning with answer sets. In: Proc. LPNMR-2004, pp. 21-33 (2004)
3. Call, A., Lukasiewicz, T.: An approach to probabilistic data integration for the Semantic Web. In: Proc. URSW-2006 (2006)
4. Call, A., Lukasiewicz, T.: Tightly integrated probabilistic description logic programs for the Semantic Web. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 428-429. Springer, Heidelberg (2007)
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proc. KR-2006, pp. 260-270 (2006)
6. da Costa, P.C.G., Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proc. FOIS-2006, pp. 237-249 (2006)
7. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. In: Proc. KR-2004, pp. 141-151 (2004)
8. Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Well-founded semantics for description logic programs in the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 81-97. Springer, Heidelberg (2004)
9. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and deductive databases, New Generation Computing 17, 365-387 (1991)
10. Giugno, R., Lukasiewicz, T.: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the Semantic Web. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 86-97. Springer, Heidelberg (2002)
11. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4), 345-357 (2004)
12. Kersting, K., De Raedt, L.: Bayesian logic programs. CoRR, cs.AI/0111058 (2001)
13. Lukasiewicz, T.: A novel combination of answer set programming with description logics for the Semantic Web. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 384-398. Springer, Heidelberg (2007)
14. Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. 45(2), 288-307 (2007)
15. Pan, R., Ding, Z., Yu, Y., Peng, Y.: A Bayesian network approach to ontology mapping. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 563-577. Springer, Heidelberg (2006)
16. Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1-2), 7-56 (1997)
17. Udrea, O., Deng, Y., Hung, E., Subrahmanian, V.S.: Probabilistic ontologies and relational databases. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 1-17. Springer, Heidelberg (2005)
18. van Keulen, M., de Keijzer, A., Alink, W.: A probabilistic XML approach to data integration. In: Proc. ICDE-2005, pp. 459-470 (2005)
19. W3C. OWL web ontology language overview, W3C Recommendation (February 10, 2004), Available at www.w3.org/TR/2004/REC-owl-features-20040210/