RuleML-2010

RuleML-2010

4th International Web Rule Symposium:
Research Based and Industry Focused

October 21-23, 2010, Washington, DC, USA


Co-located with the 13th Business Rules Forum



http://2010.ruleml.org/


Overview and Aim
======================================================
The International Web Rule Symposium has evolved from an annual series
of international workshops since 2002, international conferences in 2005
and 2006, and international symposia since 2007. This year, the 4th
International Web Rule Symposium (RuleML-2010) will be held near
Washington, DC, USA, co-located with the 13th Business Rules Forum, the
world's largest Business Rules event. RuleML-2010 is devoted to
practical distributed rule technologies and rule-based applications,
which need language standards for rules (inter)operating in, e.g., the
Semantic Web, Enterprise Systems, Intelligent Multi-Agent Systems,
Event-Driven Architectures, and Service-Oriented Applications.

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.


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, 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:


Track Topics
------------------------------------------------------------------------------
Rules, Semantic Technology, and Cross-Industry Standards
Rules in current industry standards, including:
* 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


We also welcome submissions on miscellaneous rule topics, such as
 - Rules and ontologies
 - Execution models, rule engines, and environments
 - Graphical processing, modeling and rendering of rules


Case studies, experience reports, and industrial problem statements are
particularly encouraged.


RuleML-2010 Challenge
======================================================
The RuleML-2010 Challenge is one of the highlights of RuleML-2010. Rules
are used in interesting and practically relevant ways to, e.g., derive
useful information, transform knowledge, provide decision support, and
provide automated rule-based monitoring, enforcement, validation or
management of the behavioral logic of an application. The Challenge
offers participants the chance to demonstrate their commercial and open
source tools, use cases, and applications.

This year Rule Challenge will have the following theme:

"Modelling Rules in the Temporal and Geospatial Applications"

The participants of the Challenge have the opportunity to understand the current trend of rule technology and standard development in the temporal and geospatial domain including:

- temporal modelling and reasoning;
- geospatial modelling and reasoning;
- cross linking between temporal and geospatial knowledge;
- visualization of the rules with graphics models in order  to favour the end-user interaction.


See, for more details (including submission guidelines)

http://www.csw.inf.fu-berlin.de/ruleml2010/ruleml-2010-challenge.html


Conference Language
======================================================
The official language of the conference will be English.


Submission
======================================================
Authors are invited to submit original contributions of practical
relevance and technical rigor in the field, experience reports and
show/use case demonstrations of effective and practical rule-based
technologies, or applications deployed in distributed environments.


RuleML-2010 Submission Guidelines, Springer Proceedings, Best Paper
Award
------------------------------------------------------------------------
Papers must be in English and may be submitted at

http://www.easychair.org/conferences/?conf=ruleml2010

as:

Full Papers (15 pages in the proceedings)
Short Papers (8 pages in the proceedings)

Please upload all submissions by also conforming to the following guidelines:

 * Papers must be uploaded as PDF files in LNCS format    (http://www.springer.de/comp/lncs/authors.html);
 * Whenever possible, indicate as a first keyword the track to which the paper    is submitted.

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 before May 25, 2010 and to upload their complete papers by June 1, 2010. The selected papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. The best paper from all submissions will be determined by the PC and a Best Paper Award will be presented at the Symposium. All submissions must be made electronically. A selection of revised papers will be resubmitted to a special issue of a journal.

  Review Process
======================================================
The submitted papers will pass the blind review process. At least three
members of the Program Committee will review each submission.


Important Dates:
======================================================

RuleML-2010 Symposium
----------------------------------------------
Abstract submission deadline: May 25, 2010
Paper Submission deadline: June 1, 2010
Notification of acceptance: July 7, 2010
Camera ready due: July 28, 2010
Symposium dates: October 21-23, 2010


RuleML-2010 Challenge (dates to be confirmed)
----------------------------------------------
Submission deadline for demo papers and  demo systems:    September 3, 2010
Notification of accepted demo papers  and demo systems: September 17, 2010
Submission deadline for  demo systems only: October 1, 2010  (contingent on availability of demo slots)
Notification for demo  systems only: October 15th, 2010



Conference Venue
======================================================
RuleML-2010 will take place at the Hilton Alexandria Mark Center, which is located 5 miles southwest of Washington, DC. The symposium is co-located with the 13th Business Rules Forum.

Hilton Alexandria Mark Center
5000 Seminary Road, Alexandria, Virginia, United States 22311

Internet: http://www1.hilton.com/en_US/hi/hotel/DCAAHHF-Hilton-Alexandria-Mark-Center-Virginia/index.do


Program Committee
======================================================

General Chairs
--------------------
Mike Dean, Raytheon BBN Technologies, USA
Said Tabet, RuleML Initiative, USA


Program Chairs
--------------------
John Hall, Model Systems, UK
Antonino Rotolo, University of Bologna, Italy


Liaison Chair
--------------------
Mark Proctor, Red Hat, UK


Publicity Chair
--------------------
Patrick Hung, University of Waterloo, Canada


Rule Responder Chairs
--------------------
Efstratios Kontopoulos, Aristotle University of Thessaloniki, Greece
Kalliopi Kravari, Aristotle University of Thessaloniki, Greece


Track Chairs
--------------------
Rules, Semantic Technology, and Cross-Industry Standards
Tracy Bost, Valocity, USA
Robert Golan, DBMind, USA

Rule Transformation and Extraction
Mark Linehan, IBM, USA

Rules and Uncertainty
Davide Sottara, University Bologna, Italy
Nikolaus Wulff, University of Muenster, Germany

Rules and Norms
Thomas Gordon, Fraunhofer FOKUS, Germany
Guido Governatori, NICTA, Australia

Rules and Inferencing
Grigoris Antoniou, Information Systems Laboratory, FORTH, Greece
Antonis Bikakis, Information Systems Laboratory, FORTH, Greece

Rule-based Event Processing and Reaction Rules
Alex Kozlenkov, Betfair Ltd., UK
Adrian Paschke, Free Univ. Berlin, Germany

Rule-Based Distributed/Multi-Agent Systems
Nick Bassiliades, Aristotle University of Thessaloniki, Greece
Costin Badica, University of Craiova, Romania


RuleML-2010 Challenge Chairs
------------------------------
Enrico Francesconi, ITTIG-CNR, Italy
Monica Palmirani, University of Bologna, Italy
Fabio Vitali, University of Bologna, Italy


RuleML-2010 Program Committee
------------------------------
Hassan Ait-Kaci, IBM, Canada
Sidney Bailin, Knowledge Evolution, USA
Matteo Baldoni, University of Turin, Italy
Claudio Bartolini, HP Labs, USA
Bernhard Bauer, University of Augsburg, Germany
Mikael Berndtsson, University of Skövde, Sweden
Pedro Bizarro, University of Coimbra, Portugal
Jonathan Bnayahu, IBM Haifa Research Lab, Israel
Guido Boella, University of Turin, Italy
Peter Bollen, University of Maastricht, Netherlands
Jordi Cabot, Universitat Oberta de Catalunya, Spain
Carlos Castro, Unversidad Técnica Federico Santa María, Chile
Donald Chapin, Business Semantics Ltd, UK
Federico Chesani, University of Bologna, Italy Horatiu Cirstea, Loria, France
Claudia d'Amato, University of Bari, Italy
Juergen Dix, Technische Universitaet Clausthal, Germany
Weichang Du, University of New Brunswick, Canada Schahram Dustdar, Vienna University of Technology, Austria
Andreas Eberhart, Fluid Operations, Germany
Jenny Eriksson Lundström, Uppsala University, Sweden
Opher Etzion, IBM, Israel
Todd Everett, Nationwide, USA
Maribel Fernandez, King�s College London, UK
Enrico Francesconi, ITTIG-CNR, Italy
Dragan Gasevic, Athabasca University, Canada
Adrian Giurca, Brandenburg University of Technology at Cottbus, Germany
Ioannis Hatzilygeroudis, University of Patras, Greece
Stijn Heymans, Technischen Universität Wien, Austria
Minsu Jang, E&T Research Institute, Korea
Yuh-Jong Hu, National Chengchi University, Taiwan Yiannis Kompatsiaris, Informatics and Telematics Institute, Greece
Manolis Koubarakis, National and Kapodistrian University of Athens, Greece
Wolfgang Laun, Thales Rail Signalling Solutions GesmbH, Austria Ching Long Yeh, Tatung University, Taiwan Ian Mackie, Ecole Polytechnique, France
Christopher Matheus, Vistology, USA
Craig McKenzie, SAIC Ltd., UK
Jing Mei, IBM, China
Zoran Milosevic, Deontik, Australia
Anamaria Moreira, URFN, Brazil
Leora Morgenstern, IBM, USA
Joerg Mueller, Technische Universitaet Clausthal, Germany
Chieko Nakabasami, Toyo University, Japan
Monica Palmirani, University of Bologna, Italy
Alun Preece, Cardiff University, UK
Maher Rahmouni, HP Labs, UK
Dave Reynolds, HP Labs, UK
Graham Rong, MIT Sloan School of Management, USA
Giovanni Sartor, University of Bologna, Italy
Marco Seirio, RuleCore, Sweden
Silvie Spreeuwenberg, LibRT, The Netherlands
Giorgos Stamou, National Technical University of Athens, Greece
Giorgos Stoilos, National Technical University of Athens, Greece
Nenad Stojanovic, University of Karlsruhe, Germany
Umberto Straccia, ISTI-CNR, Italy
Terrance Swift, XSB Inc., USA
Leon Van der Torre, University of Luxembourg, Luxembourg Jan Vanthienen, Katholieke Universiteit Leuven, Belgium
Fabio Vitali, University of Bologna, Italy
George Vouros, University of the Aegean, Greece
Kewen Wang, Griffith University, Australia
Segev Wasserkrug, IBM, Israel


RuleML-2010 Partners
======================================================
                                  Partner Organizations
---------------------------------------------------
W3C: The World Wide Web Consortium

Media Partners
---------------------------------------------------
Springer LNCS

INTERNATIONAL CONFERENCE GAME AND ENTERTAINMENT TECHNOLOGIES (GET2010)

-- CALL FOR PAPERS - Deadline for submissions (new date): 29 March 2010 --

IADIS INTERNATIONAL CONFERENCE GAME AND ENTERTAINMENT TECHNOLOGIES (GET2010)
Freiburg, Germany, 26 – 28 July 2010
(http://www.gaming-conf.org/)
part of the IADIS Multi Conference on Computer Science and Information Systems(MCCSIS 2010)
Freiburg, Germany 26 – 31 July 2010
(http://www.mccsis.org)


* Keynote Speaker (confirmed):
Matt Costello, Scriptwriter & Games Designer, USA

* Conference background and goals
This conference aims to bring together research and practice from creative, social and business practitioners and researchers in this challenging field. The focus of this conference is on design, development and evaluation of games, entertainment technologies and the nature of play.

* Format of the Conference 
The conference will comprise of invited talks and oral presentations. The proceedings of the conference will be published in the form of a book and CD-ROM with ISBN, and will be available also in the IADIS Digital Library (accessible on-line).

* Best Papers
Selected authors of best papers will be invited to submit extended versions of their papers to selected journals (i.e. IADIS International Journal on Computer Science and Information Systems - ISSN: 1646-3692) including journals from INDERSCIENCE Publishers.

* Types of submissions 
Full and Short Papers, Reflection Papers, Posters/Demonstrations, Tutorials, Panels and Doctoral Consortium. All submissions are subject to a blind refereeing process.

* Topics related to Game and Entertainment Technologies are of interest. These include, but are not limited to the following topics: 
 
- Development methodologies
- Design issues 
- Controversial issues – we welcome debate and dissension, for example; games as art, entertainment as purely for monetary returns etc
- Special Effects
- Animation
- Mobile and ubiquitous games and entertainment 
- Serious Games and entertainment –applications, critiques
- Philosophical issues
- Prototypes
- Social and cultural uses of/for Play
- Tools and technologies
- Skills, strategy, rules and chance
- Genre
- Immersiveness and engagement
- Research methodologies in creative practice

- Usability and playability
- User/player centered design
- Psychological, social, and cultural differences in perception and participation
- Communities, networks, social interaction and social capital
- Cross-cultural and intercultural approaches
- Assessment of exploratory learning approaches
- Emerging practices


* Important Dates:
- Submission Deadline (new date): 29 March 2010
- Notification to Authors (new date): 30 April 2010
- Final Camera-Ready Submission and Early Registration (new date): Until 24 May 2010
- Late Registration (new date): After 24 May 2010
- Conference: Freiburg, Germany, 26 – 28 July 2010

* Conference Location 
The conference will be held in Freiburg, Germany. 

* Secretariat 
IADIS Secretariat - IADIS INTERNATIONAL CONFERENCE GAME AND ENTERTAINMENT TECHNOLOGIES 2010
Rua Sao Sebastiao da Pedreira, 100, 3 
1050-209 Lisbon, Portugal 
E-mail: secretariat@gaming-conf.org
Web site: http://www.gaming-conf.org/

* Program Committee 
Game and Entertainment Technologies 2010 Conference Program Chair:
Katherine Blashki, University of Sydney, Australia

General MCCSIS 2010 Conference Co-Chairs:
Piet Kommers, University of Twente, The Netherlands 
Pedro Isaías, Universidade Aberta (Portuguese Open University), Portugal
Dirk Ifenthaler, Albert-Ludwigs-Universität Freiburg, Germany
Nian-Shing Chen, National Sun Yat-sen University, Taiwan

Committee Members: *
* for committee list please refer to http://www.gaming-conf.org/committees.asp

4th International Conference on Web Reasoning and Rule Systems (RR 2010)

4th International Conference on Web Reasoning and Rule Systems (RR 2010)


Call for Papers

Bressanone/Brixen, Italy
September 22-24, 2010

http://www.rr-conference.org/RR2010

Co-located with the Italian Workshop on Semantic Web Applications
and Perspectives (SWAP) 2010.


The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results concerning
Web Reasoning and Rule Systems. RR 2010 builds on the success of the
first three International Conferences on Web Reasoning and Rule Systems
(see http://www.rr-conference.org), held in Innsbruck, Austria (2007),
Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which
received enthusiastic support from the Web Reasoning community. In 2010,
RR will continue the excellence of the new series and aim to attract
the best Web Reasoning and Rules researchers from all over the world.

Suggested topics include the following (but are not limited to):

*  Representation techniques for Web-based knowledge
*  Acquisition of rules and ontologies by knowledge extraction
*  Combining open and closed-world reasoning
*  Combining rules and ontologies
*  Design and analysis of reasoning languages
*  Efficiency and benchmarking
*  Implemented tools and systems
*  Foundations and applications related to relevant standardization
     bodies such as the W3C Rule Interchange Format (RIF), Web
     Ontology Language (OWL2) and SPARQL working groups, or the
     W3C Uncertainty Reasoning for the WWW Incubator Group, etc.
*  Ontology usability
*  Ontology languages and their relationships
*  Querying and optimization
*  Rules and ontology management (such as inconsistency handling
     and evolution)
*  Reasoning with uncertainty and under inconsistency
*  Reasoning with constraints
*  Rule languages and systems
*  Rule interchange formats and Rule markup languages
*  Scalability vs. expressivity of reasoning on the Web
*  Approximate reasoning techniques for the Web
*  Integration of statistical methods and symbolic reasoning
*  Stream reasoning
*  Semantic Web Services modeling and applications
*  Web and Semantic Web applications and experience papers


PUBLICATION

The proceedings will be published by Springer in the Lecture Notes
in Computer Science (LNCS) series (acceptance pending) and will
be available at the conference. After the conference, there will
be a special issue of the (new IOS Press) journal "Semantic Web
- Interoperability, Usability, Applicability" with selected
papers from the conference.


SUBMISSION OF PAPERS

Submissions must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science (see
http://www.springer.com/comp/lncs/Authors.html), and
must be in PDF format. Submission is via EasyChair
(http://www.easychair.org/conferences/?conf=rr2010).

The length should not exceed 15 pages for full papers,
9 pages for short papers, 4 pages for posters, and 6 pages
for system descriptions (for system demos at the conference).
The stated lengths include title, abstract, and references.
Short papers, posters, and system descriptions should be
clearly marked as such in the title and in the easychair
submission system. Submissions that deviate substantially
from these guidelines may be rejected without review.
Original research and application papers are welcome;
submissions will especially be judged for originality and
scientific quality. All accepted papers, posters, and
system descriptions will be included in the proceedings.


IMPORTANT DATES

Abstract submission deadline: May 15, 2010
Paper/poster/demo submission deadline: May 22, 2010
Paper/poster/demo accept/reject decisions: June 24, 2010
Camera-ready due: July 15, 2010
Last day for early registration fee: July 15, 2010


CONFIRMED INVITED SPEAKERS

Georg Gottlob (Oxford University, UK)


GENERAL CHAIR

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)


PROGRAM CHAIRS

Pascal Hitzler (Wright State University, USA)
Thomas Lukasiewicz (Oxford University, UK)


LOCAL ARRANGEMENTS

Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy)


SPONSORSHIP CHAIR

Krzysztof Janowicz (Pennsylvania State University, USA)


PROGRAM COMMITTEE

Grigoris Antoniou (University of Crete, Greece)
Marcelo Arenas (PUC Chile, Chile)
Jie Bao (Rensselaer Polytechnic Institute, USA)
Chitta Baral (Arizona State University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Andrea Calì (Oxford University, UK)
Vinay Chaudri (Stanford Research Institute, USA)
Kendall Clark (Clark & Parsia, USA)
Claudia d'Amato (University of Bari, Italy)
Carlos Damasio (Universidade Nova de Lisboa, Portugal)
Wlodek Drabent (IPI PAN Warszawa, Poland)
Sergio Flesca (University of Calabria, Italy)
Christine Golbreich (University of Versailles Saint-Quentin, France)
Claudio Gutierrez (University of Chile, Chile)
Stijn Heymans (TU Vienna, Austria)
Rinke Hoekstra (VU Amsterdam, The Netherlands)
Giovambattista Ianni (University of Calabria, Italy)
Krzysztof Janowicz (Pennsylvania State University, USA)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Francesca A. Lisi (University of Bari, Italy)
Gergely Lukácsy (DERI Galway, Ireland)
Jan Maluszynski (University of Linköping, Sweden)
Wolfgang May (University of Göttingen, Germany)
Ralf Möller (TU Hamburg, Germany)
Boris Motik (Oxford University, UK)
Wolfgang Nejdl (LS3 and University of Hannover, Germany)
Matthias Nickles (University of Bath, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Sebastian Rudolph (University of Karlsruhe, Germany)
Alan Ruttenberg (ScientificCommons, Switzerland)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Heiner Stuckenschmidt (University of Mannheim, Germany)
Terrance Swift (SUNY Stony Brook, USA)
Sergio Tessaris (Free University of Bozen, Italy)
Dirk Vermeir (University of Brussels, Belgium)
Zhe Wu (Oracle, USA)


FURTHER INFORMATION

For further information refer to the RR 2010 web site at

  http://www.rr-conference.org/RR2010