RE: Joint Committee telecon tomorrow 7 December

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

  • Next message: Ian Horrocks: "Joint Commitee teleconf 14 the Dec" 
    Peter wrote here:

> I proposed three possibilities for my SWRL FOL document:

> 2/ With the stuff on nary and functions in an appendix.

> My prefernce is the second option above and to that end I have put a
> version of such a modification of the document at the usual place,
> http://www-db.research.bell-labs.com/user/pfps/swrl/fol.html

I agree.

Peter wrote there:

> A.2 XML Syntax
>
> The XML syntax for SWRL FOL can be extended to encompass these constructs,
> using the method for slotted arguments in RuleML [???]. 

N-ary relations with named arguments can be expressed in FOL RuleML
with Slots.

Peter's Abstract Syntax sample formula with an n-ary relationship is
(http://www-db.research.bell-labs.com/user/pfps/swrl/fol.html#A.3):

forall( I-variable(ex:x ex:FantasyNovel)
      Purchase(buyer=ex:peter seller=ex:amazon object=ex:x
quantity="1"^xsd:int))

Here is its XML Syntax in Slotted FOL RuleML (with two XML attributes:
type for webized classes and wid and for webized individuals):

<Forall>
  <Var type="ex:FantasyNovel">x</Var>
  <Atom>
    <Rel>Purchase</Rel>
    <Slot>
      <Ind>buyer</Ind>
      <Ind wid="ex:peter"/>
    </Slot>
    <Slot>
      <Ind>seller</Ind>
      <Ind wid="ex:amazon"/>
    </Slot>
    <Slot>
      <Ind>object</Ind>
      <Var>x</Var>
    </Slot>
    <Slot>
      <Ind>quantity</Ind>
      <Ind type="xsd:int">1</Ind>
    </Slot>
  </Atom>
</Forall>

-- Harold

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