>Chris,
>
>I just wanted to add some further second thoughts
>about my latest definition:
>
>In CL, there is no distinction within any text
>about the names that occur in it. (01)
True, though a CL dialect could have a local name
declaration ability if it wanted to do that. (02)
> There is no way
>to say whether a name that appears in one or more
>axioms is intended to be a definition of that name
>or any other name. (03)
I belive this is true of almost all logical
notations except ANSII KIF, which is now obsolete. (04)
> Names just appear in CL statements.
>
>It may happen that a given set of CL statements may
>determine a type or relation for which there is
>a unique model, but some axioms permit multiple
>models for some of the names.
>
>Therefore, it might be better to avoid the word
>"define" (05)
It seems we agree on this. (06)
>and just say that some names are imported,
>others are exported, and others occur only within
>a particular theory. The statements about which
>terms are imported or exported would be metalanguage
>about the theory, and they would be stated in CL
>itself. (07)
I don't think names are imported. Rather,
ontologies (in CL, texts or modules) import other
ontologies (t or ms). Similarly in OWL. There is
no need to import a name on the SWeb: all names
are global in scope in any case. (08)
BTW, 'import' is poorly named, suggesting as it
does the idea of local copying. Semantically,
what it means to put the statement 'import B' in
A is that asserting A then also asserts B. So it
might be better transcribed as "reiterates" or
"endorses". (09)
Pat (010)
>John
>
>_________________________________________________________________
>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
> (011)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (012)
_________________________________________________________________
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 (013)
|