ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] mKR (was Thing and Class)

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 15 Sep 2008 14:53:57 -0500
Message-id: <21877F9E-48BD-4A55-A966-79F486BAE480@xxxxxxx>

On Sep 15, 2008, at 12:50 PM, Chris Mungall wrote:    (01)

>
> On Sep 15, 2008, at 9:48 AM, Pat Hayes wrote:
>
>> Could you briefly outline what these 'pitfalls' are? So far, formal
>> logic seems to me to be doing rather well. All the extent work in
>> applied ontology (and I really do mean ALL) is based on techniques  
>> and
>> analytical tools developed by formal logicians.
>
> Do you really mean ALL?
>
> I guess the truth of the statement depends on how you define "applied
> ontology".
>    (02)

Probably. I was intending to refer to work involving actual nontrivial  
ontologies, rather than simply taxonomies or databases re-named using  
the "O" word.    (03)

> Almost all the real-world applications of ontologies I am aware of (in
> bioinformatics) are in the realm of data mining.    (04)

That is one important application. But let me ask: which bioinformatic  
ontologies does this work utilize? How are they expressed? What kinds  
of semantics applies to the languages in which the ontologies are  
written?    (05)

> The extant work is
> largely done - for better or for worse - using techniques and tools
> developed by stats and probabilistic modeling savvy folks who wouldn't
> know a modus ponens from a modus tollens.    (06)

No doubt many programs are written by folk who wouldnt know a hash  
table from a shopping list, but nevertheless, the tools they use  
wouldn't work unless based on technology developed by people who do. A  
similar point seems to apply here.    (07)

Pat    (08)

>
>
>> Pat Hayes
>
>
> _________________________________________________________________
> 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
>
>
>    (09)

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (010)






_________________________________________________________________
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    (011)

<Prev in Thread] Current Thread [Next in Thread>