V0.1 strawman of FOL extension of SWRL

From: Benjamin Grosof ([email protected])
Date: 06/04/04

  • Next message: Peter F. Patel-Schneider: "Re: V0.1 strawman of FOL extension of SWRL"
    Hi folks,
    Here's a quick strawman draft to give flavor of approach we (Benjamin and 
    Said) are proposing for the FOL extension of SWRL.  Overall, it's only 
    partially worked out, but hopefully will help kickstart our collective 
    design efforts.
    This spec is at abstract syntax level, essentially BNF, in style that maps 
    relatively closely to XML syntax encoding,
    in style of RuleML V0.8 abstract syntax from spring 2003.  We have done a 
    pass down to medium-low level not all the
    way to low level, and flagged several issues ("ISSUES" in the first part of 
    the document) some of which might be good to discuss in the JC 
    telecon.  Note the document is not as long as it appears -- the last part 
    is some appended background
    material.  Just start reading from the top, and you'll see.  :-)
    We used very verbose token names to facilitate readability for our design 
    Harold and Norman:  please send Benjamin and Said your updates and 
    comments, as side conversation before next
    JC telecon if you have time to -- we hope very much you will be 
    contributing to the next iterations of this strawman.
    Everyone:  comments are most invited!
    Benjamin and Said (he's looking over Benjamin's shoulder while sending this 
    :-) )
    Prof. Benjamin Grosof
    Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, 
    XML, Agents, Semantic Web Services
    MIT Sloan School of Management, Information Technology group
    http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof

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