PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
Manfred Jaeger · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 2006
We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations is given.