From: Boley, Harold (Harold.Boley@nrc-cnrc.gc.ca)
Date: 10/24/04
Here are some editing suggestions: * 3.1.: An formula is satisfied by a binding ... ---> A formula is satisfied by a binding ... * 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." * 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>, ... 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. * 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"> . . . * 4., http://www-db.research.bell-labs.com/user/pfps/swrl/fol.xsd: "owlf:quantifier", name="quantifier" ---> "owlf:quantiformula", name="quantiformula" * 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). -- Harold -----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/24/04 EST