[Top] [All Lists]

Re: [ontolog-forum] Adverbs (was Anthropology of Colour)

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Michael Gruninger <gruninger@xxxxxxxxxxxxxxx>
Date: Tue, 18 Mar 2008 11:48:35 -0400
Message-id: <47DFE453.8040901@xxxxxxxxxxxxxxx>

Hello Pat,    (01)

Pat Hayes wrote:    (02)

>It is gratifying to see that something as elementary as buttering a 
>piece of toast can be 'ontologized' in so few ways. By my count we 
>have only five so far. No doubt proponents of a single 
>all-encompassing representationalist strategy will find comfort in 
>this thread.
There seems to be a difference between an ontology and a 
"representational strategy".
The former is a fixed set of axioms in some language together with a fixed
nonlogical lexicon.
The latter seems to be a metatheoretical constraint (e.g. all relations 
should have a
temporal argument, events are specified by ternary relations) which is 
not axiomatized.    (03)

The difference is that a theorem prover can determine which sentences are
consistent with the axioms of an ontology, but it can't determine 
conformance with
the metatheoretic constraint.    (04)

Shouldn't we be striving to write axioms??    (05)

What constitutes a "representational strategy" in your view?    (06)

- michael    (07)

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    (08)

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