Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings
Published on 12. July 2011
XIII, 385 pages
978-3-642-22546-8 (ISBN)
Description
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.
More details
Other editions
Additional editions
Nick Bassiliades | Guido Governatori | Adrian Paschke
Rule-Based Reasoning, Programming, and Applications
5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings
Book
07/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Keynote Speakers (Abstracts)
- Rule-Based Activity Recognition in Ambient Intelligence
- An Overview of the Ciao System
- Reference
- Rule-Based Distributed/Multi-Agent Systems
- Rule-Based Distributed and Agent Systems
- Introduction
- Rule-Based Distributed Systems
- Parallel Rule-Based Systems
- Rule-Based Systems as Agent Reasoning Models
- Rule-Based Grid/Cloud/High-Performance Computing Systems
- Rule-Based P2P Systems
- Rule-Based Event Processing Agent Systems
- Roles of Rules in Multi-Agent Systems
- Rules on the Micro Layer
- Hybrid Agent Architectures
- Rules on the Marco Layer
- Conclusion
- References
- Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers
- Introduction
- EMERALD: A Multi-agent Knowledge-Based Framework
- Reasoners
- DR-Prolog Reasoner
- Defeasible Proofing Services
- The Dr-Prolog Reasoner Equipped with a Defeasible Proof Service
- The Defeasible Proof Validator
- Related Work
- Conclusions and Future Work
- References
- Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems
- Introduction
- EMERALD: A Multi-Agent Knowledge-Based Framework
- Rule Responder
- EMERALD-Rule Responder Interoperation Gateway
- A Multi-Step Interaction Scenario
- Related Work
- Conclusions and Future Work
- References
- Rules, Agents and Norms
- Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems
- Introduction
- NMAS Requirements
- The Norm-Change Definition
- The Mechanism Design Definition
- Specific Developments
- How Do Agents Comply with Norms?
- Change
- Summary
- References
- Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic
- Introduction and Background
- The Logical Framework
- Compliance and Revising Intentions
- Conceptual Background
- A Simple Model
- Refinements: Using Paths
- Related Work
- Summary and Future Work
- References
- A Dynamic Metalogic Argumentation Framework Implementation
- Introduction
- Metalogic and Argumentation
- Argumentation Games
- A Sample Legal Case in Defeasible Logic
- Metalogic Program Formalization
- Implementation: A Dynamical Meta-Interpreter for DL
- Implementation: The Dynamical Defeasible Logic Prover
- Implementation: The Dynamical Game Model Interpreter
- Complexity
- Complexity Analysis
- Complexity Reduction
- Ubongo
- Related Work
- Conclusion and Future Work
- References
- Integrating Written Policies in Business Rule Management Systems
- Introduction
- Related Works
- Business Modelling
- Semantic Annotation
- A Core Index Structure
- Acquiring a Business Rule Model
- Acquisition of a Domain Ontology
- Semantic Annotation
- Acquisition of Business Rules
- Results
- Exploiting and Exploring the Resulting Index
- Semantic Search
- Acquisition
- Support for Consistency Checking
- Maintenance
- Conclusion
- References
- Rule-Based Event Processing and Reaction Rules
- On Complex Event Processing for Real-Time Situational Awareness
- Introduction
- Activity Recognition
- Motivation
- A Representative Approach
- Research Challenges
- Future-Situation Awareness in Social Media
- Motivation
- State of the Art/Current Situation
- Research Challenges and Beyond State of the Art
- Conclusions
- References
- Retractable Complex Event Processing and Stream Reasoning
- Introduction
- Formal Model for Knowledge-Based Event Processing with Revision
- Event Processing Language Syntax
- Examples
- Declarative Semantics
- A Rule-Based Execution Model
- Experimental Results
- Related Work
- Conclusions and Future Work
- References
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
- Introduction
- A Language for Complex Event Processing
- Iterations and Aggregate Functions
- Execution Model
- Kleene Plus Closure
- Implementation of Iterative Rules and Common Aggregate Functions
- Performance Evaluation
- Conclusions
- References
- Entity-Based State Management for Complex Event Processing Applications
- Introduction
- Related Work
- Business Entity Provider Model
- Meta Model
- Exemplary Business Entity Providers
- Rule Model
- Base Rule Model
- Correlation Model Extensions
- Business Entity Actions
- Business Entity Conditions
- Implementation
- Rule Evaluation in SARI
- State-Management Architecture
- Example
- Conclusion and Future Work
- References
- Fuzzy Rules and Uncertainty
- Declarative Traces into Fuzzy Computed Answers
- Introduction
- Multi-Adjoint Logic Programming
- MALP Syntax
- MALP Procedural Semantics
- Truth-Degrees and Multi-Adjoint Lattices in Practice
- Declarative Traces into f.c.a.'s Using FLOPER
- Conclusions and Future Work
- References
- A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming
- Introduction
- Flexible XPath
- Some Implementation Hints Using MALP
- Conclusions and Future Work
- References
- Rules and the Semantic Web
- A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules
- Introduction
- The Presentation Syntax
- Alphabet of PSOA RuleML
- Terms
- Formulas
- Well-Formed Formulas
- EBNF Grammar for the Presentation Syntax of PSOA RuleML
- Semantics
- Semantic Structures
- Formula Interpretation
- Conclusions
- References
- COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices
- Introduction
- Background and Related Work
- OWL and OWL Sublanguages
- RETE and RETE Optimizations
- Mobile Reasoners
- Composition Algorithms
- Selective Rule Loading Algorithm
- Two-Phase RETE Algorithm
- Analytical Comparisons between Composition Algorithms
- Implementation
- Experiments and Discussions
- Design and Execution
- Results and Discussion
- Conclusion and Future Work
- References
- Rule-Based Trust Assessment on the Semantic Web
- Introduction
- Related Work
- Semantic Web and Trust
- Resource Description Framework (RDF)
- Models of Trust for the Semantic Web
- Possible Trust Representations in RDF
- AIR Web Rule Language
- Syntax
- Rule Ontology
- Trust Assessment Framework
- Contributions
- Summary and Future Work
- References
- SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0
- Introduction
- Background and Related Work
- SOWL Ontology
- Reasoning in SOWL
- Conclusions and Future Work
- References
- Rule Learning and Extraction
- Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents
- Introduction
- Motivations and Overall Framework
- The Approach
- Semantics of Learning by Rule Exchange
- Case Study: An Artificial Fish
- Related Work and Concluding Remarks
- References
- A Framework for the Automatic Extraction of Rules from Online Text
- Introduction
- Related Work
- Methods
- Expansion of Domain Ontology Terms
- Finding Dependencies in Text
- Finding Relationships in the Text
- Finding Concepts in Text
- Assembling Rule Bodies
- Linking Relationships to Domain Concepts
- Generating Rule Heads
- Implementation and Results
- Discussion
- References
- Classification Rule Mining for a Stream of Perennial Objects
- Introduction
- Problem Specification and Background Literature
- Problem Specification
- Incremental Propositionalisation
- Related Work and Background Literature
- Incremental Classification Rule Learning
- Aligning the Fast Streams to the Slow Stream
- Building a Lattice of Classification Rules Incrementally
- Generating Features from the Classification Rules' Lattice
- Enhancing a Decision Tree Classifier with Predictive Attributes
- Experiments
- Learning User Profiles
- Predicting Defaults in Bank Loans
- Conclusion
- References
- A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms
- Introduction and Background
- Approach and Method
- Description of the Problem and Multiple Objectives
- Fuzzy Rule Based Classifiers
- Experimentation
- Conclusion
- References
- Rules and Reasoning
- Algorithms for Rule Inference in Modularized Rule Bases
- Introduction
- Classic Rule Inference Algorithms
- Knowledge Modularization Techniques
- Formalization of Modularized Rule Bases with XTT2
- XTT2 Inference Algorithms Formalization
- Simple Case Study
- Concluding Remarks
- References
- Modularity in the Rule Interchange Format
- Introduction
- The MWeb Approach
- Basics of Rule Interchange Format Semantics
- Rule Interchange Format Document Formulas
- Alternative Semantics for Multi-documents
- Models and Logical Entailment
- Conclusions and Further Work
- References
- Overview of Knowledge Formalization with XTT2 Rules
- Introduction
- Attributive Logic with Set Values over Finite Domains
- Formalization of Modularized Rule Bases
- Practical Example
- Related Work
- Concluding Remarks
- References
- HalVA - Rule Analysis Framework for XTT2 Rules
- Introduction
- State-of-the-Art and Motivation
- Formalization of Modularized Rule Bases
- Rule Verification Tasks
- Formal Definition of Verification Tasks
- Verification Algorithms
- Summary and Future Work
- References
- Rule-Based Applications
- Rewriting Queries for Web Searches That Use Local Expressions
- Introduction
- Region Connection Calculus and DL-Safe SWRL Rules
- A Motivating Example
- A Formalism for Proximity
- The Basic Composition Rule
- A Partially Ordered and Typed System of Partitions
- Refining the Formalism
- Rewriting Queries That Use Local Expressions
- Representing Topological Background Knowledge
- Rewriting Queries
- Evaluation
- Material and Methods
- Results
- Discussion
- Related Work
- Administrative Boundaries Influence the Perception of Distance
- Using Local Expressions in Web Searches
- Conclusion and Outlook
- References
- Implementing General Purpose Applications with the Rule-Based Approach
- Introduction
- Architecture Overview
- Example Rule Representation and Run-Time
- Example Application
- Summary and Further Research
- References
- OWL Web Ontology Language as a Scripting Language for Smart Space Applications
- Introduction
- Related Work
- Programming with OWL Script
- Syntax
- Semantics
- Conclusion
- References
- Rule-Based Complex Event Processing for Food Safety and Public Health
- Introduction
- Motivation and Challenges
- Rule-Based Event Modeling
- Event Model
- Semantic Model
- ASP Rule-Based Inference Engine
- Evidence Set and Event Evidence Indicator
- Illustrative Application
- Conclusions and Future Directions
- References
- Author Index
