RuleML2010

From semanticweb.org
Jump to: navigation, search
RuleML2010
Fourth International Web Rule Symposium on Rule Interchange and Applications
Start October 21 2010
Homepage: Homepage
Location
City: Washington, D.C.
State: D.C.
Country: USA
Important dates
Abstracts due: June 6 2010
Notification: July 14 2010
Camera ready due: August 1 2010
Event in series RuleML

RuleML2010 is the Fourth International Web Rule Symposium on Rule Interchange and Applications. It is held from October 21 2010 to October 23 2010 in Washington, D.C., USA.

Contents

[edit] Objectives

RuleML-2010 is a research-based, industry-focused symposium: its main goal is to build a bridge between academia and industry in the field of rules and semantic technology, and so to stimulate the cooperation and interoperability between business and research, by bringing together rule system providers, participants in rule standardization efforts, open source communities, practitioners, and researchers. The concept of the symposium has also advanced continuously in the face of extremely rapid progress in practical rule and event processing technologies. As a result, RuleML-2010 will feature hands-on demonstrations and challenges alongside a wide range of thematic tracks. It will thus be an exciting venue to exchange new ideas and experiences on all issues related to the engineering, management, integration, interoperation, and interchange of rules in distributed enterprise intranets and open distributed environments.

[edit] Conference Theme

This year, we particularly welcome submissions that address applications of Web rule technologies for business and information systems. We invite you to share your ideas, results, and experiences: as an industry practitioner, rule system provider, technical expert and developer, rule user or researcher, exploring foundations, developing systems and applications, or using rule-based systems. We invite high-quality submissions related to (but not limited to) one or more of the following topics:

  • Rules, Semantic Technology, and Cross-Industry Standards
    • XBRL: Extensible Business Reporting Language
    • MISMO: Mortgage Industry Standards Maintenance Org
    • FIXatdl: FIX Algorithmic Trading Definition Language
    • FpML: Financial products Markup Language
    • HL7: Health Level 7
    • Acord: Association for Cooperative Operations Research and Development (Insurance Industry)
    • Rules for Governance, Risk, and Compliance (GRC), e.g., rules for internal audit, SOX compliance, enterprise risk management (ERM), operational risk, etc
    • Rules and Corporate Actions
  • Rule Transformation and Extraction
    • Transformation and extraction with rule standards, such as SBVR, RIF and OCL
    • Extraction of rules from code
    • Transformation and extraction in the context of frameworks such as KDM (Knowledge Discovery meta-model)
    • Extraction of rules from natural language
    • Transformation or rules from one dialect into another


  • Rules and Uncertainty
    • Languages for the formalization of uncertainty rules
    • Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain or incomplete information
    • Handling inconsistent or disparate rules using uncertainty
    • Uncertainty extensions of event processing rules, business rules, reactive rules, causal rules, derivation rules, association rules, or transformation rules


  • Rules and Norms
    • Methodologies for modeling regulations using both ontologies and rules
    • Defeasibility and norms: modeling rule exceptions and priority relations among rules
    • The relationship between rules and legal argumentation schemes
    • Rule language requirements for the "isomorphic" modeling of legislation
    • Rule based inference mechanism for legal reasoning
    • E-contracting and automated negotiations with rule-based declarative strategies


  • Rules and Inferencing
    • From rules to FOL to modal logics
    • Rule-based non-monotonic reasoning
    • Rule-based reasoning with modalities
    • Deontic rule-based reasoning
    • Temporal rule-based reasoning
    • Priorities handling in rule-based systems
    • Defeasible reasoning
    • Rule-based reasoning about context and its use in smart environments
    • Combination of rules and ontologies
    • Modularity


  • Rule-based Event Processing and Reaction Rules
    • Reaction rule languages and engines (production rules, ECA rules, logic event action formalisms, vocabularies/ontologies)
    • State management approaches and frameworks
    • Concurrency control and scalability
    • Event and action definition, detection, consumption, termination, lifecycle management
    • Dynamic rule-based workflows and intelligent event processing (rule-based CEP)
    • Non-functional requirements, use of annotations, metadata to capture those
    • Design time and execution time aspects of rule-based (Semantic) Business Processes Modeling and Management
    • Practical and business aspects of rule-based (Semantic) Business Process Management (business scenarios, case studies, use cases etc.)


  • Rule-Based Distributed/Multi-Agent Systems
    • rule-based specification and verification of distributed and multi-agent system
    • rule-based distributed reasoning and problem solving
    • rule-based agent architectures
    • rules and ontologies for semantic agents
    • rule-based interaction protocols for multi-agent systems
    • rules for service-oriented computing (discovery, composition, etc.)
    • rule-based cooperation, coordination and argumentation in multi-agent systems
    • rule-based e-contracting and negotiation strategies in multi-agent systems
    • rule interchange and reasoning interoperation in heterogeneous Distributed/Multi-Agent Systems
  • Other Topics, such as
    • Rules and ontologies
    • Execution models, rule engines, and environments
    • Graphical processing, modeling and rendering of rules.

[edit] 4th Int. Rule Challenge

The 4th Int. Rule Challenge is one of the highlights at RuleML-2010 with prestigious prizes. Submissions of benchmarks/evaluations, demos, case studies / use cases, experience reports, best practice solutions (e.g. design patterns, reference architectures, models), rule-based implementations/ tools/ applications, demonstrations engineering methods, implementations of rule standards (e.g. RuleML, RIF, SBVR, PRR, rule-based Event Processing languages, BPMN+rules, BPEL+rules, ...), rules + industrial standards (e.g. XBRL, MISMO, Accord, ...), and industrial problem statements are particularly encouraged.

This year, the RuleML-2010 Challenge will have a special focus theme: Modelling Rules in the Temporal and Geospatial Applications

  • temporal modelling and reasoning
  • geospatial modelling and reasoning
  • cross-linking between temporal and geospatial knowledge
  • visualization of rules with graphic models in order to support end-user interaction

Other themes of the RuleML-2010 Challenge will include the following: Demos related to the RuleML-2010 Track TopicsExtensions and implementations of W3C RIFEditing environments and IDEs for Web rulesBenchmarks and comparison results for rule enginesDistributed rule bases and rule servicesReports on industrial experience about rule systemsPrizes will be awarded to the two best applications from the main focus theme and for the all categories. All accepted demos will be presented in a special Challenge Session.

Challenge demo website: http://ruleml-challenge.cs.nccu.edu.tw

[edit] Proceedings and Journal Special Issues

The RuleML-2010 proceedings have been published as Springer LNCS proceedings:

  • Mike Dean, John Hall, Antonino Rotolo and Said Tabet: Semantic Web Rules, International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings [1]

The 4th International Rule Challenge papers an demos have been published online and as CEUR-WS proceedings:

Two journal special issues are forthcoming

[edit] Organizing Committee

[edit] General Chairs

[edit] Program Chairs

[edit] Liaison Chair

[edit] Publicity Chair

  • Patrick Hung, University of Ontario Institute of Technology, Canada

[edit] Rule Responder Chairs

[edit] Track Chairs

[edit] Rules, Semantic Technology, and Cross-Industry Standards

[edit] Rule Transformation and Extraction

[edit] Rules and Uncertainty

[edit] Rules and Norms

[edit] Rules and Inferencing

[edit] Rule-based Event Processing and Reaction Rules

[edit] Rule-Based Distributed/Multi-Agent Systems

[edit] Challenge Chairs

[edit] Program Commitee

Personal tools
Namespaces

Variants
Actions
Navigation
services
Toolbox