The Bayesian Description Logic ${\mathcal{BEL}}$
作者： İsmail İlkan Ceylan , Rafael Peñaloza
DOI: 10.1007/978-3-319-08587-6_37
关键词:
摘要: We introduce the probabilistic Description Logic \({\mathcal{BEL}}\). In \({\mathcal{BEL}}\), axioms are required to hold only in an associated context. The component of logic is given by a Bayesian network that describes joint probability distribution contexts. study main reasoning problems this logic; particular, we (i) prove deciding positive and almost-sure entailments not harder for \({\mathcal{BEL}}\) than BN, (ii) show how compute probability, most likely context consequence.
springer.com
sci-hub.st 参考文章(25)
Franz Baader, Terminological cycles in a description logic with existential restrictions international joint conference on artificial intelligence. pp. 325- 330 ,(2003)
Sebastian Brandt, Polynomial time reasoning in a Description Logic with existential restrictions, GCI axioms, and—what else? european conference on artificial intelligence. pp. 298- 302 ,(2004)
Avi Pfeffer, Daphne Koller, Alon Levy, P-CLASSIC: a tractable probablistic description logic national conference on artificial intelligence. pp. 390- 397 ,(1997)
Claudia d’Amato, Nicola Fanizzi, Thomas Lukasiewicz, Tractable Reasoning with Bayesian Description Logics Lecture Notes in Computer Science. ,vol. 5291, pp. 146- 159 ,(2008) , 10.1007/978-3-540-87993-0_13
Franz Baader, Martin Knechtel, Rafael Peñaloza, A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms international semantic web conference. ,vol. 5823, pp. 49- 64 ,(2009) , 10.1007/978-3-642-04930-9_4
Paulo Cesar G. da Costa, Kathryn B. Laskey, Kenneth J. Laskey, PR-OWL: a Bayesian ontology language for the semantic web international semantic web conference. pp. 23- 33 ,(2005) , 10.1007/978-3-540-89765-1_6
Adnan Darwiche, Modeling and Reasoning with Bayesian Networks ,(2014)
Paolo Besana, Dave Robertson, Probabilistic Dialogue Models for Dynamic Ontology Mapping international semantic web conference. pp. 41- 51 ,(2008) , 10.1007/978-3-540-89765-1_3
Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn, Pinpointing in the Description Logic $\mathcal {EL}^+$ KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence. pp. 52- 67 ,(2007) , 10.1007/978-3-540-74565-5_7