On Mar 20, 2008, at 6:28 AM, Peter F. Patel-Schneider wrote: > Umm, well, I really was kind of hoping that > http://www.w3.org/2007/OWL/wiki/OWL_XML_Schema could serve as the > source > of (or even be) the *actual* OWL XML Schema. Changing < to < makes > that much more difficult, I think. Much? In order to have the same source work for both the wiki and the source document, we will need to do something. At a minimum, the wiki page will need to be retrieved via something like http://www.w3.org/ 2007/OWL/wiki/OWL_XML_Schema?action=raw and moved to where it needs to live. On the way it can be run through a sed script. wget -q http://www.w3.org/2007/OWL/wiki/OWL_XML_Schema?action=raw -O - | sed 's/</\</g' Alternatively we can write a small wiki extension that manages this on the wiki side. -AlanReceived on Thursday, 20 March 2008 14:33:14 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 20 March 2008 14:33:16 GMT