Yes, PR-OWL is a fusion of OWL + Bayesian Semantics, and is the result of Paulo Costa’s GMU dissertation. However, the foundation was laid in Kathy Laskey’s multi-entity Bayesian networks (MEBN) work, which is a FOL + probability formalism.
Costa, Paulo; Kathryn Blackmond Laskey. 2006. PR-OWL: A Framework for Probabilistic Ontologies. Proceedings of the Fourth International Conference on Formal Ontology in Information Systems. November 2006. http://ite.gmu.edu/~klaskey/papers/FOIS2006_CostaLaskey.pdf.
Also, the URL Simon provided http://www.pr-owl.org/index.php has most of the references.
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@xxxxxxxxx Information Discovery & Understanding, Command & Control Center
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Simon Spero
Sent: Friday, December 03, 2010 6:45 PM
Subject: Re: [ontolog-forum] Ontologies for hybrid connectionist-semantic systems
I don't know how close this gets to what's being asked for, but Paul Costas's work on PR-OWL might be relevant. See e.g. http://www.pr-owl.org/index.php
I don't know if this specific proposal is being actively developed?