- From: Alan Ruttenberg <alanruttenberg@gmail.com>
- Date: Thu, 20 Mar 2008 10:35:01 -0400
- To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>, "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>
The set was in the wrong direction (I was using for testing, as you had already reverted to the prior version - why?) Anyways, it should be wget -q http://www.w3.org/2007/OWL/wiki/OWL_XML_Schema?action=raw -O - | sed 's/\</</g' -Alan On Mar 20, 2008, at 10:32 AM, Alan Ruttenberg wrote: > > 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. > > -Alan >
Received on Thursday, 20 March 2008 14:35:41 UTC