On 6/27/2010 3:34 AM, Alex Shkotin wrote:
> It would be nice to get your opinion. (01)
I don't really know what you are asking or why.
But your examples are quite reasonable. (02)
> during our research under the title "Formal Geology" this kind
> of definition arise:
> Ontology is a [part of] formal theory having interpretation
> in the real world. (03)
By interpretation, I assume you mean a Tarski-style model theory
in which the axioms are evaluated in terms of the real world.
That is a very common assumption. (04)
I assume that your sample axiom that begins "harzburgite(x) = "
has an implicit universal quantifier. The use of numeric
functions and relations is common in first-order logic. (05)
John Sowa (06)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (07)