changes to fol.html and fol.xsd

From: Peter F. Patel-Schneider (
Date: 11/01/04

  • Next message: Mike Dean: "Joint Committee telecon today 2 November"
    From: "Peter F. Patel-Schneider" <>
    Subject: Re: Joint Committee telecon today 26 October
    Date: Tue, 26 Oct 2004 17:08:47 -0400 (EDT)
    > Comments on today's discussion (in the absence of our usual quasi-scribe):
    > 3/ Peter will update the XML schema in light of Mike's pointing to the SWRL
    > XML schema.
    > 5/ The document may need changing to ensure that a quantified formula
    >    can have multiple variables but only one formula. 
    > peter
    I also made some other changes to the schema.

    This archive was generated by hypermail 2.1.4 : 11/01/04 EST