International Workshop on
        Rule Markup Languages for Business Rules 
                 on the Semantic Web
            14 June 2002, Sardinia (Italy)

               in conjunction with the 
   First International Semantic Web Conference (ISWC2002) 
                   and hosted by 
  SIG2 (languages and standards) of the OntoWeb Network

See http://tmitwww.tm.tue.nl/staff/gwagner/RuleML-BR-SW.html

Workshop Description:

The workshop will focus on how rule markup languages, such as RuleML, 
will contribute to the vision of the Semantic Web. The Semantic Web 
offers a research perspective for automating business processes.  Rule 
markup languages, that allow to express business rules as modular, 
stand-alone units in a declarative way, and to publish them and 
exchange them between different systems and tools, will play an 
important role for facilitating business-to-customer (B2C) and 
business-to-business (B2B) interactions over the Web. 

*Derivation rules* can be included in an ontology to define derived 
concepts on top of base concepts. In this way, for instance, derived 
business terms, such as customer categories, may be defined. Whenever 
a rule refers to an incomplete predicate, for which explicit negative 
information has to be represented along with ordinary (positive)
information, a second negation, supplementing negation-as-failure,
is needed (as in the formalism of extended logic programs). Using 
this negation in the head of a rule, one can express conflicting
rules that may defeat each other. Such a language for *defeasible
rules* is useful to represent business rules allowing for exceptions.  

In addition to derivation rules, there is another type of rule which 
allows to specify the reactive and communicative behavior of a 
system or agent: *Reaction rules* -- in other contexts also called 
'event-condition-action (ECA) rules' or 'triggers'. Business rules 
that specify the various steps of a business process can be encoded 
in the form of reaction rules. A general markup language for business 
rules has to accommodate these different types of rules and support 
their interoperation. 

Important Dates:

Submission deadline:   26 April 2002 
Notification:          17 May 2002
Online version:        24 May 2002
Workshop:              14 June 2002

Workshop Co-Chairs:

Michael Schroeder ([EMAIL PROTECTED])
City Univ. London, UK
http://www.soi.city.ac.uk/~msch/

Gerd Wagner ([EMAIL PROTECTED])
Eindhoven Univ. of Technology, NL
http://www.tm.tue.nl/it/staff/gwagner/


------   XML/edi Group Discussion List   ------
Homepage =  http://www.XMLedi-Group.org

Unsubscribe =  send email to: [EMAIL PROTECTED]
Leave the subject and body of the message blank

Questions/requests:  [EMAIL PROTECTED]

To receive only one message per day (digest format) 
send the following message to [EMAIL PROTECTED], 
(leave the subject line blank) 

digest xmledi-group your-email-address

To join the XML/edi Group complete the form located at:
http://www.xmledi-group.org/xmledigroup/mail1.htm


Reply via email to