From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 10/25/04
From: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca> Subject: RE: updated FOL document Date: Sun, 24 Oct 2004 16:41:41 -0400 > Here are some editing suggestions: > > > * 3.1.: > > An formula is satisfied by a binding ... > ---> > A formula is satisfied by a binding ... Fixed. > * 3.1., 4., http://www-db.research.bell-labs.com/user/pfps/swrl/fol.xsd: > > In telecon 9/14/2004 we decided to use Neg rather than Not > (cf. http://www.daml.org/listarchive/joint-committee/1795.html). > Recall: "There can be semantically good Neg's and bad Not's." Done. > * 4.: > > The following XML concrete syntax closely follows the XML concrete syntax > for > <a href="http://www.ruleml.org/fol/"First-Order-Logic Rule ML > (http://www.ruleml.org/fol/)></a>, ... > ---> > The following XML concrete syntax closely follows the XML concrete syntax > for > <a href="http://www.ruleml.org/fol/">First-Order-Logic RuleML > (http://www.ruleml.org/fol/)</a>, ... Fixed. > The details of extending the XML syntax for OWL are left to the reader. > ---> > The details of extending the XML syntax for OWL are a topic of the ongoing > OWL-RuleML collaboration. Changed > * http://www-db.research.bell-labs.com/user/pfps/swrl/fol.xsd: > > <xsd:complexType name="quantifier"> > . . . > <xsd:group name="formulae" minOccurs="1" maxOccurs="unbounded"> > . . . > ---> > <xsd:complexType name="quantifier"> > . . . > <xsd:group name="formula" minOccurs="1" maxOccurs="1"> > . . . Not changed. Forall and Exists allow multiple quantifiers. > * 4., http://www-db.research.bell-labs.com/user/pfps/swrl/fol.xsd: > > "owlf:quantifier", name="quantifier" > ---> > "owlf:quantiformula", name="quantiformula" > Not changed. These are quantifiers, not quanitified formulae. > * 5.: > > The FOL RuleML syntax should now be used as shown in the SWRL FOL RuleML > subsection of FOL RuleML version 0.89 (http://www.ruleml.org/fol/#SWRL). > E.g.: Type tags Var, And, etc. should be capitalized, as in 4. > Rationale: The JC recommended to use this new convention to distinguish > these from role tags, e.g. head, body (rather than the old _head, _body). Changed. Also changed the XML syntax definitions. > -- Harold peter > > -----Original Message----- > From: owner-joint-committee@wrath.daml.org > [mailto:owner-joint-committee@wrath.daml.org] On Behalf Of Peter F. > Patel-Schneider > Sent: October 20, 2004 10:26 AM > To: joint-committee@daml.org > Subject: Re: updated FOL document > > I added a link to the separate XML Schema document. > > peter > > > At 02:15 PM 10/18/2004 -0400, Peter F. Patel-Schneider wrote: > > >I updated the FOL document, available, as usual, at > > > > > > http://www-db.research.bell-labs.com/user/pfps/swrl/fol.html > > > > > >Changes amount to: > > >1/ adding a short discussion of the relationship to vanilla FOL > > >2/ adding an XML Schema doc for the XML concrete syntax > > > > > >I also made a few minor changes elsewhere. > > > > > >peter
This archive was generated by hypermail 2.1.4 : 10/25/04 EST