Table of Contents
Keynotes and Invited Demos
Logical Spreadsheets Michael Genesereth 1
NIEM Canonical XML Dictionaries and Rule Engine Systems David Webber 2
Implementing SBVR with a Practitioner's Perspective Donald Chapin 16
Rules and Uncertainty
A Practical Management of Fuzzy Truth-Degrees Using Floper Pedro J. Morcillo Ginés Moreno Jaime Penabad Carlos Vázquez 20
A Rule-Based Implementation of Fuzzy Tableau Reasoning Stefano Bragaglia Federico Chesani Paola Mello Davide Sottara 35
Rule-Based Event Processing and Reaction Rules
Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing Akhil Kumar Wen Yao Chao-Hsien Chu Zang Li 50
Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies Alexander Sellner Adrian Paschke Erwin Zinser 66
Rules and Inferencing
Rule-Based Contextual Reasoning in Ambient Intelligence Antonis Bikakis Grigoris Antoniou 74
Enhancing a Smart Space with Answer Set Programming Vesa Luukkala Ilkka Niemelä 89
Superiority Based Revision of Defeasible Theories Guido Governatori Francesco Olivieri Simone Scannapieco Matteo Cristani 104
On the problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic Ho-Pun Lam Guido Governatori 119
Rule Transformation and Extraction
Generating SQL Queries from SBVR Rules Sotiris Moschoyiannis Alexandros Marinos Paul Krause 128
Representing Financial Reports on the Semantic Web: A Faithful Translation from XBRL to OWL Jie Boo Graham Rong Xian Li Li Ding 144
Transformation of SBVR Compliant Business Rules to Executable FCL Rules Aqueo Kamada Guido Governatori Shazia Sadiq
Rules, Semantic Technology, and Cross-Industry Standards
RuleML 1.0: The Overarching Specification of Web Rules Harold Boley Adrian Paschke Omair Shafiq 162
Rules and Norms Defining Access Control Rules with Conditions Mark H. Linehan 179
Norm Compliance in Business Process Modeling Guido Governatori Antonino Rotolo 194
Application of an Ontology-Based and Rule-Based Model to Selected Economic Crimes: Fraudulent Disbursement and Money Laundering Jaros Bak Czeslaw Jedrzejek Maciej Falkowski 210
Rule-Based Distributed/Multi-Agent Systems
A Contract, Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web Kalliopi Kravari Grammati-Eirini Kastori Nick Bassiliades Guido Governatori 225
Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems Alexandros Marinos Paul Krause 251
Miscellaneous Rule Topics
Visualizing Logical Dependencies in SWRL Rule Bases Saeed Hassanpour Martin J. O'Connor Amar K. Das 259
An XML Format for Association Rule Models Based on the GUHA Method Tomás Kliegr Jan Rauch 273
Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules Sietse Overbeek Marijn Janssen Patrick van Bommel 289
Authoring Business Rules Grounded in OWL Ontologies Amina Chniti Sylvain Dehors Patrick Albert Jean Charlet 297
Author Index 305
