Theory, Practice, and Applications of Rules on the Web

1. Front Matter

   PDF

2. Invited Talks

   1. Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables

      • Lise Getoor

      Pages 1-1

   2. Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog

      • Benjamin N. Grosof

      Pages 2-11

   3. Ontology Repositories Make a World of Difference

      • Michael Grüninger

      Pages 12-12

3. Tutorials

   1. LegalRuleML: From Metamodel to Use Cases

      • Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Wyner

      Pages 13-18

   2. Formalization of Natural Language Regulations through SBVR Structured English

      • François Lévy, Adeline Nazarenko

      Pages 19-33

   3. Multi-agent Activity Modeling with the Brahms Environment

      • Maarten Sierhuis

      Pages 34-35

   4. Rules and Policy Based Handling of XML in Government Contexts Including NIEM

      • David Webber

      Pages 36-36

4. Technical Papers, Main Track

   1. Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach

      • Sotiris Batsakis

      Pages 37-51

   2. Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules

      • Harold Boley

      Pages 52-67

   3. Modeling Stable Matching Problems with Answer Set Programming

      • Sofie De Clercq, Steven Schockaert, Martine De Cock, Ann Nowé

      Pages 68-83

   4. A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management

      • Christoph Frenzel, Henning Sanneck, Bernhard Bauer

      Pages 84-98

   5. Picking Up the Best Goal

      • Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani

      Pages 99-113

   6. Computing Temporal Defeasible Logic

      • Guido Governatori, Antonino Rotolo

      Pages 114-128

   7. Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems

      • Philipp Herzig, Bernhard Wolf, Svenja Brunstein, Alexander Schill

      Pages 129-143

   8. Ontology Patterns for Complex Activity Modelling

      • Georgios Meditskos, Stamatia Dasiopoulou, Vasiliki Efstathiou, Ioannis Kompatsiaris

      Pages 144-157

   9. A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments

      • Assaad Moawad, Antonis Bikakis, Patrice Caire, Grégory Nain, Yves Le Traon

      Pages 158-172

   10. Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications

       • Mark Proctor, Mario Fusco, Davide Sottara

       Pages 173-187

   11. Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization

       • Ilias Tachmazidis, Grigoris Antoniou

       Pages 188-202

   12. Distributed ECA Rules for Data Management Policies

       • Hao Xu, Arcot Rajasekar, Reagan W. Moore, Mike Wan

       Pages 203-217

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

• contextual reasoning
• defeasible logic
• ontologies
• proactive management
• spatiotemporal reasoning

• SAIC / Leidos, Arlington, USA

  Leora Morgenstern

• School of Applied Mathematics and Physics, National Technical University of Athens, Athens, Greece

  Petros Stefaneas

• Université Paris 13, Paris, France

  François Lévy

• Department of Computing Science, University of Aberdeen, Aberdeen, UK

  Adam Wyner

• Corporate Semantic Web, Freie Universität, Institut für Informatik, Berlin, Germany

  Adrian Paschke

Policies and ethics