RE: Joint Committee telecon today 10 August -- FOL RuleML adapted

From: Boley, Harold ([email protected])
Date: 08/10/04

  • Next message: Benjamin Grosof: "notes from today's 8/10/04 Joint Committee telecon on SWRL-FOL spec and workplans, and future of JC"
    > SWRL FOL proposals (all - 30 min)
    >
    >   ...
    >
    >   FOL RuleML [2]
    >
    >   ...
    >
    > [2] http://www.ruleml.org/fol/
    
    I adapted FOL RuleML so that the 'declare' and 'formula' roles can be
    omitted.
    
    Here is Peter's example using the modified FOL RuleML 0.7
    (http://www.ruleml.org/fol) as part of the XML Concrete Syntax
    (thus updating http://www.daml.org/listarchive/joint-committee/1752.html):
    
    <Assertion owlx:name="Example">
      <owlx:Annotation>
        <owlx:Label>Example Rule for Expository Purposes</owlx:Label>
      </owlx:Annotation>
      <Forall>
          <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>
          <And>
    	  <swrlx:IndividualPropertyAtom swrlx:property="hasParent"> 
              <ruleml:Var>x1</ruleml:Var>
              <ruleml:Var>x2</ruleml:Var>
            </swrlx:IndividualPropertyAtom> 
            <swrlx:IndividualPropertyAtom swrlx:property="hasBrother"> 
              <ruleml:Var>x2</ruleml:Var>
              <ruleml:Var>x3</ruleml:Var>
            </swrlx:IndividualPropertyAtom> 
            <swrlx:DatatypePropertyAtom swrlx:property="hasAge"> 
              <ruleml:Var>x2</ruleml:Var>
              <ruleml:Var>x4</ruleml:Var>
            </swrlx:DatatypePropertyAtom> 
          </And>
      </Forall>
    </Assertion>
    
    -- Harold
    


    This archive was generated by hypermail 2.1.4 : 08/10/04 EST