New list - w3c-formal-assertion-testbed - maintained by sandro@w3.org

[Disregard my last message[1] stating this was w3t-formal-assertion-testbed.
I had inadvertently made this a Team vs. Public list.  simon]

Purpose:

ListPurpose: Email sent to this list will be deemed to
contain true statements in some formal
language (embedded in the text with XML).
Semantic Web agents can subscribe to the list
or read the archives to get some grist for
processing.

The expectation is that e-mails sent here will
be fairly small, containing mostly pointers to
large knowledge bases, or be normal text messages
which happen to contain some formal part and
are CC'd to this list


1.  http://lists.w3.org/Archives/Team/w3t-formal-assertion-testbed/2001Mar/0000.html


-- 
Simon J. Hernandez | http://www.w3.org/People/Simon/ | mailto:simon@w3.org
World Wide Web Consortium                                http://www.w3.org
MIT Laboratory for Computer Science, 200 Technology Square   Room NE43-340
Cambridge, MA 02139 USA       Voice: +1.617.253.2920  Fax: +1.617.258.5999

Received on Monday, 12 March 2001 10:54:07 UTC