W3C home > Mailing lists > Public > semantic-web@w3.org > May 2009

2nd CFP RuleML-2009 - 3rd International Symposium on Rules, Applications and Interoperability

From: Adrian Paschke <adrian.paschke@gmx.de>
Date: Tue, 12 May 2009 20:52:23 +0200
To: <semantic-web@w3.org>
Message-ID: <007f01c9d332$cac910d0$605b3270$@paschke@gmx.de>


         Our apologies if you receive duplicates of this posting.

    Please feel free to distribute it to those who might be interested.




                               Call for Papers


                                 RuleML 2009


   3rd International Symposium on Rules, Applications and Interoperability

                  November 5-7 2009, Las Vegas, Nevada, USA






*Latest news                                                               *

*Student grants of the value of up to $1000 plus free registration         *

*Keynote by Sandro Hawke, W3C RIF Contact -  The Future of Rule Interchange*

*Prestigious prizes and new categories in the RuleML-2009 Challenge        *




Sponsored by


Franz Inc

NICTA (National ICT Australia) Ltd

Corporate Semantic Web

Logic Programming Associated Ltd

Modelsystems Ltd




Overview and Aim


The International Symposium on Rules, Applications and Interoperability has

evolved from an annual series of international workshops since 2002,

international conferences in 2005 and 2006, and international symposia since

2007. This year, the 3rd International Symposium on Rules, Applications and

Interoperability (RuleML-2009) takes place in Las Vegas, Nevada, USA,

collocated with the 12th Business Rules Forum, the world's largest Business

Rules event. RuleML-2009 is devoted to practical distributed rule

Technologies and rule-based applications which need language standards for 

Rules (inter)operating in, e.g., the Semantic Web, Multi-Agent Systems,

Event-Driven Architectures, and Service-Oriented Applications. 


The main goal of RuleML-2009 is to stimulate the cooperation and

interoperability between business and research, by bringing together rule

system providers, participants in rule standardization efforts, open source

communities, practitioners, and researchers. The concept of the symposium

has also advanced continuously in the face of extremely rapid progress in

practical rule and event processing technologies. As a result, RuleML-2009

will feature hands-on demonstrations and challenges alongside a wide range

of thematic tracks, and thus will be an exciting venue to exchange new 

ideas and experiences on all issues related to the engineering, management,

integration, interoperation and interchange of rules in open distributed 

environments such as the Web.


Conference Theme


This year, we particularly welcome submissions that address applications of

Web rule technologies for business and information systems. We invite you to

share your ideas, results, and experiences: as an industry practitioner,

rule system provider, technical expert and developer, rule user or 

researcher, exploring foundations, developing systems and applications, 

or using rule-based systems. We invite high-quality submissions related to 

(but not limited to) one or more of the following topics:


Track Topics



Rule Transformation and Extraction

  - Transformation and extraction with rule standards, such as SBVR, RIF and


  - Extraction of rules from code

  - Transformation and extraction in the context of frameworks such as KDM

    (Knowledge Discovery meta-model)

  - Extraction of rules from natural language

  - Transformation or rules from one dialect into another


Rules and Uncertainty

  - Languages for the formalization of uncertainty rules

  - Probabilistic, fuzzy and other rule frameworks for reasoning with

    uncertain or incomplete information

  - Handling inconsistent or disparate rules using uncertainty

  - Uncertainty extensions of event processing rules, business rules,

    reactive rules, causal rules, derivation rules, association rules, 

    or transformation rules


Rules and Norms

  - Methodologies for modeling regulations using both ontologies and rules

  - Defeasibility: modeling rule exceptions and priority relations among


  - The relationship between rules and legal argumentation schemes

  - Rule language requirements for the "isomorphic" modeling of legislation

  - Rule based inference mechanism for legal reasoning

  - E-contracting and automated negotiations with rule-based declarative



Rule-based Game AI

  - Rule-based movement, decision making, strategies, behavior design

  - Rule-based environmental programming, virtual reality

  - Rules for multi-agent/character games

  - Rules for serious games

  - Rule-based agent design


Rule-based Event Processing and Reaction Rules

  - Reaction rule languages and engines (production rules, ECA rules, logic 

    event action formalisms, vocabularies/ontologies)

  - State management approaches and frameworks

  - Concurrency control and scalability

  - Event and action definition, detection, consumption, termination, 

    lifecycle management

  - Dynamic rule-based workflows and intelligent event processing

    (rule-based CEP)

  - Non-functional requirements, use of annotations, metadata to capture


  - Design time and execution time aspects of rule-based (Semantic) Business

    Processes Modeling and Management

  - Practical and business aspects of rule-based (Semantic) Business Process

    Management (business scenarios, case studies, use cases etc.)


Rules and Cross Industry Standards

  - Rules in Current Industry Standards, including:

    - XBRL: Extensible Business Reporting Language

    - MISMO: Mortgage Industry Standards Maintenance Org

    - FIXatdl: FIX Algorithmic Trading Definition Language

    - FpML: Financial products Markup Language

    - HL7: Health Level 7

    - Acord: Association for Cooperative Operations Research and Development

      (Insurance Industry)

  - Rules for Governance, Risk, & Compliance (GRC), e.g., rules for internal

    audit, SOX compliance, enterprise risk management (ERM), operational 

    risk, etc

  - Rules and Corporate Actions


General Rule Topics

  - Rules and ontologies

  - Execution models, rule engines, and environments

  - From rules to FOL to modal logics

  - Rule-based reasoning with non-monotonic negation, modalities, deontic, 

    temporal, priority, scoped or other rule qualification

  - Rule-based default reasoning with default logic, defeasible logic, and 

    answer set programming

  - Graphical processing, modelling and rendering of rules

  - Rules in Semantic Web Technologies(SW), Artificial Intelligence (AI), 

             Business Process  Modeling (BPM), Cloud Computing (CC), 

             Intelligent Agents, Model-Driven Architecture (MDA), 

             Software Engineering (SE), Unified Modeling Language (UML), 

             e-Learning, e-Commerce, ...

  - Miscellaneous rule topics


Case studies, experience reports, and industrial problem statements are

particularly encouraged.


RuleML-2009 Challenge 


The RuleML-2009 Demo Challenge is one of the highlights of RuleML-2009. We

invite submissions of demos where rules are used in interesting and

practically relevant ways to, e.g., derive useful information, transform

knowledge, provide decision support and provide automated rule-based

monitoring, enforcement, validation or management of the behavioural logic

of the application. The Challenge offers participants the chance to 

demonstrate their commercial and open source tools, use cases, and 

applications. Submissions are solicited in these categories:


  - Benchmarks (test cases, suites) with evaluations of (their own, other)

    rule engines and/or rule translators, possibly drawing on our growing

    pool at http://ruleml-challenge.cs.nccu.edu.tw

  - Case studies (use cases) implemented via engines/translators employing

    rule standards such as RIF, RuleML, CLIPS, Common Logic, SBVR, and ISO



We welcome all demos about tools and applications using rules such as: 


  - Derivation rules, including query and integrity rules  

  - ECA rules, including production rules, reaction rules, and rule-based

    CEP languages


Authors of demo are also invited to submit a Challenge demo paper for

publications in the conference proceedings, see the submission section below

for submission details.


Prizes will be awarded to the two best applications from each category. All

accepted demos will be presented in a special Challenge Session. A

submission to the RuleML Challenge has to meet the requirement that 

declarative rules explicitly play a central role in the application. 

Basically this means that:

Rules are explicitly represented in a declarative format and they are

decoupled from the application (rather than being compiled or hard-coded

into the application logic). The demo should preferably (but not

be embedded into a web-based or distributed environment so that there will 

be a need for features related to the RuleML conference topics, as listed 

in the call for papers. For more details and the demo site web link please 

consult the RuleML-2009 Challenge website:





Student Grant Awards


Two travel grants are available to students who are authors or co-authors of

papers or demos accepted for presentation at the symposium. The grants

include free registration and cover travel expenses up to 1000 dollars.



Conference Language


The official language of the conference will be English.





Authors are invited to submit original contributions of practical relevance

and technical rigor in the field, experience reports and show case/use case

demonstrations of effective, practical, deployable rule-based technologies

or applications in distributed environments. Papers must be in English and 

may be submitted at






Full Papers (15 pages in the proceedings)

Short Papers (8 pages in the proceedings)

RuleML-2009 Challenge Demo Paper + Show Cases (3-5 pages in the proceedings)


Please upload all submissions as PDF files in LNCS format

(http://www.springer.de/comp/lncs/authors.html). To ensure high quality,

submitted papers will be carefully peer-reviewed by 3 PC members based on

originality, significance, technical soundness, and clarity of exposition.

Authors are requested to upload the abstracts of their papers before June 9,

2009 and to upload their complete papers by June 16, 2009. The selected

Papers will be published in book form in the Springer Lecture Notes in 

Computer Science (LNCS) series along with a CD with demo software and 

documents. The best paper from all submissions will be determined by the PC

a Best Paper Award will be handed over at the Symposium by a Sponsor. All 

submissions must be done electronically. A selection of revised papers will

 resubmitted to a special issue of a journal.


Submissions to the RuleML Challenge 2009 consist of a demo paper of 3-5

pages, describing the demo show case, and a link to more information about

demo/show case, e.g. a project site, an online demonstration, a presentation

about the demonstration, or a download site for the demonstration. In case

of product demos, the link can be password-protected: please submit a 

password for anonymous login from any Web browser, giving us the permission 

to pass the password on to 3 PC members. The submissions should satisfy the 

minimal requirements defined in the topics of interest and preferably

some of the additional desiderata. The more desiderata are met by an 

application, the higher the score will be. The demos will be evaluated by

RuleML-2009 Program Committee and prizes will be awarded to the two best 

applications, sponsored by the RuleML Inc. non-profit organization.



Review Process


The submitted papers will pass the blind review process. At least three

members of the Program Committee will review each submission.



Important Dates:


Abstract submission deadline: June 9, 2009

Paper Submission deadline:    June 16, 2009

Notification of acceptance:   July 18, 2009

Camera ready due:             August 9, 2009

Symposium dates:              November 5-7, 2009

RuleML Challenge:             November 5, 2009



Conference Venue


RuleML-2009 will take place at the Bellagio in Las Vegas collocated with the

Business Rules Forum.



Keynote Speakers



- Sandro Hawke, W3C RIF Team Contact

  The Future of Rule Interchange




Programme Committee



General Chair


Adrian Paschke, Freie Universitaet Berlin, Germany


Program Chairs


Guido Governatori, NICTA, Australia

John Hall, Model System, UK


Liaison Chair


Hai Zhuge, Chinese Academy of Sciences


Publicity Chair


William Langley, NRC-IRAP, Canada



Track Chairs


Rule Transformation and Extraction


Erik Putrycz, Canada

Mark Linehan, IBM, USA


Rules and Uncertainty


Matthias Nickles, University of Bath, UK 

Davide Sottara, University Bologna, Italy


Rules and Norms


Thomas Gordon, Fraunhofer FOKUS, Germany 

Antonino Rotolo, CIRSFID, University of Bologna, Italy


Rule-based Game AI


Benjamin Craig, National Research Council, Canada 

Weichang Du, University of New Brunswick, Canada


Rule-based Event Processing and Reaction Rules


Alex Kozlenkov, Betfair Ltd., UK 

Adrian Paschke, Free Univ. Berlin, Germany


Rules and Cross Industry Standards


Tracy Bost, Valocity, USA 

Robert Golan, DBMind, USA


RuleML Challenge


Yuh-Jong Hu, National Chengchi University, Taiwan 

Ching-Long Yeh, Tatung University, Taiwan 

Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria



RuleML 2009 Sponsors



Silver Sponsors


Franz Inc

NICTA (National ICT Australia) Ltd

Corporate Semantic Web


Bronze Sponsors


Logic Programming Associated Ltd

Modelsystems Ltd




RuleML 2009 Partners


W3C, World Wide Web Consortium

Belgian Business Rules Forum

MIT Sloan CIO Symposium

International Association for Artificial Intelligence and Law

Event Processing Technical Society

BPM Forum Belgium

October Rules Fest

SKG2009 5th International Conference on Semantic, Knowledge and Grid

RR-2009 3rd International Conference on Web Reasoning and Rule Systems
Received on Tuesday, 12 May 2009 18:53:33 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:45:12 UTC