This book constitutes the refereed proceedings of the International RuleML Symposium on Rule Interchange and Applications, RuleML 2010, held in Washington, DC, USA, in October 2010 - collocated with the 13th International Business Rules Forum Conference 2010. The 14 revised full papers and 7 revised short papers presented together with the abstracts of 3 keynote lectures were carefully reviewed and selected from 42 submissions. The accepted papers address a wide range of rule topics, including traditional topics, such as rules and uncertainty, rule-based event processing and reaction rules, rules and inferencing, rule transformation and extraction, rules, semantic technology, and cross-industry standards, rules and norms, rule-based distributed/multi-agent systems, and miscellaneous rule topics.
Author(s): Michael Genesereth (auth.), Mike Dean, John Hall, Antonino Rotolo, Said Tabet (eds.)
Series: Lecture Notes in Computer Science 6403 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 305
Tags: Software Engineering; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Information Systems Applications (incl.Internet); Programming Techniques; Algorithm Analysis and Problem Complexity
Front Matter....Pages -
Logical Spreadsheets....Pages 1-1
NIEM Canonical XML Dictionaries and Rule Engine Systems....Pages 2-15
Implementing SBVR with a Practitioner’s Perspective....Pages 16-19
A Practical Management of Fuzzy Truth-Degrees Using FLOPER....Pages 20-34
A Rule-Based Implementation of Fuzzy Tableau Reasoning....Pages 35-49
Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing....Pages 50-65
Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies....Pages 66-73
Rule-Based Contextual Reasoning in Ambient Intelligence....Pages 74-88
Enhancing a Smart Space with Answer Set Programming....Pages 89-103
Superiority Based Revision of Defeasible Theories....Pages 104-118
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic....Pages 119-127
Generating SQL Queries from SBVR Rules....Pages 128-143
Representing Financial Reports on the Semantic Web:....Pages 144-152
Transformation of SBVR Compliant Business Rules to Executable FCL Rules....Pages 153-161
RuleML 1.0: The Overarching Specification of Web Rules....Pages 162-178
Defining Access Control Rules with Conditions....Pages 179-193
Norm Compliance in Business Process Modeling....Pages 194-209
Application of an Ontology-Based and Rule-Based Model to Selected Economic Crimes: Fraudulent Disbursement and Money Laundering....Pages 210-224
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web....Pages 225-239
Photorealistic Semantic Web Service Groundings: Unifying RESTful and XML-RPC Groundings Using Rules, with an Application to Flickr....Pages 240-250
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems....Pages 251-258
Visualizing Logical Dependencies in SWRL Rule Bases....Pages 259-272
An XML Format for Association Rule Models Based on the GUHA Method....Pages 273-288
Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules....Pages 289-296
Authoring Business Rules Grounded in OWL Ontologies....Pages 297-304
Back Matter....Pages -
