RE: new version of my FOL extension

From: Boley, Harold (
Date: 07/07/04

  • Next message: Mike Dean: "Joint Committee telecon tomorrow 13 July"
    > Here is the new version.
    > Highlights:
    > - all variables bound and typed
    > - XML syntax does not have i/d distinction
    Yes, this looks like good progress.
    The end tag of the third conjunct should have been datatypePropertyAtom.
    Here is the modified example using FOL RuleML (
    as part of the XML Concrete Syntax:
    <Assertion owlx:name="Example">
        <owlx:Label>Example Rule for Expository Purposes</owlx:Label>
          <ruleml:Var type="Person">x1</ruleml:Var>
          <ruleml:Var type="Parent">x2</ruleml:Var>
          <ruleml:Var type="Person">x3</ruleml:Var>
          <ruleml:Var type="xsd:int">x4</ruleml:Var>
    	  <swrlx:IndividualPropertyAtom swrlx:property="hasParent"> 
            <swrlx:IndividualPropertyAtom swrlx:property="hasBrother"> 
            <swrlx:DatatypePropertyAtom swrlx:property="hasAge"> 
    This follows a recent JC recommendation, in particular by Sandro, which has
    also been considered in the RuleML community before: the RuleML SC decided
    on Monday to have method-like 'role' tags start with a lower-case letter,
    and have class-like 'type' tags start with an upper-case letter (as shown
    -- Harold

    This archive was generated by hypermail 2.1.4 : 07/07/04 EST