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 6^th 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 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	6^th 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	6^th International Rule Challenge Chair: Davide Sottara, Arizona State University 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	6^th 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 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	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	Abbaye de Valmagne, a gothic abbey near Mèze and the Etang de Thau (45 minutes by bus from Corum de Montpellier)	BANQUET