From: Benjamin Grosof (bgrosof@mit.edu)
Date: 06/04/04
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
efforts.
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!
Best,
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