ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Probabilistic Ontologies

 To: "[ontolog-forum]" "John F. Sowa" Sun, 17 Jun 2007 07:44:42 -0400 <46751EAA.4030304@xxxxxxxxxxx>
 ```Kathy,    (01) What I was asking is how a language such as IKL, which is a superset of FOL that also supports metalevel statements, could be used to represent the kinds of operations required for probability models.    (02) > What you describe is far too simplistic. It's nearly impossible > to create a probability model that way that's not either utterly > simplistic or inconsistent.    (03) I used a very simple example, but the IKL mechanisms can be used to support metalevel statements about propositions, the structural components of propositions, their relationships to numerical values, and the operations on those values.    (04) > Over the past several decades, statisticians and computer > scientists have learned a great deal about how to represent > probabilistic knowledge.    (05) I'm sure they have, but the IKL mechanisms can support those representations. Anything that can be defined in PR-OWL or BayesOWL can be defined in IKL plus much, much more. Numerical functions of any kind can be defined in the Horn-clause subset of IKL, which is a very efficient superset of OWL.    (06) > Sophisticated probability can be thought of as having two parts: > the structural and the numerical. The structural part represents: > (1) a set of random variables (uncertain features or relationships); > (2) the possible values each random variable can take on); and > (3) conditional dependency relationships.    (07) That could be represented in IKL.    (08) > For example, suppose we are trying to identify aircraft using radar > reports. Consider two entities, a flying object and a sensor. We > have two random variables: ObjectType and SensorReport. The possible > values of each of these are {FighterAircraft, OtherAircraft, Bird}. > The probability distribution for SensorReport depends on ObjectType.    (09) Could you give a specific example of the representations that are currently used (preferably in the usual math notation, not in OWL).    (010) John    (011) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (012) ```
 Current Thread Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, (continued) Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Smith, Barry Message not availableRe: [ontolog-forum] Two ontologies that are inconsistent but both needed, Pat Hayes Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Kathryn Blackmond Laskey Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Pat Hayes Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Smith, Barry Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Smith, Barry Re: [ontolog-forum] Two ontologies that are inconsistent but both needed, Conklin, Don Re: [ontolog-forum] Probabilistic Ontologies, Kathryn Blackmond Laskey Re: [ontolog-forum] Probabilistic Ontologies, John F. Sowa Re: [ontolog-forum] Probabilistic Ontologies, Kathryn Blackmond Laskey Re: [ontolog-forum] Probabilistic Ontologies, John F. Sowa <= Re: [ontolog-forum] Probabilistic Ontologies, Kathryn Blackmond Laskey Re: [ontolog-forum] Probabilistic Ontologies, Pat Hayes Re: [ontolog-forum] Probabilistic Ontologies, Kathryn Blackmond Laskey Re: [ontolog-forum] Probabilistic Ontologies, Pat Hayes Re: [ontolog-forum] Probabilistic Ontologies, John F. Sowa Re: [ontolog-forum] Probabilistic Ontologies, Waclaw Kusnierczyk Re: [ontolog-forum] Probabilistic Ontologies, Waclaw Kusnierczyk Re: [ontolog-forum] Probabilistic Ontologies, Barker, Sean (UK) Re: [ontolog-forum] Probabilistic Ontologies, Waclaw Kusnierczyk Re: [ontolog-forum] Probabilistic Ontologies, Barker, Sean (UK)