Re: [ontolog-forum] Next steps in using ontologies as standards

[paola.dimaio@xxxxxxxxx]

Chris

I dont know what part of the discussion you have followed, and what part you are in agreement with, but
the intended use of the word 'formalism as used in some earlier in this thread,  is consistent with the widely accepted definition, including wordnet, which I provided a link to.
as a last attempt to make the point, I ll specify that using the word formalism in natural languages is intended to refere to the underlying structures such as syntax....
should the intended meaning be contrasted to other definitions not better specified, then is likely to find myself in agreement too...

PDM

On Mon, Jan 26, 2009 at 6:22 AM, Chris Welty <cawelty@xxxxxxxxx> wrote:

Pat,

I've been scanning some of this ontolog discussion (I was curious why
it was generating so much traffic) and finding myself in total
agreement with you. I'm wondering when that happened.

-Chris (sent from my iPhone)

On Jan 25, 2009, at 4:58 PM, Pat Hayes <phayes@xxxxxxx> wrote:

>
> On Jan 25, 2009, at 3:41 PM, paola.dimaio@xxxxxxxxx wrote:
>
>> Hi Pat
>>
>> . Natural language is not a formalism.
>>
>> Kindly provide your definition for formalism, so that we can
>> put your authority in the right context
>>
>
> I was using the term in a linguistic/philosophical context, to mean a
> formal language or notation, the archetypical example being FOL.
> Formal in this sense means that the syntax is exactly specified in a
> formal grammar, which for these purposes can be defined to be a
> context-free EBNF grammar, though other grammar notations are
> acceptable. English, like all other natural languages, has never been
> formalized in this sense and never will be, because it is in a
> constant state of dynamic change.
>
> PatH
>
>
>> thanks!!!
>>
>> PDM
>>
>>
>
> ------------------------------------------------------------
> 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
>
>
>
>
>
>

> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx

-- 
Paola Di Maio 
**********************************

Forthcoming

i-Semantics 2009, 2 - 4 September 2009, Graz, Austria. www.i-semantics.tugraz.at

SEMAPRO 2009, Malta
http://www.iaria.org/conferences2009/RegistrationSEMAPRO09.html

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)