Rule-Based Modeling and Computing on the Semantic Web

1. Front Matter

   PDF

2. Keynotes Speakers (Abstracts and Short Papers)

   1. Business Executives Sharing Knowledge with Inference Engines: News from the ONTORULE Project

      • Christian de Sainte Marie

      Pages 1-1

   2. Rule-Enhanced Domain Models for Cloud Security Governance, Risk and Compliance Management

      • Marcus Spies

      Pages 2-9

   3. Rules, Tables and Decisions: A Family History Tale

      • Jan Vanthienen

      Pages 10-10

   4. Event-Driven Rules: Experiences in CEP

      • Paul Vincent

      Pages 11-11

3. Invited Presentations (Abstracts)

   1. Efficient Rule and Query Execution with CLIF++

      • Jans Aasman

      Pages 12-12

   2. Recent Advances in the SILK Knowledge Representation and Its Usage

      • Benjamin Grosof

      Pages 13-13

   3. Rules and OMG Standards

      • John Hall

      Pages 14-14

   4. Understanding NIEM and Rules Needs

      • David R. R. Webber

      Pages 15-16

4. Rules, Semantic Technology, and Cross-Industry Standards

   1. Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG

      • Tara Athan, Harold Boley

      Pages 17-32

   2. Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules

      • Mohammad Sadnan Al Manir

      Pages 33-48

   3. Relaxed Safeness in Datalog-Based Policies

      • Moritz Y. Becker, Jason Mackay

      Pages 49-57

   4. Knowledgebase Representation Language Interoperation Tool

      • Taylor Osmun, Patrick Thébeau, Yevgen Biletskiy

      Pages 58-65

5. Rules and Automated Reasoning

   1. Consistency and Provenance in Rule Processing

      • Eric Jui-Yi Kao

      Pages 66-80

   2. D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine

      • Mohamed Yahya, Martin Theobald

      Pages 81-96

   3. Principles of the SymposiumPlanner Instantiations of Rule Responder

      • Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley

      Pages 97-111

   4. Extended Rules in Knowledge-Based Data Access

      • Jaroslaw Bak, Grażyna Brzykcy, Czeslaw Jedrzejek

      Pages 112-127

6. Rule-Based Event Processing and Reaction Rules

   1. Standards for Complex Event Processing and Reaction Rules

      • Adrian Paschke, Paul Vincent, Florian Springer

      Pages 128-139

   2. Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants

      • Susan D. Urban, Andrew Courter, Le Gao, Mary Shuman

      Pages 140-154

   3. Probabilistic Event Calculus Based on Markov Logic Networks

      • Anastasios Skarlatidis, Georgios Paliouras, George A. Vouros, Alexander Artikis

      Pages 155-170

This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. It is the second of two RuleML events that take place in 2011. The first RuleML Symposium, RuleML 2011-Europe, has been held in Barcelona, Spain, in July 2011. The 12 full papers, 5 short papers and 5 invited track and position papers presented together with 3 keynote speeches were carefully reviewed and selected from numerous submissions. The accepted papers address a wide range of rules, semantic technology, and cross-industry standards, rules and automated reasoning, rule-based event processing and reaction rules, vocabularies, ontologies and business rules, cloud computing and rules, clinical semantics and rules.        

• constraint solving
• middleware
• multi-agent systems
• self-organization
• temporal databases

           

• Frank Olken University, Berkeley, USA

  Frank Olken

• University of Bologna, CIRSFID, Bologna, Italy

  Monica Palmirani

• DEIS, Università di Bologna, Italy

  Davide Sottara

         

Policies and ethics