Day 1: August 18, 2014

July 12, 2014 at 9:58 AM

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

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).