Rule Representation, Interchange and Reasoning on the Web: International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings (Lecture Notes in Computer Science, 5321)

This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orlando, FL, USA, in October 2008 - collocated with the 11th International Business Rules Forum. The 10 revised full papers and 10 revised short papers presented together with 2 demo papers and the abstracts of 3 keynote lectures were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule representation languages and reasoning engines, rule-based methodologies and applications in distributed and heterogeneous environments, natural-language and graphical rule representation and processing, as well as exemplary contributions to the RuleML-2008 challenge. Front Matter....Pages - Rule Interchange Format: The Framework....Pages 1-2 The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems....Pages 3-3 Event and Process Semantics Will Rule....Pages 4-5 Development and Verification of Rule Based Systems — A Survey of Developers....Pages 6-16 Connecting Legacy Code, Business Rules and Documentation....Pages 17-30 Verifying Resource Requirements for Distributed Rule-Based Systems....Pages 31-38 Meta-analysis for Validation and Strategic Planning....Pages 39-46 Abductive Workflow Mining Using Binary Resolution on Task Successor Rules....Pages 47-57 A Rule-Based Framework Using Role Patterns for Business Process Compliance....Pages 58-72 Detection of Suspicious Activity Using Different Rule Engines — Comparison of BaseVISor, Jena and Jess Rule Engines....Pages 73-80 A Rule-Based Notation to Specify Executable Electronic Contracts....Pages 81-88 On Extending RuleML for Modal Defeasible Logic....Pages 89-103 Adding Uncertainty to a Rete-OO Inference Engine....Pages 104-118 Programming with Fuzzy Logic Rules by Using the FLOPER Tool....Pages 119-126 Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks....Pages 127-134 Local and Distributed Defeasible Reasoning in Multi-Context Systems....Pages 135-149 Personal Agents in the Rule Responder Architecture....Pages 150-165 Semi-automatic Composition of Geospatial Web Services Using JBoss Rules....Pages 166-173 A RuleML Study on Integrating Geographical and Health Information....Pages 174-181 SBVR Use Cases....Pages 182-196 Visualization of Proofs in Defeasible Logic....Pages 197-210 Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents....Pages 211-218 A Functional Spreadsheet Framework for Authoring Logic Implication Rules....Pages 219-226 Please Pass the Rules: A Rule Interchange Demonstration....Pages 227-235 Self-sustained Routing for Event Diffusion in Wireless Sensor Networks....Pages 236-241 Back Matter....Pages - 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.

This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2008, held in Orlando, FL, USA, in October 2008 - collocated with the 11th International Business Rules Forum.

The 10 revised full papers and 10 revised short papers presented together with 2 demo papers and the abstracts of 3 keynote lectures were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic contracts and security, rule representation languages and reasoning engines, rule-based methodologies and applications in distributed and heterogeneous environments, natural-language and graphical rule representation and processing, as well as exemplary contributions to the RuleML-2008 challenge.