CfP RuleML-2007, October 26/27, Orlando, Florida

[Adrian Paschke-2]

                  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
=====================================================================
In Co-operation with:

                  ECCAI, IEEE Computer TCAAS (perliminary)
=====================================================================


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
- Bill Andersen, Ontology Works, USA
- 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
- Tim Bass, SilkRoad Inc., 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
- Diego Calvanese, Free University of Bozen-Bolzano, Italy
- Donald Chapin, Business Semantics Ltd, UK
- Keith Clark, Imperial College, 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
- Maarten van Emden, University of Victoria, Canada
- Opher Etzion, IBM Research Laboratory Haifa, Israel
- Dieter Fensel, 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
- Sung Ho Ha, Kyungpook National University, South Korea
- Gary Hallmark, Oracle, USA
- Marek Hatala, Simon Fraser University, Canada
- Ivan Herman, W3C Semantic Web Activity, Netherlands
- David Hirtle, University of Waterloo, Canada
- Jochen Hiller, Top Logic, Germany
- Christian Huemer, Vienna University of Technology, Austria
- Jane Hunter, University of Queensland, Australia
- Elisa Kendall, Sandpiper Software, USA
- Matthias Klusch, DFKI GmbH, Saarbrücken, Germany
- Holger Lausen, DERI Innsbruck, Austria
- John Lee, Hong Kong Polytechnic University, Hong Kong
- 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
- Zoran Milosevic, Deontik, Australia
- 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
- Ilkka Niemelae, Helsinki University of Technology, Finland
- Bart Orriens, Tilburg University, Netherlands
- Paula-Lavinia Patranjan, Rewerse, Germany
- Cheyne Patterson, USAchurch, USA
- Axel Polleres, DERI Galway, Irland
- Jeff Pollock, Oracle, USA
- Alun Preece, University of Aberdeen, UK
- Maher Rahmouni, HP Labs, 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
- Kuldar Taverter, University of Melbourne, Australia
- 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/)