Published on September 1, 2014 10:41:08 AM by
By an unfortunate error, our announcement on Awards does not include the RuleML2014 Runner-up Best Paper Award.

RuleML2014 Runner-up Best Paper Award

was awarded to 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
They investigate usage of discriminative rule mining in the discovery task, to characterize business process lifecycles that determine constraint violations and lifecycles that ensure constraint fulfillments. An implementation of their approach is in use at Volvo IT Belgium.

 

Read about the other awards.

Published on August 22, 2014 10:12:37 AM by
organization committee is happy to announce the 2014 Awards of Excellence recipients and would like to congratulate all winners!

RuleML Best Paper Award

Went to Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna for their work Checking Termination of Logic Programs with Function Symbols Through Linear Constraints
They present the novel class of rule-bounded programs. While current techniques perform a limited analysis of how terms are propagated from an individual argument to another, their technique is able to perform a more global analysis, thereby overcoming several limitations of current approaches. They alsopresent a further class of cycle-bounded programs where groups of rules are analyzed together.

RuleML Challenge Award

Went to 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.
To allow automated interaction with databases on the Deep Web, thei application uses rules that exploit features (e.g. HTML attribute values) to identify elements on a Web page and infer semantic annotations that link these elements to known concepts (e.g. query parameters or result values). Deep Web Mediator demostrates the performance of this approach in a classified-advertising use case. The system is able to answer complex queries by transforming and forwarding them to multiple sites as well as integrating the local results.

RuleML Challenge Runner-up Award

Went to Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades for their work Geosocial SPLIS: A Rule-Based Service for context-aware point of interest exploration.
They build an innovative location based social networking service allowing organization to assert their own properties and group targeted offering policies e.g. "If a person is unemployed and day is Friday then spaghetti price has discount 10%". These offering policies are represented as rules in RuleML. The system evaluates rules on the fly depending on regular user's context and delivers personalized offers to them.

RuleML Rulebase Competition Award

Went to Mohammad Sadnan Al Manir and Christopher J.O. Baker for their RuleML rulebase OffshoreHoldingAnalytics.ruleml presented in Offshore Holdings Analytics Using Datalog+ RuleML Rules
In April 2013, the International Consortium of Investigative Journalists (ICIJ) exposed the details of 130,000 offshore accounts. Although there are legitimate businesses which use such accounts, there exist a number of accounts which are possibly linked to international tax fraud and money laundering. The ICIJ investigation was based on 2.5 million records of offshore holdings linked to 170 countries. All these records have been made available for further examination and analysis. Based on over 2.5 million records of offshore holdings linked to 170 countries, a set of facts, rules and queries have been formulated in Datalog+ RuleML 1.01/XML and these rules have been tested and validated against the Relax NG schema for Datalog+ in RuleML 1.01/XML.

RuleML Student Travel Support Awards

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

Published on July 30, 2014 3:09:25 PM by
The specification of Deliberation RuleML 1.01 has been released.

schema diagram for Implies The specification of Deliberation RuleML 1.01 has been released after the Public Review and after the Steering Committee Response has addressed all comments. The full, fine-grained systematics of Deliberation RuleML 1.01 language features can be customized via MYNG 1.01.

You can now start building Deliberation RuleML 1.01 Rulebases of your own, e.g. modeled on the instructive example or the entries of the Rulebase Competition 2014. Please post your (Disqus) comments here, e.g. about your experiences, links to your examples, your related tools (e.g. editors and engines), and your suggestions for Deliberation RuleML 1.02+.

Account holders to the RuleML Wiki can post and comment on Wiki Issues (including requests for Enhancements or reports of Errata) directly. To obtain a RuleML Wiki account, please Contact Us.

Published on July 12, 2014 12:56:16 PM by

Location: the Clarion Congress Hotel, Freyova 33, Prague 9 (Google Map). Website: www.clarioncongresshotelprague.com, ECAI webpage: Map with the meeting rooms.

9:00-10:00 RuleML 2014 Keynote talk: Luc De Raedt. Chair: Dumitru Roman.
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).
  • Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas. On Verifying Reactive Rules Using Rewriting Logic (25 min. presentation).
  • Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna. Checking Termination of Logic Programs with Function Symbols Through Linear Constraints (25 min. presentation).
  • 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).
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).
  • Zaenal Akbar, José María García, Ioan Toma and Dieter Fensel. On Using Semantically-aware Rules for Efficient Online Communication (25 min. presentation).
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).
  • 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).
17:15-17:30 RuleML Closing Session: Best Paper Awards, Rule Challenge Awards, Rulebase Competition Award and Doctorial Consortium Paper Award, RuleML 2014 chairs.
Published on July 12, 2014 12:52:31 PM by

Location: Technická 2, Prague 6 (Google Maps, How to get there from Clarion Congress Hotel or city center). Website: www.fel.cvut.cz.

9:00-10:30 RuleML 2014 Tutorial: Rule learning, Johannes Fuernkranz, TU Darmstadt, Germany. Chair: Antonis Bikakis.
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).
  • 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).
  • 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).
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).
  • 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.
  • 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).
  • Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades. Geosocial SPLIS: A Rule-Based Service for context-aware point of interest exploration. (15 min. presentation).
  • Stanislav Vojir, Premysl Vaclav Duben and Tomas Kliegr. Business Rule Learning with Interactive Selection of Association Rules. (15 min. presentation).
  • 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).
  • Mohammad Sadnan Al Manir. Offshore Holdings Analytics Using Datalog+ RuleML Rules. (15 min. presentation).
  • Gen Zou. GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning. (15 min. presentation).
  • Matthias Tylkowski and Martin Muller. Experiences Using Deliberation RuleML 1.01 as Rule Interchange Language. (15 min. presentation).
Published on July 12, 2014 9:58:17 AM by

Location: Technická 2, Prague 6 (Google Maps, How to get there from Clarion Congress Hotel or city center). Website: www.fel.cvut.cz.

8:50-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.
9:30-10:30 RuleML 2014 Keynote: Rules, Events and Actions, Adrian Paschke, Freie Universität Berlin, Germany. Chair: Leora Morgenstein.
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).
  • 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.
14:45-15:35 RuleML conference talks (interoperability and rules interchange). Chair: Nick Bassiliades.
  • 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).
  • Pablo Fillottrani and C. Maria Keet. Conceptual Model Interoperability: a Metamodel-driven Approach (25 min. presentation).
15:35-16:00 Coffee Break (provided)
16:00-16:30 LegalRuleML Tutorial, by Tara Athan and Monica Palmirani.
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).
  • 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).
Published on July 4, 2014 2:19:49 PM by
Prof. Harold Boley talked on The Many Uses of Rules in Ontology-Based Data Access (http://www.cs.unb.ca/~boley/talks/RulesOBDA.pdf) at the Kolloquium Informatik (http://www.mi.fu-berlin.de/inf/dates/kolloquium/Boley.html) / Semantic Web Meetup (http://www.meetup.com/The-Berlin-Semantic-Web-Meetup-Group/events/187185782/), Freie Universität Berlin, Germany, July 4, 2014, moderated by Prof. Adrian Paschke. The talk explained the three major concepts of Ontology-Based Data Access (OBDA) -- queries, ontologies, and mappings -- as rules, and presented a unified architecture for Rule-Based Data Access (RBDA, http://wiki.ruleml.org/index.php/Rule-Based_Data_Access). The discussion went, among other things, into the uniformity advantages of RBDA and the DeltaForest case study at WSL Birmensdorf, Switzerland, on the susceptibility of forests to climate change.
Published on June 30, 2014 10:25:37 AM by

Regular track:

  • Robert Kowalski and Fariba Sadri. Completeness of a Reactive System Language.
  • Zaenal Akbar, José María García, Ioan Toma and Dieter Fensel. On Using Semantically-aware Rules for Efficient Online Communication.
  • Pablo Fillottrani and C. Maria Keet. Conceptual Model Interoperability: a Metamodel-driven Approach.
  • Katerina Ksystra, Nikolaos Triantafyllou and Petros Stefaneas. On Verifying Reactive Rules Using Rewriting Logic.
  • Iosif Viktoratos, Athanasios Tsadiras and Nick Bassiliades. Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web.
  • Marco Calautti, Sergio Greco, Cristian Molinaro and Irina Trubitsyna. Checking Termination of Logic Programs with Function Symbols Through Linear Constraints.
  • 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.
  • Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers and Bertram Ludaescher. A Hybrid Diagnosis Approach Combining Black-box and White-box Approaches.
  • Pierpaolo Dondio. Multi-valued Argumentation Frameworks.
  • Szymon Bobek and Grzegorz J. Nalepa. Incomplete and uncertain data handling in context-aware rule-based systems with modified certainty factors algebra.
  • Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani. The hardness of revising defeasible preferences.
  • 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.

Special Track: Rules and Human Language Technology

  • Juyeon Kang and Saint Dizier Patrick. Requirement Compound Mining and Analysis.
  • Shashishekar Ramakrishna and Adrian Paschke. Semi-Automated Vocabulary Building for Structured Legal English.
  • C. Maria Keet and Langa Khumalo. Basics for a grammar engine to verbalize logical theories in isiZulu.
  • Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane and Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology.

Special Track: Learning (Business) Rules from Data

  • Tomas Kliegr, Jaroslav Kuchar, Davide Sottara and Stanislav Vojír. Learning Business Rules with Association Rule Classifiers.
  • Ladislav Peska and Peter Vojtas. Interpreting Web Shop User’s Behavioral Patterns as Fictitious Explicit Rating for Preference Learning.
  • Jan Rauch and Milan Simunek. Learning Association Rules from Data through Domain Knowledge and Automation.
  • 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.

Special Track: Legal Rules and Norms

  • Mustafa Hashmi, Guido Governatori and Moe Wynn. Modeling Obligations with the Event-Calculus.
  • Shashishekar Ramakrishna and Adrian Paschke. A Process for Knowledge Transformation and Knowledge Representation of Patent Law.
  • Clara Smith, Antonino Rotolo, Giovanni Sartor and Erica Calardo. Legal Responsibility for the Acts of Others: A Logical Analysis.