Program and Accepted Papers

Quick Links: Program Overview, Detailed Program, Accepted Papers


Proceedings

Morgenstern, L.; Stefaneas, P.; Lévy, F.; Wyner, A.; Paschke, A. (Eds.): Theory, Practice, and Applications of Rules on the Web, 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings
http://www.springerlink.com/content/978-3-642-39616-8/

Paul Fodor, Dumitru Roman, Darko Anicic, Adam Wyner, Monica Palmirani, Davide Sottara, François Lévy: Rule Challenge, Human Language Technology and Doctoral Consortium @ RuleML 2013, Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, hosted at the 8th International Symposium on Rules (RuleML2013), Seattle, USA, July 11 -13, 2013, published on CEUR-WS: 10-Jul-2013, URN: urn:nbn:de:0074-1004-3
http://ceur-ws.org/Vol-1004/


Program Overview





Thu
07/11/13

Fri
07/12/13

Sat
07/13/13

8:00 AM

Registration

 

 

8:30 AM

Welcome
and Opening Remarks RuleML 2013

Tutorial
3: François Lévy and Adeline Nazarenko - Formalization of Natural Language
Regulations through SBVR Structured English

 

Session
5: Defeasible Reasoning

8:45 AM

9:00 AM

InroducingRuleML
Technology

9:15 AM

Tutorial
1: Maarten Sierhuis - Multi-Agent Activity Modeling with the Brahms
Environment

10:00
AM

Coffee
break

Coffee
Break

10:15
AM

10:30
AM

Coffee
Break

Session
2: Human Language Technology

Session
5: Defeasible Reasoning

11:00
AM

Keynote
1: Michael Gruninger - Ontology Repositories Make a World of Difference

Keynote
2: Lise Getoor - Probabilistic Soft Logic: A Scalable Approach for Markov
Random Fields over Continuous-Valued Variables

11:10
AM

11:15
AM

11:30
AM

11:45
AM

12:00 PM

Lunch

Lunch

Lunch

12:15 PM

12:30 PM


1:00 PM

1:15 PM

 Invited talk: Benjamin Grosof -
Rapid
Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual
Logic and Rulelog

 Session 6: Ontologies

1:30 PM

Session
1: Philipp Herzig, Bernhard Wolf, Svenja Brunstein and Alexander Schill -
Efficient Persistency Management in Complex Event Processing: A Hybrid
Approach for Gamification Systems

1:40 PM

1:50 PM

2:00 PM

Tutorial
2: David Webber, James Cabral - Rules and Policy based handling of XML in Government
Contexts including NIEM

2:15 PM

Session
3: Human Language Technology

2:30 PM

2:45 PM

Challenge -Invited talk: Monica Palmirani. Rawe: An Editor for Rule
Markup of Legal
Texts and Conversion to LegalRuleML Based on Akoma Ntoso Markup

Coffee
Break

3:00 PM

3:15 PM

Coffee
Break

Session
7: Policies and Events


3:30 PM

 Coffee Break

3:45 PM

International Rule
Challenge



10 Minutes Break

4:00 PM

Session

4: Distributed Rule Processing

4:15 PM

4:30 PM

Invited talk: Dumitru
Roman:
UniLFS: A Unifying Logical Framework for Service Modeling and Contracting

4:45 PM

Invited talk: Davide Sottara
OMG API4KB

5:00 PM

Tutorial
4: Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian
Paschke and Adam Wyner - LegalRuleML:
from Metamodel to Use Cases - A
Tutorial

PhD
Doctoral Consortium

5:30 PM

6:00 PM

Closing Session

With Best Paper Award, Challenge Award, PhD Paper Award

6:10 PM

RuleML Steering Committee and Board of Directors Meeting (not public)

6:30 PM

OASIS Legal RuleML
F2F

(public)

 

7:30 PM

Dinner with ISO Common Logic 
F2F birds of feather table and Welcome Drink (public)

 Joint Dinner

Back to top


Detailed Program

Thursday, the 11th

8h00 - 8h30 Registration

8h30 - 9h00 Welcome and Opening Remarks RuleML 2013
9h00 - 9h15 Introducing RuleML: Organization, Language, and Technology
9h15 - 10h30 Tutorial 1: Maarten Sierhuis - Multi-Agent Activity Modeling with the Brahms Environment

10h30 - 11h00 Coffee Break

11h00 - 12h00 Keynote 1: Michael Gruninger - Ontology Repositories Make a World of Difference

12h00 - 13h30 Lunch

13h30 - 14h00 Philipp Herzig, Bernhard Wolf, Svenja Brunstein and Alexander Schill - Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems
14h00 - 14h45 Tutorial 2: David Webber, James E. Cabral - Rules and Policy based handling of XML in Government Contexts including NIEM
14h45 - 15h15 Challenge invited talk: Monica Palmirani. Rawe: An Editor for Rule Markup of Legal Texts and Conversion to LegalRuleML Based on Akoma Ntoso Markup (paper)

15h15 - 15h45 Coffee Break

15h45 - 17h00 Challenge session 1 - Chair: Dumitru Roman

1 Elie Abi-Lahoud, John Hall, Donald Chapin and Tom Butler Interpreting Regulations with SBVR

2 Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain and Yves Le Traon R-CoRe: A Rule-based Contextual Reasoning Platform for AmI

3 Jaroslaw Bak, Maciej Nowak and Czeslaw Jedrzejek Graph-based Editor for SWRL Rule Bases

4 Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin Grosof, Michael Kifer, Senlin Liang and Terrance Swift Advanced Knowledge Base Debugging for Rulelog (best demo)

5 Czeslaw Jedrzejek, Jakub Dutkiewicz and Jolanta Cybulka Knowledge-based highly-specialized terrorist event extraction

17h00 - 17h10 Break

17h10 - 18h10 Challenge session 2 - Chair: Paul Fodor

6 Ling Shi, Dumitru Roman and Arne J. Berre SBVR as a Semantic Hub for Integration of Heterogeneous Systems - A Case Study and Experience Report

7 Martin Koch, Sven Schmidt, Harold Boley and Rainer Herpers Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG

8 Tara Athan Importation Closure that is Robust to Circular Dependencies

9 Stanislav Vojir, Tomas Kliegr, Andrej Hazucha, Radek Skrabal and Milan Simunek Transforming Association Rules to Business Rules: EasyMiner meets Drools

19:30 Common Logic F2F birds of feather table with a RuleML 2013 welcome drink (public)

Back to top

Friday, the 12th

8h30 - 10h00 Tutorial 3: François Lévy and Adeline Nazarenko - Formalization of Natural Language Regulations through SBVR Structured English

10h00 - 10h30 Coffee Break

10h30 - 12h15 session 2: Human Language Technology

10h30 - 11h00: Fabian Neuhaus and Edward Barkmeyer - RECON -- A Controlled English for Business Rules
11h00 - 11h30: Adam Wyner and Guido Governatori - An Experiment in Translating Regulatory Rules from Natural Language to Defeasible Logic
11h30 - 12h00: Ping Xue, Steve Poteet, Anne Kao, David Mott and Dave Braines - Constructing Controlled English for Both Human Usage and Machine Processing

12h00 - 13h15 lunch

13h15 - 14h15 Invited talk: Benjamin Grosof - Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog
14h15 - 15h30 session 3: Human Language Technology

14h15 - 14h45: Adeline Nazarenko and François Lévy - Combining acquisition and debugging of business rule models
14h45 - 15h00: Guido Boella, Luigi Di Caro and Livio Robaldo - Semantic Relation Extraction from Legislative Text using Syntactic Dependencies and Support Vector Machines (short)
15h00 - 15h30: William Murray, Philip Harrison and Tomas Singliar - Interpreting Spatiotemporal Expressions from English to Fuzzy Logic

15h30 - 16h00 Coffee Break

16h00 - 17h00 session 4: Distributed Rule Processing

16h00 - 16h30 Ilias Tachmazidis and Grigoris Antoniou - Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization (best paper)
16h30 - 17h00 Dumitru Roman: UniLFS: A Unifying Logical Framework for Service Modeling and Contracting

17h00 - 18h30 tutorial 4: Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner - LegalRuleML: from Metamodel to Use Cases - A Tutorial (Overview, Metamodel, Defeasible and Deontic Operators, Patent Law Use Case)
18h30 - OASIS Legal RuleML F2F

Back to top

Saturday, the 13th

8h30 - 10h00 session 5: Defeasible Reasoning

8h30 - 9h00: Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Matteo Cristani - Picking Up The Best Goal: An Analytical Study in Defeasible Logic
9h00 - 9h30: Assaad Moawad, Antonis Bikakis, Grégory Nain, Patrice Caire and Yves Le Traon - A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments
9h30-10h00: Sofie De Clercq, Martine De Cock, Steven Schockaert and Ann Nowé - Modeling Stable Matching Problems with Answer Set Programming

10h00-10h30 coffee break

10h30 - 11h00: Guido Governatori and Antonino Rotolo - Computing Temporal Defeasible Logics
11h00-12h00 keynote 2: Lise Getoor - Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables

12h00 -13:15h Lunch

13:15h - 14h45 Session 6: Ontologies

13:15h - 13h45: Harold Boley - Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules
13h45 - 14h15: Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou and Yiannis Kompatsiaris - Ontology Patterns for Complex Activity Modelling
14h15 - 14h45: Sotiris Batsakis - Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach

14h45-15h15 coffee break

15h15-16h45 session 7: Policies and Events

15h15 - 15h45: Mark Proctor, Mario Fusco and Davide Sottara - Extending an Object-Oriented Rete Network with fine-grained Reactivity to Property Modifications
15h45 - 16h15: Hao Xu, Arcot Rajasekar, Reagan Moore and Mike Wan - Distributed ECA Rules for Data Management Policies
16h15 - 16h45: Christoph Frenzel, Henning Sanneck and Bernhard Bauer - A Fuzzy, Utility-based Approach for Proactive Policy-based Management

16:45 - 17:10 Invited Talk: Davide Sottara - OMG API4KB

17h10 - 18h00 Doctoral Consortium (20 minutes presentation + 5 minutes discussion) - Chair: Monica Palmirani

17h35 - 18h00 Phd Paper 1: Majid Latifi (Universitat Politècnica de Catalunya): Proposal for Using NLP Interchange Format for Question Answering in Organizations (paper)
17h10 - 17h35 PhD Paper 2: Reza Basseda (Stony Brook University): Process Representation Using Transaction Logic (paper) (best Phd paper)
17h35 - 18h00 PhD Paper3: Shashishekar Ramakrishna (Freie Universitaet Berlin): First Approaches on Knowledge Representation of Elementary (Patent) Pragmatics (paper)

18h00 - 18h15 Closing Session (RuleML 2013 wrap-up, RuleML 2014 announcement, best paper award, challenge award, PhD paper award)

19:30 Joint Dinner

Back to top

Sunday, the 14th (Social Program)

10h30 - 16h00 Informal Seattle RuleML Crawl (Motto: "Exceptions to Rules are Rules too"). Chat with your RuleML Peers while taking in Seattle Tourist Attractions (self-paid lunch and coffee)
Meeting Point 10:45am: Space Needle, Broad Street, Seattle, WA

Back to top


Accepted Papers for RuleML 2013

    Invited Talks


  • Lise Getoor
    Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables
  • Benjamin Grosof
    Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog
  • Michael Gruninger
    Ontology Repositories Make a World of Difference
  • Tutorials


  • Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
    LegalRuleML: from Metamodel to Use Cases - A Tutorial
  • François Lévy and Adeline Nazarenko
    Formalization of Natural Language Regulations through SBVR Structured English
  • Maarten Sierhuis
    Multi-Agent Activity Modeling with the Brahms Environment
  • David Webber, James Cabral
    Rules and Policy based handling of XML in Government Contexts including NIEM
  • Technical Papers, Main Track


  • Sotiris Batsakis
    Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach
  • Harold Boley
    Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules
  • Sofie De Clercq, Martine De Cock, Steven Schockaert and Ann Nowé
    Modeling Stable Matching Problems with Answer Set Programming
  • Christoph Frenzel, Henning Sanneck and Bernhard Bauer
    A Fuzzy, Utility-based Approach for Proactive Policy-based Management
  • Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Matteo Cristani
    Picking Up The Best Goal: An Analytical Study in Defeasible Logic
  • Guido Governatori and Antonino Rotolo
    Computing Temporal Defeasible Logics
  • Philipp Herzig, Bernhard Wolf, Svenja Brunstein and Alexander Schill
    Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems
  • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou and Yiannis Kompatsiaris
    Ontology Patterns for Complex Activity Modelling
  • Assaad Moawad, Antonis Bikakis, Grégory Nain, Patrice Caire and Yves Le Traon
    A Rule-based Contextual Reasoning Platform for Ambient Intelligence environments
  • Mark Proctor, Mario Fusco and Davide Sottara
    Extending an Object-Oriented Rete Network with fine-grained Reactivity to Property Modifications
  • Ilias Tachmazidis and Grigoris Antoniou
    Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization
  • Hao Xu, Arcot Rajasekar, Reagan Moore and Mike Wan
    Distributed ECA Rules for Data Management Policies

Back to top

Accepted Papers for Special Track Human Language Technology

  • Guido Boella, Luigi Di Caro and Livio Robaldo
    Semantic Relation Extraction from Legislative Text using Syntactic Dependencies and Support Vector Machines
  • Fabian Neuhaus and Edward Barkmeyer
    RECON -- A Controlled English for Business Rules
  • Adeline Nazarenko and François Lévy
    Combining acquisition and debugging of business rule models
  • Nicholas Hubert Kirk, Daniel Nyga and Michael Beetz
    Controlled Natural Languages in Artificial Cognition: Language Generation and Action Formalization
  • William Murray, Philip Harrison and Tomas Singliar
    Interpreting Spatiotemporal Expressions from English to Fuzzy Logic
  • Adam Wyner and Guido Governatori
    An Experiment in Translating Regulatory Rules from Natural Language to Defeasible Logic
  • Ping Xue, Steve Poteet, Anne Kao, David Mott and Dave Braines
    Constructing Controlled English for Both Human Usage and Machine Processing

Back to top

Accepted Demos for the International Rule Challenge

  • Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain and Yves Le Traon R-CoRe
    A Rule-based Contextual Reasoning Platform for AmI
  • Elie Abi-Lahoud, John Hall, Donald Chapin and Tom Butler
    Interpreting Regulations with SBVR
  • Jaroslaw Bak, Maciej Nowak and Czeslaw Jedrzejek
    Graph-based Editor for SWRL Rule Bases
  • Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin Grosof, Michael Kifer, Senlin Liang and Terrance Swift
    Advanced Knowledge Base Debugging for Rulelog
  • Czeslaw Jedrzejek, Jakub Dutkiewicz and Jolanta Cybulka
    Knowledge-based highly-specialized terrorist event extraction
  • Daniel Ritter
    The Business Network System
  • Ling Shi, Dumitru Roman and Arne J. Berre
    SBVR as a Semantic Hub for Integration of Heterogeneous Systems - A Case Study and Experience Report
  • Martin Koch, Sven Schmidt, Harold Boley and Rainer Herpers
    Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG
  • Tara Athan
    Importation Closure that is Robust to Circular Dependencies
  • Stanislav Vojir, Tomas Kliegr, Andrej Hazucha, Radek Skrabal, Milan Simunek
    EasyMiner meets Business Rules - First Considerations

Back to top

Accepted Papers for the RuleML Doctoral Consortium

  • Majid Latifi (Universitat Politècnica de Catalunya)
    Proposal for Using NLP Interchange Format for Question Answering in Organizations
  • Reza Basseda (Stony Brook University)
    Process Representation Using Transaction Logic
  • Shashishekar Ramakrishna (Freie Universitaet Berlin)
    First Approaches on Knowledge Representation of Elementary (Patent) Pragmatics