ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Definition Set 1

To: Chris Menzel <cmenzel@xxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: SemWeb <semantic-web@xxxxxx>
From: Jon Awbrey <jawbrey@xxxxxxx>
Date: Tue, 07 Aug 2007 23:10:24 -0400
Message-id: <46B93420.C172FF3F@xxxxxxx>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (01)

Chris,    (02)

I should have noted that those ''...'' markings are wikispeak
for italics, the customary usage for variables.  I've gotten
where doing that is a nearly unconscious automatism of my
parsing routine.  I use '..' or "..." for quotations.    (03)

Jon    (04)

CM: I thank Jon for his surgery on my post.  I take very mild exception
    only to his introduction of several sets of quotation marks into the
    discussion of first order logic.  Thus, I'd prefer to return that
    paragraph to its original state:    (05)

CM: Jon had put double quotes around 'S' and 'A' above.  However, in the
    discussion, they are serving as metavariables, ranging over sets and
    formulas, respectively.  Hence, as I was using them, they should not
    be quoted.    (06)

CM: A minor point, admittedly, but picky, I mean "picky",
    is my middle name. :-)    (07)

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
¢iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-UserTalk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o    (08)


_________________________________________________________________
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    (09)

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