[Top] [All Lists]

Re: [ontolog-forum] Logic, Datalog and SQL

To: "John F. Sowa" <sowa@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 12 Feb 2007 11:59:02 -0600
Message-id: <p06230902c1f65a1e16f5@[]>
>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)

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

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