The 6th International Symposium on Rules: Research Based and Industry Focused Share this on Twitter

Montpellier, France, August 27-29(30), 2012


Registration desks

27 August 08:00-18:00, 28 August 08:00-14:00

The registration desk is at the campus of University Montpellier 2 at the I.A.E. building (no 29).
See also the Campus map (PDF).

28 August 16:00-18:00, 29-31 August 08:00-18:00

The registration desk is at Le Corum Congress Hall (level 0).

Program and Presentations

RuleML2012 Doctoral Consortium and 6th International Rule Challenge

Monday, August 27, 2012

Location: Campus de Triolet, Building:IAE, Room: IAE amphitheatre
Time Activity
08:00AM Registration
08:30AM Chair's Opening Address
8:40AM Doctoral Consortium
Chair: Monica Palmirani, CIRSFID-University of Bologna, Italy
  • Enabling Knowledge-Based Complex Event Processing, by Kia Teymourian
  • Cognitive System for Knowledge Representation of Elementary Pragmatics, by Shashishekar Ramakrishna
  • Gold Medal
    Best Doctoral Paper Award
    Combining Ontology and Rules to Model Judicial Interpretation, by Marcello Ceci
  • Checking Compliance in European Tender Documents through Ontologies and Rules, by Isabella Distinto
09:40AM 6th International Rule Challenge
Chair: Davide Sottara
  • Invited Demo: Rule Based Business Process Compliance, by Guido Governatori and Sidney Shek
10:00AM Coffee Break
10:30AM 6th International Rule Challenge
Chair: Davide Sottara, Arizona State University
  • Gold Medal
    Best Challenge Paper Award
    Legal Rules, Text, and Ontologies Over Time, by Monica Palmirani, Tommaso Ognibene and Luca Cervone
  • Browsing case-law: an application of the Carneades Argumentation, by System Marcello Ceci and Thomas Gordon
  • A model driven approach for bridging ILOG Rule Language and RIF, by Valerio Cosentino, Marcos Didonet Del Fabro and Adil El Ghali
  • A loose Coupling Approach for Combining OWL Ontologies and Business Rules, by Amina Chniti, Patrick Albert and Jean Charlet
  • Diamond Debugger Demo: Rete-Based Processing of Linked Data, by Daniel Miranker, Rodolfo Depena, Hyunjoon Jung, Juan Sequeda and Carlos Reyna
  • Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder, by Zhili Zhao, Kia Teymourian, Adrian Paschke, Harold Boley and Tara Athan
12:30AM Lunch
02:00PM 6th International Rule Challenge
Chair: Adrian Paschke, Freie Universität Berlin
  • Invited Demo: PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers (presentation), by Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
  • Graph-based rule editor, by Maciej Nowak, Jaroslaw Bak and Czeslaw Jedrzejek
  • RuleTheWeb!: Rule-based Adaptive User Experience (presentation), by Adrian Giurca, Matthias Tylkowski and Martin Mueller
  • Gold Medal
    Best Challenge Demo Award
    PLIS+: A Rule-Based Personalized Location Information System, by Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades
  • Monitoring BPMN-Processes with Rules in a Distributed Environment, by Lothar Hotz, Stephanie Von Riegen, Alexander Pokahr, Lars Braubach and Torsten Schwinghammer
04:00PM Coffee Break, Best DC Paper Award voting, Challenge Demos Awards voting
04:30PM Tutorial:Deliberation RuleML, Reaction RuleML, and LegalRuleML: Specification and Application by Harold Boley, Adrian Paschke, Tara Athan, Monica Palmirani, and Guido Governatori.
6:15PM Invited Talk: Translating Rules in Natural Language to RuleML (presentation), by Adam Wyner
7:00PM LegalRuleML OASIS TC face to face meeting (with possibility to call the other TC members)
8:30PM Montpellier downtown (informal)

The RuleML2012 Symposium

Tuesday, August 28, 2012

Location: Campus de Triolet, Building:IAE, Room: IAE amphitheatre
Time Activity
9:00AM Keynote Talk: Prof. Dr. Marie-Laure Mugnier
Ontology-Based Query Answering with Existential Rules
10:00AM Coffee Break
10:30AM Track: Rules and the Semantic Web
Chair: Grzegorz J. Nalepa, AGH University of Science and Technology, Poland
  • Using SOIQ(D) to Formalize Semantics within a Semantic Decision Table, by Yan Tang and Trung-Kien Tran.
  • Imposing Restrictions Over Temporal Properties in OWL: A Rule Based Approach, by Sotiris Batsakis and Euripides Petrakis.
  • OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanation, by Jesus M. Almendros-Jimenez.
  • Using data-to-knowledge exchange for transforming relational databases to knowledge bases, by Tadeusz Pankowski.
11:55AM Track: Rule Transformation, Extraction and Learning
Chair: Monica Palmirani, CIRSFID-University of Bologna, Italy
  • An Approach to Parallel Class Expression Learning Tran C. An, Jens Dietrich, Hans W. Guesgen and Stephen Marsland.
  • Rule-Based High-Level Situation Recognition from Incomplete Tracking Data (presentation) by David Muench, Joris Ijsselmuiden, Ann-Kristin Grosselfinger, Michael Arens and Rainer Stiefelhagen.
12:30AM Lunch
2:30PM Presentatio of GraphIK Laboratory
03:30PM Coffee Break
04:00PM Track: Rule-based Event Processing and Reaction Rules
Chair: Harold Boley, University of New Brunswick, Canada
  • Reaction RuleML 1.0: Standardized Semantic Reaction Rules, by Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian and Tara Athan
  • On Algebraic Semantics of Reaction Rules, by Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas
  • A Rule-based Calculus and Processing of Complex Events (presentation), by Stefano Bragaglia, Federico Chesani, Paola Mello and Davide Sottara
  • Complex Reactivity with Preferences in Rule-Based Agents, by Stefania Costantini and Giovanni De Gasperis
5:40PM Coffee Break
06:00PM Track: Rule-based Policies and Agents on the Pragmatic Web
Chairs: Adrian Paschke, Freie Universitaet Berlin, Germany
Hans Weigand, Tilburg University, Netherlands
  • The Pragmatic Web: Putting Rules in Context (presentation) by Hans Weigand and Adrian Paschke.
  • HARM: A Hybrid Rule-based Agent Reputation Model based on Temporal Defeasible Logic (presentation) by Kalliopi Kravari and Nick Bassiliades.
  • Whispering Interactions to the End User Using Rules Benjamin Jailly, Christophe Gravier, Julien Subercaze, Marius Preda and Jacques Fayolle.
  • Personalizing Location Information through Rule-Based Policies (presentation), by Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades.
08:00PM ECAI Welcome Cocktail Buffet at Le Corum Congress Hall

Wednesday, August 29, 2012

Location: Le Corum, Room: Sully
Start Time Activity
09:00AM Track: Rule Markup Languages and Rule Interchange
Chair: Nick Bassiliades, Aristotle University of Thessaloniki, Greece
  • PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners (presentation), by Gen Zou, Reuben Peter-Paul, Harold Boley and Alexandre Riazanov.
  • PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes (presentation), by Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley and Christopher J.O. Baker.
  • Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages (presentation), by Tara Athan.
10:00AM Coffee Break
10:30AM Keynote Talk: Dr. Francois Briant
RIDER (Research for IT Driven EneRgy efficiency)
11:30AM Track: Business Rules and Processes Chair: Patrick Albert, IBM, France
  • A Model Driven Reverse Engineering Framework for Extracting Business Rules out of a Java Application (presentation), by Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel and Jacques Perronnet.
  • Business Process Data Compliance, by Mustafa Hashmi, Guido Governatori and Moe Wynn.
  • An Automated approach for Business Rule Generation from Business Process Models, by Saleem Malik and Imran Sarwar Bajwa.
12:40AM Lunch
02:30PM Keynote Talk: Prof. Dr. Robert Kowalski
A Logic-Based Framework for Reactive Systems (with Fariba Sadri) (presentation)
03:40PM
  • Gold Medal
    RuleML2012 Best Paper Session
    A Production Rule-based Framework for Causal and Epistemic Reasoning (presentation), by Theodore Patkos, Abdelghani Chibani, Dimitris Plexousakis and Yacine Amirat
04:10PM Coffee Break
04:45PM Track: Business Rules and Processes Chair: Patrick Albert, IBM, France
  • Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs (presentation), by Bruno Berstel-Da Silva.
  • Bringing OWL ontologies to the Business Rules Users, by Adil El Ghali, Amina Chniti and Hugues Citeau.
  • From regulatory texts to BRMS: how to guide the acquisition of business rules? by Abdoulaye Guisse, Francois Levy and Adeline Nazarenko.
06:00PM Visit at IBM CAS
09:00PM Informal RuleML SC Meeting

ECAI 2012 Activities

While RuleML2012 officially ends on August 29, ECAI 2012 activities take place until August 31, 2012. As RuleML2012 participant you get access to all ECAI 2012 events. Please check ECAI 2012 Program for more details.

August 30, 2012

Start Time Place Activity
6:00PM , a gothic abbey near Mèze and the Etang de Thau
(45 minutes by bus from Corum de Montpellier)
BANQUET