On Sep 25, 2009, at 3:05 PM, Joe Collins wrote: (01)
> PH> ... but we ought to provide some axioms relating our notions
>> to appropriate higher-level categories, if only in order to provide
>> a guide to those whose task it is to write such axioms. Can people
>> use 'mass' as a function on physical objects, for example?
>
>
> YES.
> "Mass" can be interpreted as a function applied to a physical object.
> An algorithm that evaluates this function is a weighing procedure. (02)
Yes, quite. That wasn't an actual question, but a rhetorical point
about ontology construction. Should we write 'mass' as an actual
logical function in our axioms, is the question. I think we should,
indeed. But then we are under an obligation to say what the domain and
range of that function are. And so we are obliged to at least *refer
to* physical objects, etc.. Which was the point at issue. (03)
Pat (04)
>
> jbc
> --
> _______________________________
> Joseph B. Collins, Ph.D.
> Code 5583, Adv. Info. Tech.
> Naval Research Laboratory
> Washington, DC 20375
> (202) 404-7041
> (202) 767-1122 (fax)
> B34, R221C
> _______________________________
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
> Shared Files: http://ontolog.cim3.net/file/work/UoM/
> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>
> (05)
------------------------------------------------------------
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 (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
Shared Files: http://ontolog.cim3.net/file/work/UoM/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard (07)
|