Theory, Practice, and Applications of Rules on the Web

Invited Talks.- Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables (Keynote).- Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog (Summary of Invited Talk).- Ontology Repositories Make a World of Difference (Keynote).- Tutorials.- LegalRuleML: from Metamodel to Use Cases - A Tutorial.- Formalization of Natural Language Regulations through SBVR Structured English (Tutorial).- Multi-Agent Activity Modeling with the Brahms Environment (Tutorial).- Rules and Policy based handling of XML in Government Contexts including NIEM (Tutorial).- Technical Papers, Main Track.- Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach.- Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules.- Modeling Stable Matching Problems with Answer Set Programming.- A Fuzzy, Utility-based Approach for Proactive Policy-based Management.- Picking Up The Best Goal: An Analytical Study in Defeasible Logic.- Computing Temporal Defeasible Logics.- Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems.- Ontology Patterns for Complex Activity Modelling.- A Rule-based Contextual Reasoning Platform for Ambient Intelligence Environments.- Extending an Object-Oriented Rete Network with fine-grained Reactivity to Property Modifications.- Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization.- Distributed ECA Rules for Data Management Policies.- Technical Papers, Human Language Technology Track: Translating Between Human-Created Regulations and Formal Rules.- Semantic Relation Extraction from Legislative Text using Syntactic Dependencies and Support Vector Machines.- Interpreting Spatiotemporal Expressions from English to Fuzzy Logic.- Combining acquisition and debugging of business rule models.