Rules on the web : research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012, Proceedings

This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2012, held in Montpellier, France, in August 2012 - collocated with the 20th biennial European Conference on Artificial Intelligence, ECAI 2012. The 14 full papers, 8 short papers and 2 track papers presented together with 2 keynote talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as business rules and processes; rule-based event processing and reaction rules; rule-based policies and agents on the pragmatic web; rules and the semantic web; rule markup languages and rule interchange; and rule transformation, extraction and learning. Front Matter....Pages - A Logic-Based Framework for Reactive Systems....Pages 1-15 Ontology-Based Query Answering with Existential Rules....Pages 16-16 A Model Driven Reverse Engineering Framework for Extracting Business Rules Out of a Java Application....Pages 17-31 Business Process Data Compliance....Pages 32-46 Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs....Pages 47-61 Bringing OWL Ontologies to the Business Rules Users....Pages 62-76 From Regulatory Texts to BRMS: How to Guide the Acquisition of Business Rules?....Pages 77-91 A Rule Based Approach for Business Rule Generation from Business Process Models....Pages 92-99 Reaction RuleML 1.0: Standardized Semantic Reaction Rules....Pages 100-119 A Production Rule-Based Framework for Causal and Epistemic Reasoning....Pages 120-135 On the Algebraic Semantics of Reactive Rules....Pages 136-150 A Rule-Based Calculus and Processing of Complex Events....Pages 151-166 Complex Reactivity with Preferences in Rule-Based Agents....Pages 167-181 The Pragmatic Web: Putting Rules in Context....Pages 182-192 HARM: A Hybrid Rule-Based Agent Reputation Model Based on Temporal Defeasible Logic....Pages 193-207 Whispering Interactions to the End User Using Rules....Pages 208-214 Personalizing Location Information through Rule-Based Policies....Pages 215-223 Using $\mathcal{SOIQ}$ (D) to Formalize Semantics within a Semantic Decision Table....Pages 224-239 Imposing Restrictions over Temporal Properties in OWL: A Rule-Based Approach....Pages 240-247 OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations....Pages 248-255 Using Data-to-Knowledge Exchange for Transforming Relational Databases to Knowledge Bases....Pages 256-263 PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners....Pages 264-279 PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes....Pages 280-288 Syntax Reuse: XSLT as a Metalanguage for Knowledge Representation Languages....Pages 289-301 An Approach to Parallel Class Expression Learning....Pages 302-316 Rule-Based High-Level Situation Recognition from Incomplete Tracking Data....Pages 317-324 Back Matter....Pages -