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.
Author(s): Grigoris Antoniou (auth.), Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.)
Series: Lecture Notes in Computer Science 6826
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2011
Language: English
Pages: 385
Tags: Software Engineering; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Information Systems Applications (incl.Internet); Programming Techniques; Algorithm Analysis and Problem Complexity
Front Matter....Pages -
Rule-Based Activity Recognition in Ambient Intelligence....Pages 1-1
An Overview of the Ciao System....Pages 2-2
Rule-Based Distributed and Agent Systems....Pages 3-28
Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers....Pages 29-43
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems....Pages 44-51
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems....Pages 52-66
Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic....Pages 67-82
A Dynamic Metalogic Argumentation Framework Implementation....Pages 83-98
Integrating Written Policies in Business Rule Management Systems....Pages 99-113
On Complex Event Processing for Real-Time Situational Awareness....Pages 114-121
Retractable Complex Event Processing and Stream Reasoning....Pages 122-137
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams....Pages 138-153
Entity-Based State Management for Complex Event Processing Applications....Pages 154-169
Declarative Traces into Fuzzy Computed Answers....Pages 170-185
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming....Pages 186-193
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules....Pages 194-211
COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices....Pages 212-226
Rule-Based Trust Assessment on the Semantic Web....Pages 227-241
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0....Pages 242-249
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents....Pages 250-265
A Framework for the Automatic Extraction of Rules from Online Text....Pages 266-280
Classification Rule Mining for a Stream of Perennial Objects....Pages 281-296
A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms....Pages 297-304
Algorithms for Rule Inference in Modularized Rule Bases....Pages 305-312
Modularity in the Rule Interchange Format....Pages 313-328
Overview of Knowledge Formalization with XTT2 Rules....Pages 329-336
HalVA - Rule Analysis Framework for XTT2 Rules....Pages 337-344
Rewriting Queries for Web Searches That Use Local Expressions....Pages 345-359
Implementing General Purpose Applications with the Rule-Based Approach....Pages 360-367
OWL Web Ontology Language as a Scripting Language for Smart Space Applications....Pages 368-375
Rule-Based Complex Event Processing for Food Safety and Public Health....Pages 376-383
Back Matter....Pages -
