RuleML2009
| RuleML2009 | |
|---|---|
Third International Conference Symposium on Rule Interchange and Applications
| |
| Start | November 5 2009 |
| Homepage: | Homepage |
| Location | |
| City: | Las Vegas, Nevada |
| State: | Nevada |
| Country: | USA |
| Important dates | |
| Abstracts due: | June 9 2009 |
| Notification: | July 25 2009 |
| Camera ready due: | August 21 2009 |
Event in series RuleML
| |
RuleML2009 is the Third International Conference Symposium on Rule Interchange and Applications. It is held from November 5 2009 to November 9 2009 in Las Vegas, Nevada, USA.
Contents |
Overview and Aim
The International Symposium on Rules, Applications and Interoperability hasevolved from an annual series of international workshops since 2002,international conferences in 2005 and 2006, and international symposia since2007. This year, the 3rd International Symposium on Rules, Applications andInteroperability (RuleML-2009) takes place in Las Vegas, Nevada, USA,collocated with the 12th Business Rules Forum, the world's largest BusinessRules event. RuleML-2009 is devoted to practical distributed rule technologiesand rule-based applications which need language standards for rules(inter)operating in, e.g., the Semantic Web, Intelligent Multi-Agent Systems,Event-Driven Architectures, and Service-Oriented Applications.
The main goal of RuleML-2009 is to stimulate the cooperation andinteroperability between business and research, by bringing together rulesystem providers, participants in rule standardization efforts, open sourcecommunities, practitioners, and researchers. The concept of the symposium hasalso advanced continuously in the face of extremely rapid progress inpractical rule and event processing technologies. As a result, RuleML-2009will feature hands-on demonstrations and challenges alongside a wide range ofthematic tracks, thus and will be an exciting venue to exchange new ideas andexperiences on all issues related to the engineering, management, integration,interoperation and interchange of rules in open distributed environments suchas the Web.
Conference Theme
This year, we particularly welcome submissions that address applications ofWeb rule technologies for business and information systems. We invite you toshare your ideas, results, and experiences: as an industry practitioner, rulesystem provider, technical expert and developer, rule user or researcher,exploring foundations, developing systems and applications, or usingrule-based systems. We invite high-quality submissions related to (but notlimited to) one or more of the following track topics:
- 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: modeling rule exceptions and priority relations among rule
- 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
- 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 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.)
- 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
- Rules in Current Industry Standards, including:
- 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
- Miscellaneous rule topics
3rd Int. Rule Challenge
The Third Int. Rule Challenge is one of the highlights of RuleML-2009. Rules areused in interesting and practically relevant ways to, e.g., derive usefulinformation, transform knowledge, provide decision support and provideautomated rule-based monitoring, enforcement, validation or management of thebehavioural logic of the application. The Challenge offers participants thechance to demonstrate their commercial and open source tools, use cases, andapplications. 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 CLIPS, JESS, ISO PROLOG, CL, RuleML, and RIF
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 forpublications in the conference proceedings, see the submission section belowfor submission details. Prizes will be awarded to the two best applications from each category. Allaccepted demos will be presented in a special Challenge Session. A submissionto the RuleML Challenge has to meet the requirement that declarative rulesexplicitly play a central role in the application. Basically this means that:Rules are explicitly represented in a declarative format and they aredecoupled from the application (rather than being compiled or hard-coded intothe application logic). The demo should preferably (but not necessarily) beembedded into a web-based or distributed environment so that there will be aneed for features related to the RuleML conference topics, as listed in thecall for papers. For more details and the demo site web link please consultthe RuleML-2009 Challenge website: http://ruleml-challenge.cs.nccu.edu.tw
Student Grant Awards
Two travel grants of the value of up to 1000 dollars plus free registrationare available to students who are authors or co-authors of papers or demosaccepted for presentation at the symposium.
Important Dates
- Abstract submission deadline: June 9, 2009
- Paper Ssbmission 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
Proceedings
The RuleML-2009 proceedings have been published as Springer LNCS proceedings:
- Guido Governatori, John Hall, Adrian Paschke: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings Springer 2009 [1]
The 3nd International Rule Challenge papers an demos have been published online and as CEUR-WS proceedings:
- CEUR-WS proceedings http://CEUR-WS.org/Vol-549/
- Demo papers http://ruleml-challenge.cs.nccu.edu.tw/?q=submitform2009_paper
- Demos http://ruleml-challenge.cs.nccu.edu.tw/?q=node/31
An additional journal special issue has been published:
- Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix: Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. IEEE Trans. Knowl. Data Eng. 22(11): 1489-1491 (2010) [2]
Organizing Committee
General Chair
- Adrian Paschke, Freie Universitaet Berlin, Germany
Program Chairs
- Guido Governatori, NICTA, Australia
- John Hall, Model Systems, UK
Liaison Chair
- Hai Zhuge, Chinese Academy of Sciences Publicity Chair
- William Langley, NRC-IRAP
Track Chairs
Rule Transformation and Extraction
- Erik Putrycz, Apption Software, Canada
- Mark Linehan, IBM, USA
Rules and Uncertainty
- Matthias Nickles, Univiversity 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, Freie Universität Berlin, Germany
Rules and Cross Industry Standards
- Tracy Bost, Valocity, USA
- Robert Golan, DBMind, USA
3rd Int. Rule Challenge
- Yuh-Jong Hu, National Chengchi University, Taiwan
- Ching-Long Yeh, Tatung University, Taiwan
- Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria
Program Committee
- Hassan Ait-Kaci, IBM, Canada
- Grigoris Antoniou, University of Crete-FORTH, Greece
- Sidney Bailin, Knowledge Evolution, USA
- Matteo Baldoni, University of Torino, Italy
- Cristina Baroglio, University of Torino, Italy
- Claudio Bartolini, HP Labs, USA
- Nick Bassiliades, Aristotle University of Thessaloniki, Greece
- Bernhard Bauer, University of Augsburg, Germany
- Mikael Berndtsson, University of Skövde, Sweden
- Jean Bezivin, INRIA, France
- Pedro Bizarro, University of Coimbra, Portugal
- Jonathan Bnayahu, IBM Haifa Research Lab, Israel
- Peter Bollen, University of Maastricht, Netherlands
- Adrian Bowles, OMG
- 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
- Mike Dean, BBN Technologies, USA
- Jens Dietrich, Massey University, New Zeeland
- Juergen Dix, Technische Universitaet Clausthal, Germany
- Daniel Dougherty, Worcester Polytechnic Institute, USA
- Schahram Dustdar, Vienna University of Technology, Austria
- Andreas Eberhart, fluid Operations
- Jenny Eriksson Lundström, Uppsala University, Sweden
- Opher Etzion, IBM, Israel
- Todd Everett, Nationwide, USA
- Maribel Fernandez, King's College London, UK
- Dragan Gasevic, Athabasca University, Canada
- Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany
- Neal Hannon
- Marek Hatala, Simon Fraser University, Canada
- Ioannis Hatzilygeroudis, University of Patras, Greece
- Stijn Heymans, Technischen Universität Wien, Austria
- Minsu Jang, E&T Research Institute, Korea
- Claude Kirchner, INRIA, France
- Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
- Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
- Rick Labs
- Holger Lausen, seekda, Austria
- Heiko Ludwig, IBM, USA
- Thomas Lukasiewicz, University of Oxford, UK
- Ian Mackie, Ecole Polytechnique, France
- Mirko Malekovic, University of Zagreb, Croatia
- 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
- Jörg Müller, Technische Universitaet Clausthal, Germany
- Chieko Nakabasami, Toyo University, Japan
- Ilkka Niemelä, Helsinki University of Technology, Finland
- Jeff Pollock, Oracle, USA
- Alun Preece, Cardiff University, UK
- Maher Rahmouni, HP Labs, UK
- Dave Reynolds, HP Labs, UK
- Graham Rong, MIT Sloan School of Management, USA
- Markus Schacher, KnowGravity Inc, Switzerland
- Marco Seiriö, ruleCore, Sweden
- Rachael Sokolowski, Magnolia Tech, USA
- Jorge Sousa Pinto, Universidade do Minho, Portugal
- 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
- Heiner Stuckenschmidt, University of Mannheim, Germany
- Terrance Swift, XSB Inc., USA
- Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
- Paul Vincent, TIBCO Software, USA
- George Vouros, University of the Aegean, Greece
- Kewen Wang, Griffith University, Australia
- Segev Wasserkrug, IBM, Israel
- Nikolaus Wulff, Fachhochschule Muenster, Germany