[ our apologies should you receive this message more than one time ] The International RuleML Symposium on Rule Interchange and Applications (RuleML-2007) October 25-26, 2007, Orlando, Florida http://2007.ruleml.org ===================================================================== Co-located with: The 10th International Business Rules Forum http://www.businessrulesforum.com ===================================================================== Call for Papers Co-located with the 10th International Business Rules Forum, the International Symposium on Rule Interchange and Applications (RuleML-2007) is the first symposium devoted to work on practical distributed rule technologies and rule-based applications which need language standards for rules operating in the context of, e.g., the Semantic Web, Intelligent Multi-Agent Systems, Event-Driven Architectures and Service-Oriented Computing Applications. After a series of successful RuleML workshops and then conferences (e.g. http://2006.ruleml.org), this is a new kind of event where the Web Logic community joins the established, practically oriented Forum of the Business Rules community (http://www.businessrulesforum.com) to help cross-fertilizing between Web and Business Logic technology. The goal of RuleML-2007 is to bring together rule system providers, representatives of, and participants in, rule standardization efforts (e.g., RuleML, RIF, PRR, CL, SBVR) and open source rules communities (e.g., jBoss Rules , Jess, Prova, OO jDrew, Mandarax, XSB, XQuery), practitioners and technical experts, developers, users, and researchers. They will be offered an exciting venue to exchange new ideas, practical developments and experiences on issues related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web. A particular focus will be on practical issues such as technical contributions and show case demonstrations of effective, practical, deployable rule-based technologies, rule interchange formats and applications as well as discussions of lessons learned that have to be taken into account when employing rule-based technologies in distributed, (partially) open, heterogeneous environments. We also welcome theoretical contributions that help to build an effective, practical, and deployable rule standard, improve rule technology, provide better understanding of the integration and interchange of rules, and make the current generation of rule engines and rule technology more usable for advanced Web and Service Oriented Architectures. Topics of Interest ------------------ We invite to share their ideas, results, and experiences: industry practitioners, rule system providers, technical experts and developers, rule users, and researchers who are exploring foundations (especially in the area of system interoperability and rule interchange), are developing systems and applications, or are using rule-based systems. We invite submissions related (but not limited to) to one or more of the following topics: - Representation and meta-annotation of rules and rule sets (modules) for publication and interchange purposes - Collaborative authoring, modeling and engineering of rule specifications and rule repositories - Heterogeneous and homogenous information integration of external data and domain knowledge into rules including object-oriented data representations, databases, Web resources, meta-data repositories and Semantic Web ontologies - Homogeneous and heterogeneous integration of rules and ontologies - Hybrid rule systems combining, e.g. declarative rules and object-oriented programming or forward-reasoning production rules and backward-reasoning derivation rules - Management and maintenance of distributed rule bases and rule repositories during their lifecycle - Interchange and refactoring of rule bases in heterogeneous execution environments - Verification and validation of interchanged rule bases in heterogeneous execution environments - Contributions on effective, practical, and deployable Web standards on rules as well as special purpose, vertical domain rule languages - Communication between rule based systems using interchange formats and processing / communication middleware such as Event Processing Networks (EPN), and Enterprise Service Bus (ESB) and Event Driven Architectures (EDA) - Applications, products, research, and development in rule-based, distributed complex event processing (CEP), event communication and reaction rules (e.g., ECA rules, production rules, trigger rules) - Event-driven/action rule languages and models - Practical solutions tackling the real-world Software Engineering requirements of rule-based systems in open, distributed environments such as the Web - Modeling of executable rule specifications and tool support (e.g. development environments, editors, compilers, interpreters, translators/transformations, rule code generators) - Execution models, rule engines, and environments - Compilation vs. interpretation approaches of rules - Rules interchange standards and related industry interchange formats, e.g. SBVR, PRR, XBRL,FIX/FPL, FpML, MISMO, ACORD, RuleML, RIF, SWRL, etc. - Applications and integration of rules in web standards, e.g., semantic web services (SWS), WS-standards, BPEL, security (e.g. XRML), meta data processing (e.g. personal information management DC, vCard, FOAF, vCalendar etc.) - Rule-based software agents and (web) services - Applications of rules in the Semantic Web and Pragmatic Web (e.g. negotiation of ontology meaning or communication within a pragmatic context) - Comparing and advancing the state of current business rules engines (BRE) and business rules management system (BRMS) tools - Practical interoperation between different rule formats such as business rules, decision tables, decision trees, reactive rules, derivation rules, logical formulas, constraints, association rules, transformation rules and ontological domain conceptualization including meaning negotiation and practical use of agreed rules and vocabularies - Applications based on (Semantic) Web rule standardization or standards-proposing efforts - Translation of interchangeable and domain-independent rule formats and rule models into executable technical rule specifications - Extraction and reengineering of platform-independent, interchangeable rules and rule models from existing platform-specific resources and information - Natural-language processing of rules - Graphical processing, modelling and rendering of rules - Incorporation of rules technology into distributed enterprise application architectures such as such as Real-Time Enterprise (RTE), Business Activity Management (BAM), Business Performance Management (BPM), Business Process Management, Enterprise Workflow Systems, Database Management Systems or Supply Chain Management Solutions and related areas such as Service-based Architectures (Service Oriented Architectures (SOA) / Service Oriented Computing (SOC) / Service Component Architectures (SCA) ), Semantic Web Services (SWS), IT Service Management (ITSM) and IT Service Level Management (IT SLM) , and Policy solutions - Rule-based policies and electronic contracts: their specification, execution, and management - Languages for exchanging and processing information through the web, e.g. common base event, WS-standards, ebXML etc. - E-contracting and automated negotiations with rule-based declarative strategies - Applications of rules in e.g. legal reasoning, compliance rules, security, IT government, security, risk management, trust and proof reasoning, etc. - Rule-based (multi-valued) reasoning with and representing uncertain and fuzzy information - Rule-based reasoning with non-monotonic negation, modalities, deontic, temporal, priority, scoped or other rule qualifications RuleML-2007 Challenge --------------------- To place emphasis on the practical use of rule technologies in distributed Web-based environments there will be a RuleML-2007 Challenge with a focus on rule interoperation and interchange. The challenge offers participants the chance to demonstrate their commercial and open source tools, use cases, and applications. Prizes will be awarded to the two best applications. All accepted demos will be presented in a highly publicized Challenge Session, first sequentially for the RuleML-2007 plenary, and then in more detail on demand. The two award-winning ones will be presented in special time slots. Intentionally, this year's challenge does not define a specific task, data set, application domain, or technology to be used because the potential applicability of rules is very broad. Important Dates --------------- - Abstract Submission due June 15, 2007 - Paper Submissions due June 29, 2007 - Notification of acceptance July 23, 2007 - Final submissions due August 17, 2007 - Symposium date October 25-26, 2007 - RuleML Challenge October 25, 2007 Symposium Proceedings and Submission Details -------------------------------------------- Authors are invited to submit original contributions of practical relevance and technical rigor in the field, experience reports and show case / use case demonstrations of effective, practical, deployable rule-based technologies or applications in distributed environments. Papers must be in English and may be submitted as: - Full Papers (15 pages in the proceedings) - Short Papers (8 pages in the proceedings) - RuleML-2007 Challenge Demo Show Cases (1-5 pages in the proceedings) Please upload all submissions as PDF files in LNCS format (http://www.springer.de/comp/lncs/authors.html). All submissions must be done electronically via http://www.easychair.org/RuleML2007/. To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on originality, significance, technical soundness, and clarity of exposition. Authors are requested to upload the abstracts of their papers by June 15, 2007 and to upload their complete papers by June 29, 2007. The selected papers will be published as symposium proceedings to be produced in book form available for the event along with a CD with demo software and documents. The best paper from all submissions will be determined by the PC and a Best Paper Award will be handed over at the Symposium by a Sponsor. A number of selected papers will be invited for extension and publication in a special issue of a journal. Submissions to the RuleML Challenge 2007 consist of a paper of 3-5 pages and a link to a demonstration or download site for a demonstration. In case of product demos, the link can be password-protected: please submit a password for anonymous login from any Web browser, giving us the permission to pass the password on to 3 PC members. The demos will be evaluated by the RuleML-2007 Program Committee and prizes will be awarded to the first two best applications, sponsored by the RuleML Inc. non-profit organization. Please do not hesitate to email to the appropriate Symposium Chair(s), if you have any questions. Program Committee ----------------- - Asaf Adi, IBM Research Laboratory Haifa, Israel - Grigoris Antoniou, University of Crete, Greece - Arun Ayachitula, IBM TJ Watson Research Center, USA - Youcef Baghdadi, Sultan Qaboos University, Oman - Sidney Bailin, Knowledge Evolution, USA - Claudio Bartolini, HP Labs Palo Alto, USA - Nick Bassiliades, Aristotle University of Thessaloniki, Greece - Bernhard Bauer, University of Augsburg, Germany - Lepoldo Bertossi, Carleton University, Canada - Anthony Brown, University of New Brunswick, Canada - Loreto Bravo, University of Edinburgh, UK - Donald Chapin, Business Semantics Ltd, UK - Jorge Cuellar, Siemens AG, Germany - Mike Dean, BBN Technologies, USA - Stan Devitt, Agfa Healthcare, Canada - Jens Dietrich, Massey University, New Zeeland - Juergen Dix, Technische Universitaet Clausthal, Germany - Scharam Dustdar, Vienna University of Technology, Austria - Andreas Eberhart, HP, Germany - Opher Etzion, IBM Research Laboratory Haifa, Israel - Dieter Fenzel, DERI Innsbruck, Austria - Tim Finin, University of Maryland Baltimore County, USA - Dragan Gasevic, Athabasca University, Canada - Allen Ginsberg, MITRE, USA - Robert Golan, DBmind Technologies, USA - Guido Governatori, University of Queensland, Australia - Gary Hallmark, Oracle, USA - Marek Hatala, Simon Fraser University, Canada - David Hirtle, University of Waterloo, Canada - Christian Huemer, Vienna University of Technology, Austria - Jane Hunter, University of Queensland, Australia - Matthias Klusch, DFKI GmbH, Saarbrücken, Germany - Heiko Ludwig, IBM TJ Watson Research Center, USA - Thomas Lukasiewicz, University Roma La Sapienza, Italy - Christopher Matheus, Vistology, Inc., USA - Mala Mehrota, Pragati Research, USA - Jing Mei, Peking University, China - Jang Minsu, E&T Research Institute, Korea - Leora Morgenstern, Stanford University, USA - Joerg Mueller, TU Clausthal, Germany - Chieko Nakabasami, Toyo University, Japan - Matthias Nickles, Technical University Munich, Germany - Bart Orriens, Tilburg University, Netherlands - Cheyne Patterson, USAchurch, USA - Axel Polleres, DERI Galway, Irland - Jeff Pollock, Oracle, USA - Alun Preece, University of Aberdeen, UK - Girish R Ranganathan, University of New Brunswick, Canada - Dave Reynolds, HP, England - Norman Sadeh, Carnegie Mellon University, USA - Marco Seirioe, RuleCore, Sweden - Kai Simon, Albert-Ludwigs University Freiburg, Germany - Michael Sintek, DFKI, Germany - Silvie Spreeuwenberg, LibRT, Netherlands - Giorgos Stoilos, NTU Athens, Greece - Terrance Swift, XSB, Inc., USA - Vagan Terziyan, University of Jyvaskyla, Finland - Paul Vincent, TIBCO Software, Inc., USA - Kewen Wang, Griffith University, Australia - Guizhen Yang, SRI, USA Organizing Committee -------------------- General Chair Said Tabet, Inferware Corp. stabet AT ruleml.org Program Co-Chairs Adrian Paschke, Technical University Munich, Germany paschke AT in.tum.de Yevgen Biletskiy, University of New Brunswick, Canada biletski AT unb.ca Challenge Co-Chairs Alexander Kozlenkov, Betfair Ltd., London, UK alex.kozlenkov AT betfair.com Ralph Hodgson, TopQuadrant, Inc., Mountain View, USA rhodgson AT topquadrant.com Panel Chair John Hall, Model Systems, UK john.hall AT modelsys.com Publicity Chair Suzette Stoutenburg, MITRE Corporation, USA suzette AT mitre.org (Sponsoring levels: http://2007.ruleml.org/sponsoring/)