Probabilistic Query Answering in the Bayesian Description Logic \mathcal {BE{}L}
作者： İsmail İlkan Ceylan , Rafael Peñaloza
DOI: 10.1007/978-3-319-23540-0_2
关键词:
摘要: \(\mathcal {BE{}L}\) is a probabilistic description logic (DL) that extends the light-weight DL {E{}L}\) with joint probability distribution over axioms, expressed help of Bayesian network (BN). In recent work it has been shown complexity standard logical reasoning in same as performing inferences BN.
springer.com
sci-hub.st 参考文章(30)
Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Query answering under probabilistic uncertainty in Datalog+ / - ontologies Annals of Mathematics and Artificial Intelligence. ,vol. 69, pp. 37- 72 ,(2013) , 10.1007/S10472-013-9342-1
Mark Chavira, Adnan Darwiche, On probabilistic inference by weighted model counting Artificial Intelligence. ,vol. 172, pp. 772- 799 ,(2008) , 10.1016/J.ARTINT.2007.11.002
Richard Beigel, Nick Reingold, Daniel Spielman, PP is closed under intersection symposium on the theory of computing. ,vol. 50, pp. 1- 9 ,(1991) , 10.1145/103418.103426
Nilesh Dalvi, Dan Suciu, Efficient query evaluation on probabilistic databases very large data bases. ,vol. 16, pp. 523- 544 ,(2004) , 10.1007/S00778-006-0004-3
Erich Grädel, Yuri Gurevich, Colin Hirsch, The complexity of query reliability symposium on principles of database systems. pp. 227- 234 ,(1998) , 10.1145/275487.295124
Thomas Lukasiewicz, Umberto Straccia, Managing uncertainty and vagueness in description logics for the Semantic Web Journal of Web Semantics. ,vol. 6, pp. 291- 308 ,(2008) , 10.1016/J.WEBSEM.2008.04.001
E. Hung, L. Getoor, V.S. Subrahmanian, PXML: a probabilistic semistructured data model and algebra international conference on data engineering. pp. 467- 478 ,(2003) , 10.1109/ICDE.2003.1260814
S. Toda, On the computational power of PP and (+)P foundations of computer science. pp. 514- 519 ,(1989) , 10.1109/SFCS.1989.63527
Serge Abiteboul, Pierre Senellart, Querying and Updating Probabilistic Information in XML Lecture Notes in Computer Science. pp. 1059- 1068 ,(2006) , 10.1007/11687238_62
Stefan Schulz, Boontawee Suntisrivaraporn, Franz Baader, Martin Boeker, SNOMED reaching its adolescence: ontologists' and logicians' health check. International Journal of Medical Informatics. ,vol. 78, ,(2009) , 10.1016/J.IJMEDINF.2008.06.004