RuleML2010
| RuleML2010 | |
|---|---|
Fourth International Web Rule Symposium on Rule Interchange and Applications
| |
| Start | October 21 2010 |
| Homepage: | Homepage |
| Location | |
| City: | Washington, D.C. |
| State: | D.C. |
| Country: | USA |
| Important dates | |
| Abstracts due: | June 6 2010 |
| Notification: | July 14 2010 |
| Camera ready due: | August 1 2010 |
Event in series RuleML
| |
RuleML2010 is the Fourth International Web Rule Symposium on Rule Interchange and Applications. It is held from October 21 2010 to October 23 2010 in Washington, D.C., USA.
Contents |
[edit] Objectives
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.
[edit] 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:
- Rules, Semantic Technology, and Cross-Industry Standards
- 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
- Other Topics, such as
- Rules and ontologies
- Execution models, rule engines, and environments
- Graphical processing, modeling and rendering of rules.
[edit] 4th Int. Rule Challenge
The 4th Int. Rule Challenge is one of the highlights at RuleML-2010 with prestigious prizes. Submissions of benchmarks/evaluations, demos, case studies / use cases, experience reports, best practice solutions (e.g. design patterns, reference architectures, models), rule-based implementations/ tools/ applications, demonstrations engineering methods, implementations of rule standards (e.g. RuleML, RIF, SBVR, PRR, rule-based Event Processing languages, BPMN+rules, BPEL+rules, ...), rules + industrial standards (e.g. XBRL, MISMO, Accord, ...), and industrial problem statements are particularly encouraged.
This year, the RuleML-2010 Challenge will have a special focus theme: Modelling Rules in the Temporal and Geospatial Applications
- temporal modelling and reasoning
- geospatial modelling and reasoning
- cross-linking between temporal and geospatial knowledge
- visualization of rules with graphic models in order to support end-user interaction
Other themes of the RuleML-2010 Challenge will include the following: Demos related to the RuleML-2010 Track TopicsExtensions and implementations of W3C RIFEditing environments and IDEs for Web rulesBenchmarks and comparison results for rule enginesDistributed rule bases and rule servicesReports on industrial experience about rule systemsPrizes will be awarded to the two best applications from the main focus theme and for the all categories. All accepted demos will be presented in a special Challenge Session.
Challenge demo website: http://ruleml-challenge.cs.nccu.edu.tw
[edit] Proceedings and Journal Special Issues
The RuleML-2010 proceedings have been published as Springer LNCS proceedings:
- Mike Dean, John Hall, Antonino Rotolo and Said Tabet: Semantic Web Rules, International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings [1]
The 4th International Rule Challenge papers an demos have been published online and as CEUR-WS proceedings:
- CEUR-WS proceedings http://CEUR-WS.org/Vol-649/
- Demo papers http://ruleml-challenge.cs.nccu.edu.tw/?q=submitform2010_paper
- Demos http://ruleml-challenge.cs.nccu.edu.tw/?q=node/31
Two journal special issues are forthcoming
[edit] Organizing Committee
[edit] General Chairs
- Mike Dean, Raytheon BBN Technologies, USA
- Said Tabet, RuleML Initiative, USA
[edit] Program Chairs
- John Hall, Model Systems, UK
- Antonino Rotolo, University of Bologna, Italy
[edit] Liaison Chair
- Mark Proctor, Red Hat, UK
[edit] Publicity Chair
- Patrick Hung, University of Ontario Institute of Technology, Canada
[edit] Rule Responder Chairs
- Efstratios Kontopoulos, Aristotle University of Thessaloniki, Greece
- Kalliopi Kravari, Aristotle University of Thessaloniki, Greece
[edit] Track Chairs
[edit] Rules, Semantic Technology, and Cross-Industry Standards
- Tracy Bost, Valocity, USA
- Robert Golan, DBMind, USA
[edit] Rule Transformation and Extraction
- Mark Linehan, IBM, USA
[edit] Rules and Uncertainty
- Davide Sottara, University Bologna, Italy
- Nikolaus Wulff, University of Muenster, Germany
[edit] Rules and Norms
- Thomas Gordon, Fraunhofer FOKUS, Germany
- Guido Governatori, NICTA, Australia
[edit] Rules and Inferencing
- Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece
- Antonis Bikakis, Information Systems Laboratory, FORTH, Greece
[edit] Rule-based Event Processing and Reaction Rules
- Alex Kozlenkov, Betfair Ltd., UK
- Adrian Paschke, Free Univ. Berlin, Germany
[edit] Rule-Based Distributed/Multi-Agent Systems
- Nick Bassiliades, Aristotle University of Thessaloniki, Greece
- Costin Badica, University of Craiova, Romania
[edit] 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
[edit] Program Commitee
- 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
- Matteo Cristani, University of Verona, Italy
- 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