Rules on the Web: From Theory to Applications

This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014.
The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.

Inhalt

Reaction RuleML 1.0 for Rules, Events and Actions in Semantic Complex Event Processing.- A Logical Characterization of a Reactive System Language.- On Using Semantically-Aware Rules for Efficient Online Communication.- Conceptual Model Interoperability: A Metamodel-driven Approach.- On Verifying Reactive Rules Using Rewriting Logic.- Using Rules to Develop a Personalized and Social Location Information System for the Semantic Web.- Checking Termination of Logic Programs with Function Symbols through Linear Constraints.- A Datalog+ RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.- A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning.- Multi-valued Argumentation Frameworks.- Incomplete and Uncertain Data Handling in Context-Aware Rule-Based Systems with Modified Certainty Factors Algebra.- The Hardness of Revising Defeasible Preferences.- From Guidelines to Practice: Improving Clinical Care through Rule-Based Clinical Decision Support at the Point of Care.- Requirement Compound Mining and Analysis.- Semi-automated Vocabulary Building for Structured Legal English.- Basics for a Grammar Engine to Verbalize Logical Theories in isiZulu.- Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology.- Learning Business Rules with Association Rule Classifiers.- Interpreting Web Shop User's Behavioral Patterns as Fictitious Explicit Rating for Preference Learning.- Learning Association Rules from Data through Domain Knowledge and Automation.- Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities.- Modeling Obligations with Event-Calculus.- A Process for Knowledge Transformation and Knowledge Representation of Patent Law.- Legal Responsibility for the Acts of Others: A Logical Analysis.