Complexity Analysis and Variational Inference for Interpretation-based Probabilistic Description Logic

05/09/2012
by   Fabio Gagliardi Cozman, et al.
0

This paper presents complexity analysis and variational methods for inference in probabilistic description logics featuring Boolean operators, quantification, qualified number restrictions, nominals, inverse roles and role hierarchies. Inference is shown to be PEXP-complete, and variational methods are designed so as to exploit logical inference whenever possible.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset