Ebook: Theory, Practice, and Applications of Rules on the Web: 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

---

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

---

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.
Content:
Front Matter....Pages -
Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables....Pages 1-1
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog....Pages 2-11
Ontology Repositories Make a World of Difference....Pages 12-12
LegalRuleML: From Metamodel to Use Cases....Pages 13-18
Formalization of Natural Language Regulations through SBVR Structured English....Pages 19-33
Multi-agent Activity Modeling with the Brahms Environment....Pages 34-35
Rules and Policy Based Handling of XML in Government Contexts Including NIEM....Pages 36-36
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach....Pages 37-51
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules....Pages 52-67
Modeling Stable Matching Problems with Answer Set Programming....Pages 68-83
A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management....Pages 84-98
Picking Up the Best Goal....Pages 99-113
Computing Temporal Defeasible Logic....Pages 114-128
Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems....Pages 129-143
Ontology Patterns for Complex Activity Modelling....Pages 144-157
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments....Pages 158-172
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications....Pages 173-187
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization....Pages 188-202
Distributed ECA Rules for Data Management Policies....Pages 203-217
Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines....Pages 218-225
Interpreting Spatiotemporal Expressions from English to Fuzzy Logic....Pages 226-233
Combining Acquisition and Debugging of Business Rule Models....Pages 234-248
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.
Content:
Front Matter....Pages -
Probabilistic Soft Logic: A Scalable Approach for Markov Random Fields over Continuous-Valued Variables....Pages 1-1
Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog....Pages 2-11
Ontology Repositories Make a World of Difference....Pages 12-12
LegalRuleML: From Metamodel to Use Cases....Pages 13-18
Formalization of Natural Language Regulations through SBVR Structured English....Pages 19-33
Multi-agent Activity Modeling with the Brahms Environment....Pages 34-35
Rules and Policy Based Handling of XML in Government Contexts Including NIEM....Pages 36-36
Reasoning over 2D and 3D Directional Relations in OWL: A Rule-Based Approach....Pages 37-51
Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules....Pages 52-67
Modeling Stable Matching Problems with Answer Set Programming....Pages 68-83
A Fuzzy, Utility-Based Approach for Proactive Policy-Based Management....Pages 84-98
Picking Up the Best Goal....Pages 99-113
Computing Temporal Defeasible Logic....Pages 114-128
Efficient Persistency Management in Complex Event Processing: A Hybrid Approach for Gamification Systems....Pages 129-143
Ontology Patterns for Complex Activity Modelling....Pages 144-157
A Rule-Based Contextual Reasoning Platform for Ambient Intelligence Environments....Pages 158-172
Extending an Object-Oriented RETE Network with Fine-Grained Reactivity to Property Modifications....Pages 173-187
Computing the Stratified Semantics of Logic Programs over Big Data through Mass Parallelization....Pages 188-202
Distributed ECA Rules for Data Management Policies....Pages 203-217
Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines....Pages 218-225
Interpreting Spatiotemporal Expressions from English to Fuzzy Logic....Pages 226-233
Combining Acquisition and Debugging of Business Rule Models....Pages 234-248
Back Matter....Pages -
....