Rules and Rule Markup Languages for the Semantic Web
http://2004.ruleml.org
In conjunction with the
International Semantic Web
Conference
Hiroshima, Japan
8 November 2004
Call for Papers and Participation
Program and Proceedings:
You are invited to participate in this event: PRELIMINARY PROGRAM.
Proceedings will be published
by Springer in the LNCS series, volume number 3323 (www.springer.de/comp/lncs/index.html).
Workshop Description:
The Semantic Web is a major world-wide endeavour to advance the Web by
enriching its content with semantic meta-information that can be
processed by inference-enabled Web applications. Ontologies and automated
reasoning are key techniques in the semantic web initiative.
Rules are considered to be a major issue in the further development of
the semantic web. On one hand, they can be used in ontology languages,
either in conjunction with or as an alternative to description logics.
And on the other hand, they will act as a means to draw inferences, to
express constraints, to specify policies, to react to events/changes,
to transform data, etc.
Finally, rule markup languages will allow to enrich web
ontologies by adding definitions of derived concepts, to publish rules
on the Web, to exchange rules between different systems and tools, etc.
The workshop builds on the success of the first workshop RuleML2002 (http://2002.ruleml.org) held
in conjunction with ISWC2002 on Sardinia, Italy,
and the second workshop (http://2003.ruleml.org)
held in conjunction with ISWC2003 on Sanibel Island, USA.
This year's workshop combines that tradition, in the sense of being the premier RuleML-2004 event, with casting as wide a net as possible regarding all kinds of Rules and Rule Markup Languages for the Semantic Web.
Topics of Interest:
We encourage submissions on all topics related to
rules and rule mark-up lanugages for the Semantic Web. In particular, the
workshop seeks papers addressing syntax and semantics of rule languages,
execution engines, implemented systems, and applications. Specifically:
- language standards (RuleML, SWRL, Jess, N3, F-logic/FLORA-2, etc.)
- execution models, engines, and environments
- reaction rules for the Semantic Web
- event/action languages
- defeasible rules for the Semantic Web
- defeasible concept definitions in ontologies
- resolving conflicts in triggered action sets
- implemented tools and systems for rules on the Semantic Web
- combining rules and ontologies, integrating rules and description logics
- multiple language rules (Prolog, KIF, SQL, OCL, XML, RDF, etc.)
- applications based on RDF, ontologies, and rules (including
e-Services, e-Learning, e-Commerce, Knowledge Management, Bioinformatics)
- modelling of business rules on the Web
- rule-based software agents and the Semantic Web
- automated negotiations with rule-based declarative strategies
- connecting rules to legacy knowledge bases
- integrating rule bases and distributed fact bases
- handling lineage and reliability of distributed information
- XSL transformations of rules
- < yourTopic ... >
Submission:
We invite articles of no more than 15 pages length formated
in Springer's LNCS
style (www.springer.de/comp/lncs/authors.html) describing original completed
work, work in progress, or interesting problems or use cases. Submitted papers
will be fully refereed based on the originality and significance of the ideas
presented as well as on technical aspects.
Proceedings will be published
by Springer in the LNCS series, volume number 3323 (www.springer.de/comp/lncs/index.html).
A special issue, RULES FOR THE SEMANTIC WEB, of the Journal of Web Semantics
is also planned, providing an opportunity to resubmit selected revised, extended papers.
Submissions should be made electronically, in postscript or, preferably, PDF
to both
antoniou at ics.forth.gr AND harold.boley at nrc.gc.ca BEFORE OR BY 12 July 2004.
Authors must register both for the conference and for the workshop!
- 12 July 2004 -- Deadline for paper submissions.
- 16 August 2004 -- Notification of acceptance.
- 14 September 2004 -- Final paper due.
- 20 September 2004 -- Early registration deadline for workshop authors.
- 08 November 2004 -- RuleML'04 (PRELIMINARY PROGRAM).
- Semantic Web Rules: Covering the Use Cases
Mike Dean, BBN, USA
Rules represent the next step for the Semantic Web. A number of use cases
for Semantic Web Rules have been formally and informally proposed, including
ontology extension, ontology translation, data expansion, portable axiomatic
semantics, matching, monitoring, and profile and process descriptions for
Semantic Web Services. This talk will describe each of these use cases,
provide examples, and assess the degree to which each are addressed by the
Semantic Web Rule Language (SWRL) and other current alternatives.
- Combining Rule and Ontology Reasoners for the Semantic Web
Christine Golbreich, Laboratoire d'Informatique Mdicale, Universit Rennes 1, France
Using rules in conjunction with ontologies is a major challenge for the Semantic Web.
We propose a pragmatic approach for reasoning with ontologies and rules,
based on the Semantic Web standards and tools currently available.
We first achieved an implementation of SWRL,
the emerging OWL/RuleML-combining rule standard, using the Protg OWL plugin.
We then developed a Protg plugin, SWRLJessTab,
which enables to compute inferences with the Racer classifier and the Jess inference engine,
in order to reason with rules and ontologies, both represented in OWL. A small example,
including an OWL ontology and a SWRL rule base, shows that all the domain knowledge,
i.e. the SWRL rule base and the OWL ontology, is required to obtain complete inferences.
It illustrates that some reasoning support must be provided to interoperate between SWRL and OWL,
not only syntactically and semantically, but also inferentially.
Articles are up to 6 pages (short papers) or up to 16 pages (long papers), and must be formatted in
Springer's LNCS style.
All source files plus the PDF file will need to be emailed to both of us.
Workshop Co-Chairs:
- Grigoris Antoniou, GR
- Harold Boley, CA
Steering Committee
- Grigoris Antoniou, GR
- Harold Boley, CA
- Mike Dean, USA
- Andreas Eberhart, DE
- Benjamin Grosof, USA
- Steve Ross-Talbot, UK
- Michael Schroeder, DE
- Bruce E. Spencer, CA
- Said Tabet, USA
- Gerd Wagner, NL
Programme committee
- Grigoris Antoniou, Institute of Computer Science, FORTH, Greece
- Nick Bassiliades, Aristotle University of Thessaloniki, Greece
- Harold Boley, National Research Council and University of New Brunswick, Canada
- Scott Buffett, National Research Council and University of New Brunswick, Canada
- Carlos Damasio, New University of Lisbon, Portugal
- Mike Dean, BBN Technologies / Verizon, USA
- Andreas Eberhart, International University, Germany
- Guido Governatori, The University of Queensland, Australia
- Ian Horrocks, University of Manchester, UK
- Sandy Liu, National Research Council and University of New Brunswick, Canada
- Jan Maluszynski, Linkping University, Sweden
- Massimo Marchiori, W3C, MIT, USA and University of Venice, Italy
- Donald Nute, University of Georgia, USA
- Michael Schroeder, TU Dresden, Germany
- Michael Sintek, DFKI, Germany
- Bruce Spencer, National Research Council and University of New Brunswick, Canada
- Said Tabet, Consultant, USA
- Dmitry Tsarkov, University of Manchester, UK
- Gerd Wagner, Techical University of Eindhoven, Netherlands
- Kewen Wang, Griffith University, Australia
- Yuhong Yan, National Research Council and University of New Brunswick, Canada