RuleML 2010 Call for Papers

Overview and Aim

The International Web Rule Symposium 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 4th International Web Rule Symposium (RuleML-2010) will be held near Washington, DC, USA, co-located with the 13th Business Rules Forum, the world's largest Business Rules event. RuleML-2010 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, Enterprise Systems, Intelligent Multi-Agent Systems, Event-Driven Architectures, and Service-Oriented Applications.

 

RuleML-2010 is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so 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-2010 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks. It will thus 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 distributed enterprise intranets and open distributed environments.

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, 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:

 

Rules, Semantic Technology, 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, and Compliance (GRC), e.g., rules for internal audit, SOX compliance, enterprise risk management (ERM), operational risk, etc
  • Rules and Corporate Actions


Rule Transformation and Extraction

  • Transformation and extraction with rule standards, such as SBVR, RIF and OCL
  • 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 and norms: modeling rule exceptions and priority relations among rules
  • 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 strategies


Rules and Inferencing

  • From rules to FOL to modal logics
  • Rule-based non-monotonic reasoning
  • Rule-based reasoning with modalities
  • Deontic rule-based reasoning
  • Temporal rule-based reasoning
  • Priorities handling in rule-based systems
  • Defeasible reasoning
  • Rule-based reasoning about context and its use in smart environments
  • Combination of rules and ontologies
  • Modularity


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 those
  • 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.)


Rule-Based Distributed/Multi-Agent Systems

  • rule-based specification and verification of distributed and multi-agent system
  • rule-based distributed reasoning and problem solving
  • rule-based agent architectures
  • rules and ontologies for semantic agents
  • rule-based interaction protocols for multi-agent systems
  • rules for service-oriented computing (discovery, composition, etc.)
  • rule-based cooperation, coordination and argumentation in multi-agent systems
  • rule-based e-contracting and negotiation strategies in multi-agent systems
  • rule interchange and reasoning interoperation in heterogeneous Distributed/Multi-Agent Systems


We also welcome submissions on miscellaneous rule topics, such as


 - Rules and ontologies
 - Execution models, rule engines, and environments
 - Graphical processing, modeling and rendering of rules


Case studies, experience reports, and industrial problem statements are particularly encouraged.

 

RuleML-2010 Challenge

The RuleML-2010 Challenge is one of the highlights of RuleML-2010. 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.

Conference Language

The official language of the conference will be English.

RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper Award

Papers must be in English and may be submitted at
 
 
as:

Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)

Please upload all submissions by also conforming to the following guidelines:


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 6, 2010 and to upload their complete papers by June 11, 2010. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The best paper from all submissions will be determined by the PC and a Best Paper Award will be presented at the Symposium. All submissions must be made electronically. A selection of revised papers will be resubmitted to a special issue of a journal.

Review Process

The submitted papers will pass the anonymous review process. At least three members of the Program Committee will review each submission.

Important Dates

  • Abstract submission deadline (new): May 25, 2010 June 6, 2010
  • Paper Submission deadline (new): June 1, 2010 June 11, 2010
  • Notification of acceptance (new): July 7, 2010 July 14, 2010
  • Camera ready due (new): July 28, 2010 August 1, 2010
  • Symposium dates: October 21-23, 2010

Program Committee

General Chairs

Mike Dean, Raytheon BBN Technologies, USA
Said Tabet, RuleML Initiative, USA

Program Chairs

John Hall, Model Systems, UK
Antonino Rotolo, University of Bologna, Italy

Liaison Chair

Mark Proctor, Red Hat, UK

Publicity Chair

Patrick Hung, University of Ontario Institute of Technology, Canada

Track Chairs

Rules, Semantic Technology, and Cross-Industry Standards
Tracy Bost, Valocity, USA

Robert Golan, DBMind, USA


Rule Transformation and Extraction

Mark Linehan, IBM, USA


Rules and Uncertainty

Davide Sottara, University Bologna, Italy

Nikolaus Wulff, University of Muenster, Germany

Rules and Norms

Thomas Gordon, Fraunhofer FOKUS, Germany

Guido Governatori
, NICTA, Australia

Rules and Inferencing

Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece

Antonis Bikakis, Information Systems Laboratory, FORTH, Greece

Rule-based Event Processing and Reaction Rules

Alex Kozlenkov, Betfair Ltd., UK

Adrian Paschke, Free Univ. Berlin, Germany


Rule-Based Distributed/Multi-Agent Systems

Nick Bassiliades, Aristotle University of Thessaloniki, Greece

Costin Badica, University of Craiova, Romania

RuleML 2010 Challenge Chairs

Enrico Francesconi, ITTIG-CNR, Italy
Monica Palmirani
, University of Bologna, Italy
Omair Shafiq, University of Calgary, Canada
Fabio Vitali, University of Bologna, Italy