RuleML-2007: Rule Interchange and Applications

RuleML-2007

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 Tenth 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
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
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
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
Jörg Müller, 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
Paul Vincent, TIBCO Software, Inc., USA
Kewen Wang, Griffith University, Australia
Guizhen Yang, SRI, USA

Organizing Committee

General Chair

Said Tabet, Inferware Corp.
stabet@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/

Prepared by Robin Cover for The XML Cover Pages archive.

SEARCH Advanced Search ABOUT Site Map CP RSS Channel Contact Us Sponsoring CP About Our Sponsors NEWS Cover Stories Articles & Papers Press Releases CORE STANDARDS XML SGML Schemas XSL/XSLT/XPath XLink XML Query CSS SVG TECHNOLOGY REPORTS XML Applications General Apps Government Apps Academic Apps EVENTS LIBRARY Introductions FAQs Bibliography Technology and Society Semantics Tech Topics Software Related Standards Historic	RuleML-2007: Rule Interchange and Applications RuleML-2007 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 Tenth 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 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 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 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 Jörg Müller, 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 Paul Vincent, TIBCO Software, Inc., USA Kewen Wang, Griffith University, Australia Guizhen Yang, SRI, USA Organizing Committee General Chair Said Tabet, Inferware Corp. stabet@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/ Prepared by Robin Cover for The XML Cover Pages archive.