Rule-Based Modeling and Computing on the Semantic Web
5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings
Published on 21. October 2011
XVIII, 313 pages
978-3-642-24908-2 (ISBN)
Description
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.
More details
Other editions
Additional editions
Monica Palmirani | Davide Sottara
Rule-Based Modeling and Computing on the Semantic Web
5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings
Book
10/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Intro
- Title
- Preface
- Conference Organization
- Table of Contents
- Keynotes Speakers (Abstracts and Short Papers)
- Business Executives Sharing Knowledge with Inference Engines: News from the ONTORULE Project
- Rule-Enhanced Domain Models for Cloud Security Governance, Risk and Compliance Management
- Introduction
- Domain Models and Intelligent Processing in Software Assurance and GRC for Cloud Services
- Domain Ontologies and Rules Processing - The State of the Art
- Basic Architecture of Domain Models for Cloud Security GRC
- References
- Rules, Tables and Decisions: A Family History Tale
- Event-Driven Rules: Experiences in CEP
- Invited Presentations (Abstracts)
- Efficient Rule and Query Execution with CLIF++
- Recent Advances in the SILK Knowledge Representation and Its Usage
- Rules and OMG Standards
- Understanding NIEM and Rules Needs
- Introduction
- Short Term Needs
- Rules, Semantic Technology, and Cross-Industry Standards
- Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG
- Introduction
- Design of the RuleML Relax NG Schema
- GUI Web-App and Language Options Encoding
- Parameterized Schema
- Design Patterns for Modules
- Transformation
- Implementation of the RuleML Schema Design
- Implementation in RuleML 0.91
- Implementation in RuleML 1.0
- Preview of Proposed RuleML 1.1
- Conclusions
- References
- Towards RIF-OWL Combination: An Effective Reasoning Technique in Integrating OWL and Negation-Free Rules
- Introduction
- Preliminaries
- Combination of DLs and Rules
- Reasoning in Combined Knowledge Base
- Our Approach
- Properties of the Algorithm
- Computational Complexity of the Algorithm
- Restrictions on Knowledge Base Components
- Disjunction
- Modular Reasoning
- Named/Unnamed Objects
- Equality (Inequality)
- Implementation and Experiments
- Relationship with Other Combination Approaches
- Conclusion
- References
- Relaxed Safeness in Datalog-Based Policies
- Introduction
- Datalog and Safeness: Background
- I/O-Safeness
- Advanced Applications of I/O-Safeness
- Preventing Intractable Policies
- Constraints and Functions
- Hierarchical Policies
- Conclusion
- References
- Knowledgebase Representation Language Interoperation Tool
- Introduction
- System Architecture
- Java Interoperation Object (JIO)
- Slots
- Positional-Slotted Knowledge (POSL) JIO Mapping
- Notation 3 (N3)
- Example Usage and Conclusion
- References
- Rules and Automated Reasoning
- Consistency and Provenance in Rule Processing
- Introduction
- Motivating Example
- Formal Development
- Complexity and Rewriting
- NP-Completeness
- Provenance
- Computing Existential Answers via Provenance
- Answer Set Programming
- Related Work
- Future Work
- References
- D2R2: Disk-Oriented Deductive Reasoning in a RISC-Style RDF Engine
- Introduction
- Contributions
- Related Work
- Datalog Query Evaluation
- QSQR with Dynamic Join Ordering and Chaining
- Join Ordering
- Sub-query Scheduling
- D2R2 System Architecture
- RDF-3X
- RDF-3X Integration
- Recursive Query Evaluation
- Experimental Evaluation
- Handling of Extensional Queries
- Effect of Chaining
- YAGO Comparative Runs
- LUBM Comparative Runs
- Conclusions
- References
- Principles of the SymposiumPlanner Instantiations of Rule Responder
- Introduction
- Related Work
- Rule Responder for Symposium Organization
- Issues in Symposium Organization
- Interaction with Users
- Communication between Distributed Agents
- Integration with External Information
- Role Assignment
- Conceptual Architecture
- Organizational Agent
- Personal Agents
- SymposiumPlanner System
- Mule Enterprise Service Bus
- Platform-Specific Rule Responder Agents
- Reaction RuleML
- SymposiumPlanner User Client
- Conclusion
- References
- Extended Rules in Knowledge-Based Data Access
- Introduction
- Rule-Based System and Reasoning Scheme
- Rules and Facts
- Rule-Based System
- Magic Transformation
- Sideways Information Passing and Adorned Rules
- Query Answering with a Rule-Based System
- Overview of the Method
- Generation of the Extended Rules
- Mapping between Predicates and Relational Data
- Reasoning and the Query Algorithm
- Query Implementation and Performance Evaluation
- Implementation
- Performance Evaluation
- Related Work
- Conclusions and Future Work
- References
- Rule-Based Event Processing and Reaction Rules
- Standards for Complex Event Processing and Reaction Rules
- Introduction
- The CEP Standards Reference Model
- Business and Technical Perspective
- Domain Specific and General Standards
- Standards per the CSRM Classification
- Standards in CSRM Areas
- CEP Reference Architecture and CEP Design Patterns
- Standard CEP Vocabularies and Semantic Ontologies
- Computational Independent Standard for Simple and Complex Event Modeling
- CEP Technology Standards
- Conclusion
- References
- Supporting Data Consistency in Concurrent Process Execution with Assurance Points and Invariants
- Introduction
- Related Work
- Background for the Use of Invariants
- Delta-Enabled Grid Services
- Service Composition and Recovery with APs
- Invariant Monitoring System
- Overview
- Invariant Specification
- Prototype of the Invariant Monitoring System
- Registration of Invariants and Monitored Objects
- The Invariant Evaluation Web Service
- The Delta Analysis and Filtering Process
- Testing and Evaluation
- Summary and Future Work
- References
- Probabilistic Event Calculus Based on Markov Logic Networks
- Introduction
- Event Calculus: A Succinct Presentation
- Event Calculus in Markov Logic Networks
- The Law of Inertia in Probabilistic Event Calculus
- Application to Activity Recognition
- Related Work
- Conclusions
- References
- On Applying Temporal Database Concepts to Event Queries
- Introduction
- Temporal Database Operators
- Example Use Cases
- A Relational Framework for Temporal Event Queries
- Relational Algebra for Temporal Queries
- Incremental Evaluatiion of Temporal Queries
- Summary and Future Work
- References
- Vocabularies, Ontologies and Business Rules
- Lexicalized Ontology for a Business Rules Management Platform: An Automotive Use Case
- Introduction
- The Audi BRMS or Platform
- The Role of the Lexicalized Ontology in BRMS
- Formalization of Domain Knowledge
- Semantic Annotation of Documents
- Normalization of Vocabularies
- Documentation of the Shared Knowledge
- Formalism for the Audi Lexicalized Ontology
- Experiments in the Audi Use Case
- The Audi BRMS Ontology
- Semantic Querying
- Document Mining
- Related Work
- Conclusion
- References
- Towards Directly Applied Ontological Constraints in a Semantic Decision Table
- Introduction
- Background: Semantic Decision Tables
- Directly Applied Ontological Constraints
- Value Constraint
- Cardinality and Occurrence Frequency
- Mandatory
- Uniqueness
- Exclusive-Or
- Subtyping
- Related Work
- Discussion, Conclusion and Future Work
- References
- Representing and Solving Rule-Based Decision Models with Constraint Solvers
- Introduction
- The Decision Model
- Rule Families
- Business Glossary
- Top-Down Design
- Test Cases and Real Data
- Constraint-Based Implementation
- Fact Types as Constrained Variables
- Rules as Conditional Constraints
- Consistency Validation
- Finding Solutions for Partially Defined Decision Models
- Related Work and Future Development
- References
- SWRL-Based Context Awareness for Application Servers Hosting Digital Services
- Needs for a Semantic CAS
- Related Works
- Context-Awareness
- Architectures of Context-Aware Applications
- Existing Works on Context-Aware Systems
- Rule Driven Context-Awareness
- Storing Context in a Domain Ontology
- Reference Scenario
- Conclusion
- References
- Cloud Computing and Rules
- Cloud Computing: Combining Governance, Compliance, and Trust Standards with Declarative Rule-Based Frameworks
- Introduction
- Background
- Key Focus Areas
- Multi-security and Cloud
- Cloud Computing and RuleML
- Policy-Based Multi-tenancy
- Conclusions
- References
- Role Assignment in Institutional Clouds for Rule-Based Enterprise Management
- Introduction
- Background
- Institutional Rules
- Institutionalised Power
- Dynamic Specifications
- Institutional Rules as Dynamic Specifications
- Institutional Rules for Role Assignment
- Dynamic Specification of Role Assignment
- Fluents (Institutional Facts)
- Expressed Preferences - Voting
- Operational-Choice Rule - Member Role Assignment
- Collective-Choice Rule - Gatekeeper Role Assignment
- Testbed and Evaluation
- Testbed Specification and Algorithm Design
- Experimental Results and Discussion
- Related and Further Work
- Summary and Conclusions
- References
- Clinical Semantics and Rules
- Standards, Data Models, Ontologies, Rules: Prerequisites for Comprehensive Clinical Practice Guidelines
- Introduction
- Foundational Pillars
- Decision Logic
- Guideline Formalisms
- Clinical Data Models
- Semantics and Terminology Services
- Towards Semantic Guidelines
- Uncertainty Enriched Systems
- Vagueness
- Uncertainty
- Runtime Adaptation
- Distributed Decsion Support Services and Knowledge Management Respository
- Conclusion
- References
- Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
- Introduction
- Expectations, Their Fulfillment and Violation
- Related Works
- Desiderata for the Notion of Expectation
- Desiderata for a Framework Supporting Expectations
- Desiderata for the ECE-Rules
- The Drools Rule Engine
- The ``expect'' Extension to the Drools Language
- The ECE Language
- The Expectation Meta-Model
- Rule Generation
- A Use Case in the Medical Field
- Conclusions
- References
- Rules and Norms
- Designing for Compliance: Norms and Goals
- Introduction
- Logics
- Language of Modal Defeasible Logic
- Inference in Modal Defeasible Logic
- Norm and Goal Compliance
- Designing for Compliance
- Revision in Case of Non Compliance
- Compliance by Design
- Conclusions
- References
- LegalRuleML: XML-Based Rules and Norms
- Rationale
- Characteristics of Legal Norms
- Semantic Features
- Logic Features
- Legal Process Features
- LegalRuleML
- Legal Meta Data
- Legal Operators
- Semantic Qualification of Negation
- Extension of the RuleML Modules
- Conclusion
- References
- Author Index
