Tractable reasoning with bayesian description logics

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

Volumn 5291 LNAI, Issue , 2008, Pages 146-159

  D'Amato, Claudia ^a   Fanizzi, Nicola ^a   Lukasiewicz, Thomas ^b,c  

^a UNIVERSITY OF BARI   (Italy)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Bayesian description logics; Bayesian networks; Description logics; DL Lite; Ontologies; Semantic web; Tractable reasoning

Indexed keywords

BAYESIAN; DESCRIPTION LOGIC; DESCRIPTION LOGICS; ONTOLOGIES SEMANTIC WEB; TRACTABLE REASONING;

BAYESIAN NETWORKS; DISTRIBUTED PARAMETER NETWORKS; INFERENCE ENGINES; INTELLIGENT NETWORKS; ONTOLOGY; PROBABILISTIC LOGICS; QUERY LANGUAGES; QUERY PROCESSING; SEMANTIC WEB; SEMANTICS;

DATA DESCRIPTION;

EID: 77149123336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87993-0_13     Document Type: Conference Paper

References (29)

1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable description logics for ontologies. In: Proceedings AAAI 2005, pp. 602-607. AAAI Press/MIT Press (2005)
3. da Costa, P.C.G., Laskey, K.B.: PR-OWL: A framework for probabilistic ontologies. In: Proceedings FOIS 2006, pp. 237-249. IOS Press, Amsterdam (2006)
4. da Costa, P.C.G., Laskey, K.B., Laskey, K.J.: PR-OWL: A Bayesian ontology language for the Semantic Web. In: Proceedings URSW2005, pp. 23-33 (2005)
5. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
6. 2 2007) (2007)
7. Ding, Z., Peng, Y.: A probabilistic extension to ontology language OWL. In: Proceedings HICSS 2004 (2004)
8. Ding, Z., Peng, Y., Pan, R.: BayesOWL: Uncertainty modeling in SemanticWeb ontologies. In:Ma, Z. (ed.) Soft Computing in Ontologies and SemanticWeb. Studies in Fuzziness and Soft Computing, vol. 204, Springer, Heidelberg (2006)
9. Fukushige, Y.: Representing probabilistic knowledge in the SemanticWeb. In: Proceedings of the W3C Workshop on Semantic Web for Life Sciences, Cambridge, MA, USA (2004)
10. Lukasiewicz, T., Giugno, R.: 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. Grimm, S., Motik, B., Preist, C.: Variance in e-business service discovery. In: Proceedings of the ISWC 2004 Workshop on Semantic Web Services (2004)
12. Heinsohn, J.: Probabilistic description logics. In: Proceedings UAI 1994, pp. 311-318. Morgan Kaufmann, San Francisco (1994)
13. Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings KR 1994, pp. 305-316. Morgan Kaufmann, San Francisco (1994)
14. Jaeger, M.: Probabilistic role models and the guarded fragment. In: Proc. IPMU 2004, pp. 235-242 (2004); Extended version in Int. J. Uncertain. Fuzz., 14(1), 43-60 (2006)
15. Jensen, F.V.: Bayesian Networks and Decision Graphs. Springer, Heidelberg (2001)
16. Klinov, P.: Pronto: A non-monotonic probabilistic description logic reasoner. In: System demo at ESWC 2008 (2008)
17. Koller, D., Levy, A., Pfeffer, A.: P-CLASSIC: A tractable probabilistic description logic. In: Proceedings AAAI 1997, pp. 390-397. AAAI Press/MIT Press (1997)
18. Lukasiewicz, T.: Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res. 10, 199-241 (1999)
19. Lukasiewicz, T.: Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell. 34(1-3), 35-88 (2002)
20. Lukasiewicz, T.: Expressive probabilistic description logics. Artif. Intell. 172(6/7), 852-883 (2008)
21. Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. J. Web Sem. (in press)
22. Mitra, P., Noy, N.F., Jaiswal, A.: OMEN: A probabilistic ontology mapping tool. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 537-547. Springer, Heidelberg (2005)
23. Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71-88 (1986)
24. Nottelmann, H., Fuhr, N.: Adding probabilities and rules to OWL Lite subsets based on probabilistic Datalog. Int. J. Uncertain. Fuzz. 14(1), 17-42 (2006)
25. Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)
26. Pool, M., Aikin, J.: 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)
27. Smyth, C., Poole, D.: Qualitative probabilistic matching with hierarchical descriptions. In: Proceedings KR 2004, pp. 479-487. AAAI Press, Menlo Park (2004)
28. Yang, Y., Calmet, J.: OntoBayes: An ontology-driven uncertainty model. In: Proceedings IAWTIC 2005, pp. 457-463. IEEE Computer Society Press, Los Alamitos (2005)
29. Yelland, P.M.: An alternative combination of Bayesian networks and description logics. In: Proceedings KR 2000, pp. 225-234. Morgan Kaufmann, San Francisco (2000)