Rule Representation, Interchange and Reasoning on the Web

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.

Klappentext

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.

Inhalt

Keynote Talks (Abstracts).- Rule Interchange Format: The Framework.- The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems.- Event and Process Semantics Will Rule.- Rule Engineering.- Development and Verification of Rule Based Systems - A Survey of Developers.- Connecting Legacy Code, Business Rules and Documentation.- Verifying Resource Requirements for Distributed Rule-Based Systems.- Meta-analysis for Validation and Strategic Planning.- Rule-Based Methodologies and Applications in Policies, Electronic Contracts and Security.- Abductive Workflow Mining Using Binary Resolution on Task Successor Rules.- A Rule-Based Framework Using Role Patterns for Business Process Compliance.- Detection of Suspicious Activity Using Different Rule Engines - Comparison of BaseVISor, Jena and Jess Rule Engines.- A Rule-Based Notation to Specify Executable Electronic Contracts.- Rule Representation Languages and Reasoning Engines.- On Extending RuleML for Modal Defeasible Logic.- Adding Uncertainty to a Rete-OO Inference Engine.- Programming with Fuzzy Logic Rules by Using the FLOPER Tool.- Ruling Networks with RDL: A Domain-Specific Language to Task Wireless Sensor Networks.- Rule-Based Methodologies and Applications in Distributed and Heterogeneous Environments.- Local and Distributed Defeasible Reasoning in Multi-Context Systems.- Personal Agents in the Rule Responder Architecture.- Semi-automatic Composition of Geospatial Web Services Using JBoss Rules.- A RuleML Study on Integrating Geographical and Health Information.- Natural-Language and Graphical Rule Representation and Processing.- SBVR Use Cases.- Visualization of Proofs in Defeasible Logic.- Building an Autopoietic Knowledge Structure for Natural Language Conversational Agents.- A Functional Spreadsheet Framework for Authoring Logic Implication Rules.- RuleML-2008 Challenge.- Please Pass the Rules: A Rule Interchange Demonstration.- Self-sustained Routing for Event Diffusion in Wireless Sensor Networks.