RE: Joint Committee telecon today 2 November

From: Boley, Harold ([email protected])
Date: 11/02/04

  • Next message: Mike Dean: "SWRL FOL released"
    Today's JC telecon kept the "not vs. neg" issue open,
    as now reflected in the new FOL RuleML version:
    
    http://www.ruleml.org/fol/#Negation (last sentence)
    http://www.ruleml.org/fol/#SynSem   (last sentence)
    http://www.ruleml.org/fol/#Issues   (item 9.)
    
    -- Harold
    


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