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

• Previous message: [email protected]: "Re: [Joint Committee] regrets"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

> 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

• Next message: Benjamin Grosof: "notes from today's 8/10/04 Joint Committee telecon on SWRL-FOL spec and workplans, and future of JC"
• Previous message: [email protected]: "Re: [Joint Committee] regrets"
• 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 : 08/10/04 EST