Rule-Based Reasoning, Programming, and Applications

1. Front Matter

   PDF

2. Keynote Speakers (Abstracts)

   1. Rule-Based Activity Recognition in Ambient Intelligence

      • Grigoris Antoniou

      Pages 1-1

   2. An Overview of the Ciao System

      • Manuel V. Hermenegildo, F. Bueno, M. Carro, P. López-García, R. Haemmerlé, E. Mera et al.

      Pages 2-2

3. Rule-Based Distributed/Multi-Agent Systems

   1. Rule-Based Distributed and Agent Systems

      • Costin Bǎdicǎ, Lars Braubach, Adrian Paschke

      Pages 3-28

   2. Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers

      • Kalliopi Kravari, Konstantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

      Pages 29-43

   3. Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems

      • Kalliopi Kravari, Taylor Osmun, Harold Boley, Nick Bassiliades

      Pages 44-51

4. Rules, Agents and Norms

   1. Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems

      • Antonino Rotolo, Leendert van der Torre

      Pages 52-66

   2. Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic

      • Antonino Rotolo

      Pages 67-82

   3. A Dynamic Metalogic Argumentation Framework Implementation

      • Jenny S. Z. Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt

      Pages 83-98

   4. Integrating Written Policies in Business Rule Management Systems

      • Adeline Nazarenko, Abdoulaye Guissé, François Lévy, Nouha Omrane, Sylvie Szulman

      Pages 99-113

5. Rule-Based Event Processing and Reaction Rules

   1. On Complex Event Processing for Real-Time Situational Awareness

      • Nenad Stojanovic, Alexander Artikis

      Pages 114-121

   2. Retractable Complex Event Processing and Stream Reasoning

      • Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

      Pages 122-137

   3. A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams

      • Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic

      Pages 138-153

   4. Entity-Based State Management for Complex Event Processing Applications

      • Hannes Obweger, Josef Schiefer, Martin Suntinger, Robert Thullner

      Pages 154-169

6. Fuzzy Rules and Uncertainty

   1. Declarative Traces into Fuzzy Computed Answers

      • Pedro-Jose Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez

      Pages 170-185

   2. A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming

      • Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés Moreno

      Pages 186-193

7. Rules and the Semantic Web

   1. A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules

      • Harold Boley

      Pages 194-211

   2. COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices

      • Wei Tai, John Keeney, Declan O’Sullivan

      Pages 212-226

   3. Rule-Based Trust Assessment on the Semantic Web

      • Ian Jacobi, Lalana Kagal, Ankesh Khandelwal

      Pages 227-241

   4. SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0

      • Sotiris Batsakis, Euripides G. M. Petrakis

      Pages 242-249

This book constitutes the refereed proceedings of the 5th International Symposium on Rules, RuleML 2011 - Europe, held in Barcelona, Spain, in July 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. It is the first of two RuleML events that take place in 2011. The second RuleML Symposium - RuleML 2011 - America - will be held in Fort Lauderdale, FL, USA, in November 2011. The 18 revised full papers, 8 revised short papers and 3 invited track papers presented together with the abstracts of 2 keynote talks were carefully reviewed and selected from 58 submissions. The papers are organized in the following topical sections: rule-based distributed/multi-agent systems; rules, agents and norms; rule-based event processing and reaction rules; fuzzy rules and uncertainty; rules and the semantic Web; rule learning and extraction; rules and reasoning; and rule-based applications.

• OWL
• agent technology
• event systems
• knowledge processing
• ontologies
• rule inference
• rule management systems
• algorithm analysis and problem complexity

• Department of Informatics, Aristotle University of Thessaloniki, Thessaloniki, Greece

  Nick Bassiliades

• Queensland Research Laboratory, NICTA, St. Lucia, Australia

  Guido Governatori

• Computer Science Department, Corporate Semantic Web, Freie Universität Berlin, Berlin, Germany

  Adrian Paschke

Policies and ethics