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