RuleML 2014

The 8th International Web Rule Symposium
Prague, Czech Republic, August 18-20, 2014

Program

Conference Awards:

RuleML Best Paper Award

Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna for their work Checking Termination of Logic Programs with Function Symbols Through Linear Constraints

RuleML Challenge Award

Benjamin Dönz and Harold Boley for their work Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations.

RuleML Challenge Runner-up Award

Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades for their work Geosocial SPLIS: A Rule-Based Service for context-aware point of interest exploration.

RuleML Rulebase Competition Award

Mohammad Sadnan Al Manir and Christopher J.O. Baker for their RuleML rulebase OffshoreHoldingAnalytics.ruleml presented in Offshore Holdings Analytics Using Datalog+ RuleML Rules

RuleML Student Travel Support Awards

Were offered by the Artificial Intelligence Journal to Marco Calautti and Shashishekar Ramakrishna.

RuleML Runner-up Best Paper Award

Mario Luca Bernardi, Marta Cimitile, Chiara Di Francescomarino, and Fabrizio Maria Maggi for their work Using Discriminative Rule Mining to Discover Declarative Process Models with Non-Atomic Activities

Program

Sunday, August 17, 2014

Location: Kulaták, Vítezné námestí 820/12, 160 00 Praha (Google Maps)
20:00-21:00Self-paid F2F birds of feather table and welcome drinks
How to get there from Clarion Congress Hotel: From Clarion Hotel take metro B (yellow line) from Vysocanská metro station, which is located next to the hotel, and go to Mustek metro station. There change for metro A (green line) and go to the last stop called Dejvická. Walk through a small park to the restaurant (show map). Please find more details about transportation on the Venue and Accommodation page: here.

Monday, August 18, 2014

Website: www.fel.cvut.cz.
8:30-9:00 Registration
9:00-9:15 Welcome, Opening Remarks, RuleML 2014 chairs.
9:15-9:30 An Introduction to the Deliberation RuleML 1.01 Specification and MYNG 1.01 Technology, Harold Boley, Tara Athan. Chair: Dumitru Roman. Presentation slides: here.
9:30-10:30 RuleML 2014 Keynote: Rules, Events and Actions, Adrian Paschke, Freie Universität Berlin, Germany. Chair: Antonis Bikakis. Presentation slides: here.
10:30-11:00 Coffee Break (provided)
11:00-12:30 RuleML conference talks: Rules and Human Language Technology Special Track. Chairs: Francois Levy and Adam Wyner.
  • Juyeon Kang and Saint Dizier Patrick. Requirement Compound Mining and Analysis (25 min. presentation).
  • Shashishekar Ramakrishna and Adrian Paschke. Semi-Automated Vocabulary Building for Structured Legal English (25 min. presentation).
  • C. Maria Keet and Langa Khumalo. Basics for a grammar engine to verbalize logical theories in isiZulu (20 min. presentation). Presentation slides: here.
  • Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane and Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology (20 min. presentation).
12:30-14:00 Lunch Break
14:00-14:45 Invited talk: Rule-based Clinical Decision Support, Jürgen Angele, Semedy AG, Zug, Switzerland. Chair: Dumitru Roman. Presentation slides: here.
14:45-15:35 RuleML conference talks (interoperability and rules interchange). Chair: Adrian Paschke.
  • Harold Boley, Rolf Gruetter, Gen Zou, Tara Athan and Sophia Etzold. A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research (25 min. presentation). Presentation slides: here.
  • Pablo Fillottrani and C. Maria Keet. Conceptual Model Interoperability: a Metamodel-driven Approach (25 min. presentation). Presentation slides: here.
15:35-16:00 Coffee Break (provided)
16:00-16:30 LegalRuleML Tutorial, by Tara Athan and Monica Palmirani. Presentation slides: here.
16:30-17:40 RuleML conference talks: Legal Rules and Norms Special Track. Chairs: Monica Palmirani and Guido Governatori.
  • Mustafa Hashmi, Guido Governatori and Moe Wynn. Modeling Obligations with the Event-Calculus (25 min. presentation). Presentation slides: here.
  • Shashishekar Ramakrishna and Adrian Paschke. A Process for Knowledge Transformation and Knowledge Representation of Patent Law (25 min. presentation).
  • Clara Smith, Antonino Rotolo, Giovanni Sartor and Erica Calardo. Legal Responsibility for the Acts of Others: A Logical Analysis (20 min. presentation).
17:40-18:30 F2F meeting of LegalRuleML, by Tara Athan and Monica Palmirani (public, we will also use the LegalRuleML Skype group for the teleconference).
18:30-20:00 RuleML Steering Committee and Board of Directors Meeting (not public)

Tuesday, August 19, 2014

Website: www.fel.cvut.cz.
9:00-10:30 RuleML 2014 Tutorial: Rule learning, Johannes Fuernkranz, TU Darmstadt, Germany. Chair: Antonis Bikakis. Presentation slides: here.
10:30-10:50 Coffee Break (provided)
10:50-12:30 RuleML conference talks: Learning (Business) Rules from Data Special Track. Chairs: Tomas Kliegr and Davide Sottara.
  • Tomas Kliegr, Jaroslav Kuchar, Davide Sottara and Stanislav Vojír. Learning Business Rules with Association Rule Classifiers (25 min. presentation - peer-reviewed paper in the main track). Presentation slides: here.
  • Ladislav Peska and Peter Vojtas. Interpreting Web Shop User's Behavioral Patterns as Fictitious Explicit Rating for Preference Learning (25 min. presentation).
  • Jan Rauch and Milan Simunek. Learning Association Rules from Data through Domain Knowledge and Automation (25 min. presentation). Presentation slides: here.
  • Mario Luca Bernardi, Marta Cimitile, Chiara Di Francescomarino and Fabrizio Maria Maggi. Using Discriminative Rule Mining to Discover Declarative Process Models with Non-Atomic Activities (25 min. presentation). Presentation slides: here.
12:30-13:50 Lunch Break
13:50-14:20 The RuleML Doctorial Consortium. Chairs: Petros Stefaneas and Monica Palmirani.
  • Tarcisio M. Farias. A Rule Based System for Semantical Enrichment of Building Information Exchange (15 min. presentation). Presentation slides: here.
  • Hamza Agli. Uncertain Reasoning for Business Rules (15 min. presentation).
14:20-15:35 The 8th International Rule Challenge. Chairs: Theodore Patkos, Adam Wyner and Adrian Giurca. Proceedings: http://ceur-ws.org/Vol-1211.
  • Benjamin Dönz and Harold Boley. Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations. (15 min. presentation). Presentation slides: here.
  • Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades. Geosocial SPLIS: A Rule-Based Service for context-aware point of interest exploration. (15 min. presentation). Presentation slides: here.
  • Stanislav Vojir, Premysl Vaclav Duben and Tomas Kliegr. Business Rule Learning with Interactive Selection of Association Rules. (15 min. presentation). Presentation slides: here and the screencast corresponding to live demo presentation: demo.
  • Adrian Paschke and Harold Boley. Reaction RuleML 1.0 for Distributed Rule-Based Agents in Rule Responder. (15 min. presentation).
  • Jakub Dutkiewicz, Maciej Nowak and Czeslaw Jedrzejek. R2E: Rule-based Event Extractor. (15 min. presentation).
15:35-16:00 Coffee Break (provided)
16:00-17:30 The 8th International Rule Challenge. Chairs: Theodore Patkos, Adam Wyner and Adrian Giurca.
  • Davide Sottara, Robert Greenes, Peter Haug, Edinardo Potrich and Matthew Ebert. The Health eDecisions Authoring Environment for Shareable Clinical Decision Support Artifacts. (15 min. presentation).
  • Filippos Gouidis, Giorgos Flouris and Dimitris Plexousakis. A demo for Smart City Operation Center. (15 min. presentation).
  • Tara Athan and Harold Boley. The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. (15 min. presentation). Presentation slides: here.
  • Mohammad Sadnan Al Manir. Offshore Holdings Analytics Using Datalog+ RuleML Rules. (15 min. presentation). Presentation slides: here.
  • Gen Zou. GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning. (15 min. presentation). Presentation slides: here.
  • Matthias Tylkowski and Martin Muller. Experiences Using Deliberation RuleML 1.01 as Rule Interchange Language. (15 min. presentation). Presentation slides: here.
19:30 Reception of ECAI

Wednesday, August 20, 2014

Location: the Clarion Congress Hotel, Freyova 33, Prague 9 (Google Map).
9:00-10:00 RuleML 2014 Keynote talk: On Probability, Rules and Learning, Luc De Raedt. Chair: Dumitru Roman. Presentation slides: here.
10:00-10:30 Coffee Break (provided)
10:30-12:10 RuleML conference talks. Chair: Adrian Giurca.
  • Robert Kowalski and Fariba Sadri. Completeness of a Reactive System Language (25 min. presentation). Presentation slides: here.
  • Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas. On Verifying Reactive Rules Using Rewriting Logic (25 min. presentation). Presentation slides: here.
  • Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna. Checking Termination of Logic Programs with Function Symbols Through Linear Constraints (25 min. presentation). Presentation slides: here.
  • Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers and Bertram Ludaescher. A Hybrid Diagnosis Approach Combining Black-box and White-box Approaches (25 min. presentation). Presentation slides: here.
12:10-13:40 Lunch Break
13:40-14:30 Invited talk: Efficient mapping rules in OBDA, Arild Waaler, University of Oslo, Norway. Chair: Dumitru Roman.
14:30-15:20 RuleML conference talks (rules and reasoning applications). Chair: Guido Governatori.
  • Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades. Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web (25 min. presentation). Presentation slides: here.
  • Zaenal Akbar, José María García, Ioan Toma and Dieter Fensel. On Using Semantically-aware Rules for Efficient Online Communication (25 min. presentation). Presentation slides: here.
15:20-15:50 Cofee Break (provided)
15:50-16:10 RuleML conference talks (rules and reasoning applications cont.). Chair: Guido Governatori.
  • Ayesha Aziz, Salvador Rodriguez and Chris Chatwin. From Guidelines to Practice: Improving clinical care through Rule based Clinical Decision Support at the point of care (20 min. presentation).
16:10-17:15 RuleML conference talks (uncertainty, defeasibility, nonmonotonic reasoning). Chair: Harold Boley.
  • Pierpaolo Dondio. Multi-valued Argumentation Frameworks (25 min. presentation).
  • Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani. The hardness of revising defeasible preferences (20 min. presentation). Presentation slides: here.
  • Szymon Bobek and Grzegorz J. Nalepa. Incomplete and uncertain data handling in context-aware rule-based systems with modified certainty factors algebra (20 min. presentation). Presentation slides: here.
17:15-17:30 Closing Session: Best Paper Awards, Rule Challenge Awards, Rulebase Competition Award, Doctorial Consortium Paper Award, and Student Travel Support, RuleML 2014 chairs..