Semantic Web Rules

The 4th International Web Rule Symposium (RuleML 2010), co-located in Alexandria, Virginia, USA (near Washington, DC) with the 13th International BusinessRules Forum Conference2010,wasorganizedto meet colleaguesand to exchange ideas from all subareas of Web rule technology. The aims of RuleML 2010 were both to present new and interesting research results and to show s- cessfullydeployedrule-basedapplications. Thisannualsymposiumisthe?agship event of the Rule Markup Language (RuleML) Initiative. The RuleML Initiative (www. ruleml. org) is a non-pro?t umbrella organi- tion of several technical groups organized by representatives from academia, industry and public sectors working on rule technologies and applications. Its aim is to promote the study, research and application of rules in heterogeneous distributedenvironmentssuchastheWeb. RuleMLmaintainse?ectivelinkswith other major international societies and acts as an intermediary between various specialized rule vendor, application, industrial and academic research groups, as well as standardization e?orts including W3C, OMG and OASIS. After a series of successful international RuleML workshops and conferences, the RuleML symposia, held since 2007, constitute a new kind of event where the Web rules and logic community joins the established, practically oriented business rules community (www. businessrulesforum. com). The symposium s- ports the idea that there is a successful path from high-quality research results to deployed applications.

Fast track conference proceeding Unique visibility State-of-the-art research

Autorentext
Antonino Rotolo is Associate Professor of Philosophy of Law at the University of Bologna Law School (Italy). He has also extensively written on formal methods for practical and legal reasoning, logics for artificial intelligence, artificial intelligence and law, and philosophical logic. He served as a reviewer for many international journals and as a member of the programme committee of international conferences and workshops.

Klappentext

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.

Inhalt
Keynotes and Invited Demos.- Logical Spreadsheets.- NIEM Canonical XML Dictionaries and Rule Engine Systems.- Implementing SBVR with a Practitioner's Perspective.- Rules and Uncertainty.- A Practical Management of Fuzzy Truth-Degrees Using FLOPER.- A Rule-Based Implementation of Fuzzy Tableau Reasoning.- Rule-Based Event Processing and Reaction Rules.- Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing.- Establishing a Procedure Model for Combining and Synergistically Aligning Business Rules and Processes within Ontologies.- Rules and Inferencing.- Rule-Based Contextual Reasoning in Ambient Intelligence.- Enhancing a Smart Space with Answer Set Programming.- Superiority Based Revision of Defeasible Theories.- On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic.- Rule Transformation and Extraction.- Generating SQL Queries from SBVR Rules.- Representing Financial Reports on the Semantic Web:.- Transformation of SBVR Compliant Business Rules to Executable FCL Rules.- Rules, Semantic Technology, and Cross-Industry Standards.- RuleML 1.0: The Overarching Specification of Web Rules.- Rules and Norms.- Defining Access Control Rules with Conditions.- Norm Compliance in Business Process Modeling.- Application of an Ontology-Based and Rule-Based Model to Selected Economic Crimes: Fraudulent Disbursement and Money Laundering.- Rule-Based Distributed/Multi-Agent Systems.- A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web.- Photorealistic Semantic Web Service Groundings: Unifying RESTful and XML-RPC Groundings Using Rules, with an Application to Flickr.- Towards the Web of Models: A Rule-Driven RESTful Architecture for Distributed Systems.-Miscellaneous Rule Topics.- Visualizing Logical Dependencies in SWRL Rule Bases.- An XML Format for Association Rule Models Based on the GUHA Method.- Realizing Integrated Service Delivery through a Language for Collective Understanding of Business Rules.- Authoring Business Rules Grounded in OWL Ontologies.