RE: new version of my FOL extension

From: Boley, Harold (Harold.Boley@nrc-cnrc.gc.ca)
Date: 07/07/04

Next message: Mike Dean: "Joint Committee telecon tomorrow 13 July"

Previous message: Mike Dean: "RE: new version of my FOL extension"
Maybe in reply to: Peter F. Patel-Schneider: "new version of my FOL extension"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> 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 (http://www.ruleml.org/fol)
as part of the XML Concrete Syntax:

<Assertion owlx:name="Example">
  <owlx:Annotation>
    <owlx:Label>Example Rule for Expository Purposes</owlx:Label>
  </owlx:Annotation>
  <Forall>
    <declare>
      <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>
    </declare>
    <formula>
      <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>
    </formula>
  </Forall>
</Assertion> 

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
in http://www.ruleml.org/fol).

-- Harold

Next message: Mike Dean: "Joint Committee telecon tomorrow 13 July"
Previous message: Mike Dean: "RE: new version of my FOL extension"
Maybe in reply to: Peter F. Patel-Schneider: "new version of my FOL extension"
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 : 07/07/04 EST