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.
>
>Pat
>
>
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)
|