Topics

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 and Automated Reasoning
• Rule-based non-monotonic and defeasible reasoning
• Rule-based reasoning with modalities (deontic, temporal, etc)
• Priorities handling in rule-based systems
• Combination of rules and ontologies
• AI techniques for rule reasoning, e.g. theorem proving, SAT solving, planning, constraint solving
• Declarative business process modelling using rules
• Parsing, semantics and reasoning for natural language rules, such as SBVR
• Logic Programming and Non-monotonic Reasoning
• Nonmonotonic reasoning systems for ontologies
• Hybrid combinations of open and closed-world reasoning
• Formalization and reasoning on multi-ontology and multi-semantics systems
• Modular logic programs and ontologies
• Datalog and tractable ontology languages
• Uncertainty handling in ontologies and rules
• Rules, Agents and Norms
• Norm interchange format (Norm Types, Languages Temporal Issues)
• Normative system roles and Authorities
• Rule-based e-Contracting and Policy Negotiation
• Verification of Normative Systems (Violations and Sanctions, Equivalence, Redundancy, Coherence, Change, Merge)
• Business Process Compliance
• 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 interaction (cooperation, coordination, negotiation and argumentation) for multi-agent systems
• Rules for service-oriented computing (discovery, composition, etc.)
• Rule-based programming of (multi-)agent systems
• Rule-based knowledge representation and reasoning in (multi-)agent systems
• Rule-Based Policies, Reputation and Trust
• Rule languages for policy specification and reasoning
• Policy standards, their extensions and refinements
• Formal semantics of policies
• NLP and high-level requirements for policy specification
• Detection and resolution of policy inconsistencies and conflicts
• Representation of belief, trust, and risk
• Policy Learning and automated policy generation
• Rule-based Event Processing and Reaction Rules
• Representation languages for event processing
• Algorithms for real-time event processing
• Probabilistic reasoning for event processing
• Event-driven architectures
• Benchmarks, performance evaluations, and testbeds for event-based systems
• Rule based workflows
• Rule-based event processing applications (ontologies, ...)
• Fuzzy Rules and Uncertainty
• Languages for the formalization of uncertainty rules
• Probabilistic, fuzzy and other rule frameworks for reasoning with uncertain, vague or incomplete information
• Handling inconsistent, conflicting or disparate rules using uncertainty
• Uncertainty extensions of event processing rules, business rules, reactive rules, causal rules, derivation rules, association rules, or transformation rules
• Benchmarks and test cases for uncertain rules
• Combination of rules with other uncertainty handling frameworks (e.g. Bayesian Networks, fuzzy systems, etc)
• 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
• Representation of rules in Natural or Controlled Languages
• Vocabularies, Ontologies, and Business rules
• Vocabularies, Ontologies and Rules for Enterprise Modeling
• Ontologies and Rules for Business Process Modeling
• Ontologies and Goal-Based Modeling
• Ontologies and Business Rules
• Enterprise Reference Ontologies, Taxonomies and Vocabularies
• Ontologies and Rules for Enterprise Integration
• General Topics
• Implemented tools for rules
• Rule-based Applications
• Rule interchange and reasoning interoperation
• Usability and effectiveness of rule-based systems and languages