cfp
19.7 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Call for Participation - W3C Workshop on Rule Languages for Interoperability </title>
<link href="http://www.w3.org/StyleSheets/base.css" rel="stylesheet"
type="text/css" />
<!-- link rel="stylesheet" href="http://www.w3.org/Style/threepart-f.css"
title="Gold fixed" media="screen, projection, print" -->
<style type="text/css">
.comment {
width: 90%;
border: 2px solid red;
padding: 6px;
}
dl, dd, dt { list-style-type: disc; }
table, ol, ul,p,dl { margin-left: 4% }
dl { margin-left: +6%; }
dt { font-weight: bold; }
h4 { margin-left: 4% }
.head { text-align: center;
color: #005a9c;
font-weight: bold;
}
.head a:visited {
color: #005a9c;
}
.head a:link {
color: #005a9c;
}
h2 {
color: white;
border: 1px solid gray;
font-weight: bold;
margin-top: 0;
padding: 0.1em;
text-indent: 0.3em;
}
table {
border-collapse: collapse;
background: #FFF;
}
th,td {
padding: 6px 2em;
background: #eee;
border: 1px black solid;
}
td.date {
text-align: right;
font-weight: bold;
font-size: 90%;
}
/* h1 {
background: #005a9c;
} */
h1 {
}
h3, h4, h5 {
color: #8080D0;
}
h2 {
background-color: #aa7;
}
.author {
margin-top: 2em;
font-style: italic;
}
.abstract {
text-align: left;
margin-left: 10%;
margin-right: 10%;
}
</style>
</head>
<body>
<p>
<a href="http://www.w3.org/"><img border="0" src="http://www.w3.org/Icons/WWW/w3c_home"
alt="W3C" /></a>
<a href="http://www.w3.org/TandS/"><img src="http://www.w3.org/Icons/tands.gif"
alt="Technology and Society Domain" width="212" height="48"
border="0" /></a> <a href="http://www.w3.org/2001/sw/"><img src="http://www.w3.org/2001/sw/sw"
alt="The Semantic Web Home Page" border="0" /></a>
</p>
<div class="head">
<h1><em>- Call For Participation -</em></h1>
<h1>W3C Workshop on<br/>Rule Languages<br/>for Interoperability</h1>
<h3>27-28 April 2005 — Washington, D.C., USA</h3>
<div class="abstract">
<p>Summary: Rule languages and rule systems are widely used in
applications ranging from database integration, service provisioning,
and business process management to loan underwriting, privacy policies
and Web services composition. General purpose rule languages remain
relatively unstandardized, however, and rule systems from different
suppliers are rarely interoperable.
</p>
<p>Meanwhile, the Web has achieved remarkable success in allowing
documents to be shared and linked throughout the world. More
recently, <a href="http://www.w3.org/2001/sw/">Semantic Web</a>
languages like <a href="http://www.w3.org/RDF/">RDF</a> and <a
href="http://www.w3.org/TR/owl-features/">OWL</a> are beginning to
support data/knowledge sharing on the same scale and with considerable
flexibility. Having a language for sharing rules is often seen as the
next step in promoting data exchange on the Web.</p>
<p>This workshop, held by W3C with support from <a
href="http://www.daml.org/">DARPA</a> and hosted by <a
href="http://ilog.com/">ILOG</a>, is intended to gather various
participants and inputs needed to see how a standard rule framework
might be developed, informed by <a
href="http://www.w3c.org/TR/webarch/">Web Architecture</a> and useful
for addressing real user challenges.</p>
</div>
<h4>See <a href="http://www.w3.org/2004/12/rules-ws">workshop
site</a> for news and repository of contributed materials</h4>
</div>
<div class="map">
<h2>Contents</h2>
<ul>
<li><a href="#Purpose">Purpose</a>
<ul>
<li><a href="#Back">Background</a></li>
<li><a href="#Goal">Workshop Goals</a></li>
<li><a href="#Deliverables">Deliverables</a></li>
<li><a href="#Scope">Scope</a></li>
</ul>
</li>
<li><a href="#Participation">Participation</a>
<ul>
<li><a href="#Expected">Expected Audience</a></li>
<li><a href="#Registration">Requirements for Participation</a></li>
<li><a href="#Position">Position Papers</a></li>
</ul>
</li>
<li><a href="#Organization">Organization</a>
<ul>
<li><a href="#Prog_chair">Program Committee</a></li>
<li><a href="#Venue">Venue</a></li>
<li><a href="#Dates">Important Dates</a></li>
</ul></li>
</ul>
</div>
<h2><a id="Purpose">Purpose</a></h2>
<h3><a id="Back">Background</a></h3>
<h4>Rules everywhere</h4>
<p>Rules are everywhere. They are found in many domains, disciplines, and
industries. Business policies, laws and regulations, guidelines and
best practices, definitions and axioms, database schema translations,
workflow branching and technical constraints, all require a
declarative and modular approach to their implementation. There is a
thriving commercial market in several families of rule technologies,
including production rules, event-condition-action rules, Prolog,
relational database systems, and others. However, practical
interoperability between these systems, especially across the
different families, is currently quite limited.</p>
<p>Rules are a key element of the Semantic Web vision, allowing
integration, derivation, and transformation of data from multiple
sources in a distributed, transparent, and scalable manner. Rules can
themselves be treated as data, published on the web, and when <a
href="http://www.w3c.org/TR/webarch/#uri-benefits">URIs</a> (or <a
href="http://www.w3.org/2001/tag/doc/qnameids.html">QNames</a>) are
used as symbol-constants in a rule language, they can form useful
links between knowledge bases. In a Web services environment, rules
offer the opportunity to enable the automation of the enforcement and
composition of policies governing the delivery of information, the
access to services, or the execution of processes.</p>
<p>Rules have advantages of flexibility and manageability. In
addition, the declarative nature of rules gives them a special appeal
as a programmatic and knowledge representation device in a distributed
and Web-based environment, where they can be owned, specified and managed
in one place, and applied in many other places. This requires,
however, a standard way to represent rules unambiguously for
publication and interchange purposes.</p>
<h4>Different rules and a common foundation</h4>
<p>Rules come in a variety of forms for different uses and
applications. Business rules, decision tables, and decision trees are
used to automate the enforcement of business policies and regulations.
Logical formulas, constraints, ontologies, association and
transformation rules are used for inferencing in information retrieval
and information integration, including databases, and metadata
repositories (e.g. <a href="http://www.dublincore.org/">Dublin Core
Initiative</a>), or in analytical, forecasting and/or optimization
applications.</p>
<p>Rules, however, trace their roots back to formal logic. There,
semantics can be represented via a logical model theory and
inference can be based on logical proof theory. The most
important de facto semantic standard is first order predicate
calculus, unchanged for nearly a hundred years. In the last three
decades, declarative logic programs have emerged as a complement to
first order logic, and provided the foundation for the semantics of
relational databases and many rule languages. Algorithmic techniques
and theory for formal logic have been extended to enable, and
semantically treat: procedural attachments for built-ins, tests, and
actions; and non-monotonicity for negation-as-failure, defaults,
inheritance, prioritization, updating, revision, and conflict
handling.
</p>
<h4>Candidate Languages and related work
</h4>
<p>To be effective, practical, and deployable, a Web standard on rules
needs to focus on the requirements of end users and the needs of rule
technology providers. The goal of being able to transfer rulebases /
knowledge bases, or simply to process them with different software,
has helped motivate several important standardization or
standards-proposing efforts including <a
href="http://www.ruleml.org/">RuleML</a> and <a
href="http://www.w3.org/Submission/2004/03/Comment">SWRL</a>, <a
href="http://www.w3.org/2000/10/swap/Primer.html">n3</a>, <a
href="http://www.w3.org/RDF/Metalog/">Metalog</a>, <a
href="http://logic.stanford.edu/kif/kif.html">KIF</a> and <a
href="http://philebus.tamu.edu/cl/">ISO Common Logic</a>, <a
href="http://pauillac.inria.fr/~deransar/prolog/docs.html">ISO
Prolog</a>, and others. Some of those have been aimed at more or less
specialized purposes, e.g., in the domains of Web Service policies (<a
href="http://xml.coverpages.org/ni2003-06-04-a.html">WS-Policy</a>,
WSPL, <a href="http://policy.ruleml.org/">Policy RuleML</a>, <a
href="http://www.daml.org/services/swsl/">SWSL</a>, <a
href="http://www.wsmo.org/wsml/">WSML</a>), access control and
authorization (<a
href="http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml">XACML</a>,
<a
href="http://www.zurich.ibm.com/security/enterprise-privacy/epal/">EPAL</a>,
<a href="http://www.w3.org/P3P/">P3P</a>/<a
href="http://www.w3.org/TR/P3P-preferences/">APPEL</a>), Business
Rules (<a href="http://xml.coverpages.org/brml.html">BRML</a>, <a
href="http://xml.coverpages.org/srml.html">SRML</a>), and other areas
as well. Related standardization efforts have also started with
respect to rule modeling (OMG's Business Semantics for Business Rules
RFP and Production Rules Representation RFP) and rulebase execution
(<a href="http://www.jcp.org/en/jsr/detail?id=94">JSR 94 - Java API
for Rules Engine</a>).
</p>
<h3><a id="Goal">Workshop Goals</a></h3>
<p>This workshop is a step along the path to establishing a standard
language framework to support rule system interoperation on the Web.
It aims at gathering vendors, technologists,
application developers and users to discuss and provide recommendations
to the W3C regarding what
is the best approach to the specification of a standard or family of
standards for the public representation and exchange of rules on the
Web, in terms of avoiding redundant efforts, of optimizing the
potential for wide adoption, and of promoting consistency and
interoperability between different applications or layers, while
preserving their specific requirements.
</p>
<p>The specific goals for this workshop are:</p>
<ol>
<li>Gather and refine use cases and requirements for a
framework;</li>
<li>Gather information about available technologies and relevant
areas of practice and research;</li>
<li>Help establish a common ground for this work as well as a
community of possible participants;</li>
<li>Understand priorities and time frames and gather information to
establish a strategy and a calendar;</li>
<li>Help organizations and individuals learn enough about this work
to determine their level of commitment going forward.</li>
</ol>
<h3><a id="Deliverables">Deliverables</a></h3>
<p>The workshop is expected to result in the following deliverables:</p>
<ul>
<li>Use Cases (ideally with Test Cases) and Potential Requirements</li>
<li>Candidate Technologies</li>
<li>Workshop position papers</li>
<li>Workshop presentations</li>
<li>Workshop minutes</li>
<li>Recommendations regarding future work</li>
</ul>
<p>These will be published on the <a href="http://www.w3.org/2004/12/rules-ws">workshop home page</a>.</p>
<h3><a id="Scope">Scope of the Workshop</a></h3>
<p>The scope of this workshop is restricted in order to make the best
use of participants' time. In general, discussion at the workshop and
in the position papers should stay focused on the workshop goals and
deliverables.</p>
<p>In scope:</p>
<ul>
<li>Collecting use cases and articulating requirements</li>
<li>Analyses of the rules market and user base</li>
<li>Comparisons across languages and systems, including both widely deployed and
research systems</li>
<li>Discussing the scope of a W3C Working Group in this area</li>
<li>Test cases which clarify use cases and demonstrate key
differences between candidate technologies</li>
</ul>
<p>Out of scope:</p>
<ul>
<li>Detailed technical discussion or presentation of new results,
beyond what is necessary to resolve issues concerning the main group
of participants. This is not an academic workshop or conference.</li>
<li>Significantly revisiting existing W3C Recommendations</li>
<li>Making decisions. While people can discuss the desirability or
practicality of features and observe "straw poll" consensus, the lack
of time or structure for deliberation rules out formal decision
making.</li><li>To avoid a common time sink, we ask that people avoid trying to define
the term "rule". An impulse to label something as "not being about
rules" or circumscribe the territory can often be reframed as asking
more details about a use case.</li>
</ul>
<h2><a id="Participation">Participation</a></h2>
<h3><a id="Expected">Expected Audience</a></h3>
<p>We expect several communities to contribute to the workshop:</p>
<ul>
<li>Rule users, especially those with a need for system interoperability</li>
<li>Rule systems providers (commercial or non commercial)</li>
<li> Representatives of and participants in related standards efforts</li>
<li>Technical experts</li>
</ul>
<h3>Requirements for
Participation</h3>
<ul>
<li><b>Position papers are required</b> to participate in this workshop. Each organization or individual wishing to participate must submit a
<a href="#Position">position paper</a>
no later than 18 March. Participation is pending acceptance of the
position paper by the program committee. (Government employees who
wish to participate but are unable to submit position papers should
contact the workshop chairs.)</li>
<li>To ensure maximum interaction among participants, the number of participants will be limited. To ensure maximum diversity, the number of participants per organization will be
limited in the event the overall participation limit is reached</li><li>There will be no participation fee.</li>
<li>W3C membership is not required</li>
<li>Workshop sessions and documents will be in English</li>
<li><a id="Registration" name="Registration">
Instructions for how to register will be sent to submitters of
accepted position papers.</a></li>
</ul>
<h3><a id="Position">Position Papers</a></h3>
<p>Position papers are the basis for the discussion at the
workshop. These papers will also be made available to the public from
the <a href="http://www.w3.org/2004/12/rules-ws">workshop
site</a>.</p>
<h4>Topics</h4>
<p>Position papers discussing applications are expected to focus on
the requirements for the public representation and interchange of
rules. Position papers discussing interchange formats are expected to
focus on the requirements and types of application covered by the
proposal. Position papers discussing specifications including a rule
interchange format are expected to focus on that aspect and on how
they could link to/import rules represented in other existing or
emerging formats (or why they cannot). Position papers discussing
general issues regarding rules interchange and rule systems
interoperability are expected to focus on how relevant existing
standards or proposal or parts of an approach can be reused, evolved,
extended; on principles and architecture; on related efforts in other
communities (OMG, JCP, ISO, RuleML, SWSI, WSMO, etc).</p>
<h4>Format</h4>
<p>All papers should be 1 to 5 pages, although they may link to longer
versions or appendixes. Papers should explain the participant's interest
in the workshop, explain their position with respect to a standard for
publishing and interchanging rules on the Web and include concrete
examples of the kind of rules they are interested in.</p>
<p>Accepted position papers will be published on the public Web pages
of the workshop. Submitting a position paper comprises a default
recognition of these terms for publication. Allowed formats are
(valid) HTML/XHTML, PDF, or plain text. Papers in any other formats
(including invalid HTML/XHTML) will be returned with a request for
correct formatting. Good examples of position papers can be seen in
the <a href="/TandS/QL/QL98/pp.html">QL'98 workshop</a>.</p>
<p>The Program Committee may ask the authors of particularly salient
position papers to explicitly present their position at the workshop
to foster discussion. Presenters will be asked to make the slides of
the presentation available on the <a
href="http://www.w3.org/2004/12/rules-ws">workshop home page</a> in
HTML, PDF, or plain text.</p>
<p>Position papers must be submitted via email to <a href="mailto:
team-rule-language-workshop-submit@w3.org">
team-rule-language-workshop-submit@w3.org</a> no later than 18 March
2005. Early submissions are appreciated.</p>
<h2><a id="Organization">Workshop Organization</a></h2>
<h3>Workshop Chairs</h3>
<ul>
<li>Sandro Hawke (W3C)</li>
<li>Christian de Sainte Marie (ILOG)</li>
<li>Said Tabet (The RuleML Initiative)</li>
</ul>
<h3><a id="Prog_chair">Program Committee</a></h3>
<p>At this time, the program committee is still being assembled. The
list so far:</p>
<ul>
<li>Harold Boley (NRC Canada, RuleML)</li>
<li>Dan Connolly (W3C)</li>
<li>Mike Dean (BBN, DAML)</li>
<li>Stefan Decker (DERI)</li>
<li>Benjamin Grosof (MIT Sloan, RuleML)</li>
<li>Pat Hayes (IHMC, Common Logic) </li>
<li>Jim Hendler (University of Maryland)</li>
<li>Ian Horrocks (University of Manchester)</li>
<li>Martin Nally (IBM)</li>
<li>Massimo Marchiori (University of Venice)</li>
<li>Deborah McGuinness (Stanford KSL)</li>
<li>Bob McWhirter (OpenXource, Drools)</li>
<li>Eric Miller (W3C)</li>
<li>Jon Pellant (Pegasystems)</li>
<li>Jos de Roo (Agfa)</li>
<li>Chris Swan (Credit Suisse First Boston)</li>
<li>Paul Vincent (Fair Isaac)</li>
</ul>
<h3>Schedule</h3>
<p>The workshop program will run from 8:30 am to 6 pm on both days.</p>
<h3>Sponsors</h3>
<p><a href="http://www.ilog.com/">ILOG, S.A.</a> will host the
workshop, although not in their own facilities.</p>
<p>Significant funding for organizing this workshop was provided by
DARPA through the <a href="http://www.daml.org/">DAML</a> program.</p>
<h3><a id="Venue">Venue</a></h3>
<p>The workshop will be held in a conference facility (such as a
hotel) to be determined, in the Washington, D.C. area. Details will
be included with acceptance notification. See <a href="http://www.w3.org/2004/12/rules-ws">workshop site</a>.</p>
<h3><a id="Dates">Important Dates</a></h3>
<table summary="This table has four rows. The right column is the milestone for a date on the left.">
<thead>
<tr>
<th><strong>Date</strong></th>
<th><strong>Event</strong></th>
</tr>
</thead>
<tbody>
<tr>
<td class="date">15 February 2005</td>
<td>Call For Participation issued</td>
</tr>
<tr>
<td class="date">18 March 2005</td>
<td>Deadline for <a href="#Position">position papers</a>.</td>
</tr>
<tr>
<td class="date">1 April 2005</td>
<td>Acceptance notification sent; Program released</td>
</tr>
<tr>
<td class="date">15 April 2005</td>
<td>Deadline for <a href="#Registration">registration</a></td>
</tr>
<tr>
<td class="date">27 April 2005</td>
<td>Workshop Begins (8:30 AM)</td>
</tr>
<tr>
<td class="date">28 April 2005</td>
<td>Workshop Ends (6 PM)</td>
</tr>
</tbody>
</table>
<div class="author">
<hr/>
<a href="http://www.w3.org/People/Sandro">Sandro Hawke</a>,
Said Tabet, Christian de Sainte Marie, with help from Benjamin Grosof
<br/>
$Id: cfp.html,v 1.105 2005/04/19 23:51:03 sandro Exp $
<br/>
<a href="http://www.w3.org/2004/12/rules-ws/cfp">http://www.w3.org/2004/12/rules-ws/cfp</a>
</div>
</body>
</html>