changes to fol.html and fol.xsd

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 11/01/04

  • Next message: Mike Dean: "Joint Committee telecon today 2 November"
    From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
    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.
    
    Done.
    
    [...]
    
    > 5/ The document may need changing to ensure that a quantified formula
    >    can have multiple variables but only one formula. 
    
    Done.
    
    [...]
    
    > peter
    
    I also made some other changes to the schema.
    
    peter
    


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