Rules on the Web: From Theory to Applications

1. Front Matter

   PDF

2. Keynote Talks

   1. Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing

      • Adrian Paschke

      Pages 1-21

3. Regular Track

   1. A Logical Characterization of a Reactive System Language

      • Robert Kowalski, Fariba Sadri

      Pages 22-36

   2. On Using Semantically-Aware Rules for Efficient Online Communication

      • Zaenal Akbar, José María García, Ioan Toma, Dieter Fensel

      Pages 37-51

   3. Conceptual Model Interoperability: A Metamodel-driven Approach

      • Pablo Rubén Fillottrani, C. Maria Keet

      Pages 52-66

   4. On Verifying Reactive Rules Using Rewriting Logic

      • Katerina Ksystra, Nikos Triantafyllou, Petros Stefaneas

      Pages 67-81

   5. Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web

      • Iosif Viktoratos, Athanasios K. Tsadiras, Nick Bassiliades

      Pages 82-96

   6. Checking Termination of Logic Programs with Function Symbols through Linear Constraints

      • Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

      Pages 97-111

   7. A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research

      • Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold

      Pages 112-126

   8. A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning

      • Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Ludäscher

      Pages 127-141

   9. Multi-valued Argumentation Frameworks

      • Pierpaolo Dondio

      Pages 142-156

   10. Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra

       • Szymon Bobek, Grzegorz J. Nalepa

       Pages 157-167

   11. The Hardness of Revising Defeasible Preferences

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

       Pages 168-177

   12. From Guidelines to Practice: Improving Clinical Care through Rule-Based Clinical Decision Support at the Point of Care

       • Ayesha Aziz, Salvador Rodriguez, Chris Chatwin

       Pages 178-185

4. Rules and Human Language Technology

   1. Requirement Compound Mining and Analysis

      • Juyeon Kang, Patrick Saint-Dizier

      Pages 186-200

   2. Semi-automated Vocabulary Building for Structured Legal English

      • Shashishekar Ramakrishna, Adrian Paschke

      Pages 201-215

   3. Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu

      • C. Maria Keet, Langa Khumalo

      Pages 216-225

   4. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology

      • Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau

      Pages 226-235

5. Learning (Business) Rules from Data

   1. Learning Business Rules with Association Rule Classifiers

      • Tomáš Kliegr, Jaroslav Kuchař, Davide Sottara, Stanislav Vojíř

      Pages 236-250

   2. Interpreting Web Shop User’s Behavioral Patterns as Fictitious Explicit Rating for Preference Learning

      • Ladislav Peska, Peter Vojtas

      Pages 251-265

This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014.
The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.

• applied computing
• association rules
• business rules
• decision support systems
• enterprise computing
• higher order logic
• information systems applications
• knowledge representation and reasoning
• legal rules
• logic and verification
• markup languages
• modal and temporal logics
• natural language processing
• ontologies
• proof theory
• reactive rules
• reasoning about belief and knowledge
• semantics and reasoning
• spatial and physical reasoning
• temporal reasoning

• Department of Information Studies, University College London, London, UK

  Antonis Bikakis

• Department of Computer Science, Stony Brook University, Stony Brook, USA

  Paul Fodor

• SINTEF, University of Oslo, Oslo, Norway

  Dumitru Roman

Policies and ethics