Rule Representation, Interchange and Reasoning on the Web

1. Front Matter

   PDF

2. Keynote Talks (Abstracts)

   1. Rule Interchange Format: The Framework

      • Michael Kifer

      Pages 1-2

   2. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems

      • David Luckham

      Pages 3-3

   3. Event and Process Semantics Will Rule

      • Paul Haley

      Pages 4-5

3. Rule Engineering

   1. Development and Verification of Rule Based Systems — A Survey of Developers

      • Valentin Zacharias

      Pages 6-16

   2. Connecting Legacy Code, Business Rules and Documentation

      • Erik Putrycz, Anatol W. Kark

      Pages 17-30

   3. Verifying Resource Requirements for Distributed Rule-Based Systems

      • Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib

      Pages 31-38

   4. Meta-analysis for Validation and Strategic Planning

      • David A. Ostrowski

      Pages 39-46

4. Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security

   1. Abductive Workflow Mining Using Binary Resolution on Task Successor Rules

      • Scott Buffett

      Pages 47-57

   2. A Rule-Based Framework Using Role Patterns for Business Process Compliance

      • Akhil Kumar, Rong Liu

      Pages 58-72

   3. Detection of Suspicious Activity Using Different Rule Engines — Comparison of BaseVISor, Jena and Jess Rule Engines

      • Jakub Moskal, Christopher J. Matheus

      Pages 73-80

   4. A Rule-Based Notation to Specify Executable Electronic Contracts

      • Massimo Strano, Carlos Molina-Jimenez, Santosh Shrivastava

      Pages 81-88

5. Rule Representation Languages and Reasoning Engines

   1. On Extending RuleML for Modal Defeasible Logic

      • Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur

      Pages 89-103

   2. Adding Uncertainty to a Rete-OO Inference Engine

      • Davide Sottara, Paola Mello, Mark Proctor

      Pages 104-118

   3. Programming with Fuzzy Logic Rules by Using the FLOPER Tool

      • Pedro J. Morcillo, Gines Moreno

      Pages 119-126

   4. Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks

      • Kirsten Terfloth, Jochen Schiller

      Pages 127-134

6. Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments

   1. Local and Distributed Defeasible Reasoning in Multi-Context Systems

      • Antonis Bikakis, Grigoris Antoniou

      Pages 135-149

   2. Personal Agents in the Rule Responder Architecture

      • Benjamin Larry Craig, Harold Boley

      Pages 150-165

   3. Semi-automatic Composition of Geospatial Web Services Using JBoss Rules

      • Raluca Zaharia, Laurenţiu Vasiliu, Costin Bădică

      Pages 166-173

   4. A RuleML Study on Integrating Geographical and Health Information

      • Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi

      Pages 174-181

The 2008 International Symposium on Rule Interchange and Applications (RuleML th 2008), collocated in Orlando, Florida, with the 11 International Business Rules - rum, was the premier place to meet and to exchange ideas from all fields of rules te- nologies. The aim of RuleML 2008 was both to present new and interesting research results and to show successfully deployed rule-based applications. This annual sym- sium is the flagship event of the Rule Markup and Modeling Initiative (RuleML). The RuleML Initiative (www.ruleml.org) is a non-profit umbrella organization of several technical groups organized by representatives from academia, industry and government working on rule technologies and applications. Its aim is to promote the study, research and application of rules in heterogeneous distributed environments such as the Web. RuleML maintains effective links with other major international societies and acts as intermediary between various ‘specialized’ rule vendors, appli- tions, industrial and academic research groups, as well as standardization efforts from, for example, W3C, OMG, and OASIS.

• Routing
• Web Services
• business processes
• business rules
• collaborative authoring
• constraints
• distributed rule bases
• documentation
• execution models
• expert systems
• fuzzy logic programming
• programming
• structured analysis
• validation
• verification

• Department of Informatics, Aristotle University, Thessaloniki, Greece

  Nick Bassiliades

• National ICT Australia, Queensland Research Laboratory, St Lucia, Queensland, Australia

  Guido Governatori

• Chair for Corporate Semantic Web, Free University Berlin, Berlin, Germany

  Adrian Paschke

Policies and ethics