[SCL] Second version of the SCL draft spec here

[pat hayes]

>Chris Menzel wrote:
>>On Sat, Nov 01, 2003 at 04:05:05PM +0200, Tanel Tammet wrote:
>>
>>>Hi,
>>>
>>>After both reading the discussion from the last few days and
>>>doing some additional thinking, I have made some modifications
>>>and additions to the SCL draft spec.
>>
>>I am working on the 1 Nov version of Tanel's document.  I'll try to have
>>something out in the next couple of days that cleans up the syntax and
>>spells out the section on identity.
>
>Chris,
>
>Not wanting to add too much to your workload, but one of the things
>I'd really appreciate would be that all "major" components of the
>SCL spec have HTML link anchors on them, so that they establish URLs
>which can be used to identify them when people build from the SCL
>spec.

Good idea if those are just XHTML anchors, but...

>This is what I've described before as "published subject
>identifiers" (PSIs), and is what essentially is used in OWL, Dublin
>Core, etc. By "major" components, I would include anything that a
>derived concrete syntax might need to connect it up with the SCL
>abstract syntax, either in prose or in machine code/markup.
>
>For example, owl:Thing is defined in XML by "Thing" in the "owl"
>namespace. There's also the URL
>
>    http://www.w3.org/2002/07/owl#Thing

BUt the *denotative* status of such URIrefs is highly controversial; 
the W3C TAG group is in turmoil about this very issue even as we 
speak.

I agree that this would be worth doing, but we need to be extremely 
clear what exactly it is that we take these names to be denoting, 
particularly in the abstract-syntax framework.

This would be well worth discussing, in fact. What does the name of 
an abstract syntactic category denote, exactly? This is relevant to 
any attempt to include a quotation mechanism into the SCL core.

>
>So essentially, I'd like to see something akin to
>
>    http://cl.tamu.edu/docs/scl/1.0/#Id
>    http://cl.tamu.edu/docs/scl/1.0/#Neg
>    http://cl.tamu.edu/docs/scl/1.0/#Conj
>    ...
>    http://cl.tamu.edu/docs/scl/1.0/#formula
>    http://cl.tamu.edu/docs/scl/1.0/#and
>    http://cl.tamu.edu/docs/scl/1.0/#or
>    etc.
>
>Absent such URIs it will be more difficult to establish subject
>identity between an SCL construct and a derived language version
>of it. This will also help in developing the XML markup language
>itself, and may be a demonstrable tie-in with the abstract syntax.
>
>Thanks,
>
>Murray
>
>......................................................................
>Murray Altheim                    http://kmi.open.ac.uk/people/murray/
>Knowledge Media Institute
>The Open University, Milton Keynes, Bucks, MK7 6AA, UK               .
>
>  White House defiant despite deadliest strike on forces since end of war
>    http://www.guardian.co.uk/Iraq/Story/0,2763,1076578,00.html
>  US defiant after Baghdad attack
>    http://news.bbc.co.uk/1/hi/world/middle_east/3186074.stm
>  US defiant on X-Ray prisoners
>    http://old.smh.com.au/news/0202/10/world/world7.html
>  US defiant on war crimes court
>    http://www.cnn.com/2002/WORLD/europe/07/01/bosnia.peacekeeping/?related
>  US stands defiant despite isolation in climate debate
>    http://www.guardian.co.uk/bush/story/0,7369,526607,00.html
>  US defiant and unrepentant over largest chemical warfare campaign in history
>    http://www.guardian.co.uk/weekend/story/0,3605,923715,00.html
>  Americans defiant over growing divisions with Europe
>    http://www.telegraph.co.uk/news/main.jhtml?xml=/news/2002/02/06/wter106.xml
>  US defiant over missile defense
> 
>http://www.globalsecurity.org/space/library/news/2001/space-010717-wwwh1j17.htm
>  Bush defiant over 'Bin Laden tape'
>    http://news.bbc.co.uk/1/hi/world/middle_east/3204612.stm
>  Bush defiant ahead of visit to Britain
>    http://fpeng.peopledaily.com.cn/200107/18/eng20010718_75285.html
>  'Bring them on,' defiant Bush warns Iraqi militants
>    http://seattletimes.nwsource.com/html/nationworld/135155984_iraq03.html
>  Greenhouse gas emissions soar in defiant US
>    http://observer.guardian.co.uk/international/story/0,6903,515198,00.html
>  Europe seethes as defiant US goes its own way
>    http://www.guardian.co.uk/bush/story/0,7369,747743,00.html
>  Defiant US threatens UNs peacekeeping role
>    http://www.abc.net.au/7.30/s596992.htm
>  US isolated but defiant on Cuba sanctions
>    http://www.sunsonline.org/trade/process/followup/1996/04160196.htm
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes