RE: Joint Committee telecon today 2 November

From: Boley, Harold (Harold.Boley@nrc-cnrc.gc.ca)
Date: 11/02/04

Next message: Mike Dean: "SWRL FOL released"

Previous message: Peter F. Patel-Schneider: "Re: Joint Committee telecon today 2 November"
Maybe in reply to: Mike Dean: "Joint Committee telecon today 2 November"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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

Next message: Mike Dean: "SWRL FOL released"
Previous message: Peter F. Patel-Schneider: "Re: Joint Committee telecon today 2 November"
Maybe in reply to: Mike Dean: "Joint Committee telecon today 2 November"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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