RuleML-2010

RuleML-2010

4th International Web Rule Symposium:
Research Based and Industry Focused

October 21-23, 2010, Washington, DC, USA


Co-located with the 13th Business Rules Forum



http://2010.ruleml.org/


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:


Track 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 behavioral logic of an application. The Challenge
offers participants the chance to demonstrate their commercial and open
source tools, use cases, and applications.

This year Rule Challenge will have the following theme:

"Modelling Rules in the Temporal and Geospatial Applications"

The participants of the Challenge have the opportunity to understand the current trend of rule technology and standard development in the temporal and geospatial domain including:

- temporal modelling and reasoning;
- geospatial modelling and reasoning;
- cross linking between temporal and geospatial knowledge;
- visualization of the rules with graphics models in order  to favour the end-user interaction.


See, for more details (including submission guidelines)

http://www.csw.inf.fu-berlin.de/ruleml2010/ruleml-2010-challenge.html


Conference Language
======================================================
The official language of the conference will be English.


Submission
======================================================
Authors are invited to submit original contributions of practical
relevance and technical rigor in the field, experience reports and
show/use case demonstrations of effective and practical rule-based
technologies, or applications deployed in distributed environments.


RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper
Award
------------------------------------------------------------------------
Papers must be in English and may be submitted at

http://www.easychair.org/conferences/?conf=ruleml2010

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:

 * Papers must be uploaded as PDF files in LNCS format    (http://www.springer.de/comp/lncs/authors.html);
 * Whenever possible, indicate as a first keyword the track to which the paper    is submitted.

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 May 25, 2010 and to upload their complete papers by June 1, 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 blind review process. At least three
members of the Program Committee will review each submission.


Important Dates:
======================================================

RuleML-2010 Symposium
----------------------------------------------
Abstract submission deadline: May 25, 2010
Paper Submission deadline: June 1, 2010
Notification of acceptance: July 7, 2010
Camera ready due: July 28, 2010
Symposium dates: October 21-23, 2010


RuleML-2010 Challenge (dates to be confirmed)
----------------------------------------------
Submission deadline for demo papers and  demo systems:    September 3, 2010
Notification of accepted demo papers  and demo systems: September 17, 2010
Submission deadline for  demo systems only: October 1, 2010  (contingent on availability of demo slots)
Notification for demo  systems only: October 15th, 2010



Conference Venue
======================================================
RuleML-2010 will take place at the Hilton Alexandria Mark Center, which is located 5 miles southwest of Washington, DC. The symposium is co-located with the 13th Business Rules Forum.

Hilton Alexandria Mark Center
5000 Seminary Road, Alexandria, Virginia, United States 22311

Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark-Center-Virginia/index.do


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 Waterloo, Canada


Rule Responder Chairs
--------------------
Efstratios Kontopoulos, Aristotle University of Thessaloniki, Greece
Kalliopi Kravari, Aristotle University of Thessaloniki, Greece


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
Fabio Vitali, University of Bologna, Italy


RuleML-2010 Program Committee
------------------------------
Hassan Ait-Kaci, IBM, Canada
Sidney Bailin, Knowledge Evolution, USA
Matteo Baldoni, University of Turin, Italy
Claudio Bartolini, HP Labs, USA
Bernhard Bauer, University of Augsburg, Germany
Mikael Berndtsson, University of Skövde, Sweden
Pedro Bizarro, University of Coimbra, Portugal
Jonathan Bnayahu, IBM Haifa Research Lab, Israel
Guido Boella, University of Turin, Italy
Peter Bollen, University of Maastricht, Netherlands
Jordi Cabot, Universitat Oberta de Catalunya, Spain
Carlos Castro, Unversidad Técnica Federico Santa María, Chile
Donald Chapin, Business Semantics Ltd, UK
Federico Chesani, University of Bologna, Italy Horatiu Cirstea, Loria, France
Claudia d'Amato, University of Bari, Italy
Juergen Dix, Technische Universitaet Clausthal, Germany
Weichang Du, University of New Brunswick, Canada Schahram Dustdar, Vienna University of Technology, Austria
Andreas Eberhart, Fluid Operations, Germany
Jenny Eriksson Lundström, Uppsala University, Sweden
Opher Etzion, IBM, Israel
Todd Everett, Nationwide, USA
Maribel Fernandez, King�s College London, UK
Enrico Francesconi, ITTIG-CNR, Italy
Dragan Gasevic, Athabasca University, Canada
Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany
Ioannis Hatzilygeroudis, University of Patras, Greece
Stijn Heymans, Technischen Universität Wien, Austria
Minsu Jang, E&T Research Institute, Korea
Yuh-Jong Hu, National Chengchi University, Taiwan Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria Ching Long Yeh, Tatung University, Taiwan Ian Mackie, Ecole Polytechnique, France
Christopher Matheus, Vistology, USA
Craig McKenzie, SAIC Ltd., UK
Jing Mei, IBM, China
Zoran Milosevic, Deontik, Australia
Anamaria Moreira, URFN, Brazil
Leora Morgenstern, IBM, USA
Joerg Mueller, Technische Universitaet Clausthal, Germany
Chieko Nakabasami, Toyo University, Japan
Monica Palmirani, University of Bologna, Italy
Alun Preece, Cardiff University, UK
Maher Rahmouni, HP Labs, UK
Dave Reynolds, HP Labs, UK
Graham Rong, MIT Sloan School of Management, USA
Giovanni Sartor, University of Bologna, Italy
Marco Seirio, RuleCore, Sweden
Silvie Spreeuwenberg, LibRT, The Netherlands
Giorgos Stamou, National Technical University of Athens, Greece
Giorgos Stoilos, National Technical University of Athens, Greece
Nenad Stojanovic, University of Karlsruhe, Germany
Umberto Straccia, ISTI-CNR, Italy
Terrance Swift, XSB Inc., USA
Leon Van der Torre, University of Luxembourg, Luxembourg Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Fabio Vitali, University of Bologna, Italy
George Vouros, University of the Aegean, Greece
Kewen Wang, Griffith University, Australia
Segev Wasserkrug, IBM, Israel


RuleML-2010 Partners
======================================================
                                  Partner Organizations
---------------------------------------------------
W3C: The World Wide Web Consortium

Media Partners
---------------------------------------------------
Springer LNCS