-------------------------------
Apologies for multiple
posting
-------------------------------
Supported by the RuleML
Initiative
Important
dates
- Deadline for submission
of paper or abstract: June 1, 2005
- Notification of acceptance: June 15,
2004
Invited talk
DLs and rules: expressive
power and computational properties
Ulrike Sattler, University of Manchester,
UK:
Description logics (DLs) and rules are known to be quite orthogonal in
their
expressive power. In this talk, I will contrast the strong (and weak)
points
of these two formalisms, and discuss several ways of combining
them.
Protege was originally designed as an
editor for developing ontologies and
knowledge-based systems using a frame
representation. Next, Protege has been
extended by the Protege-OWL Plugin,
which provides support for the Web
Ontology Language OWL and reasoning for
ontologies using the description
logics OWL-DL. More recently, SWRL, an
extension of OWL including Horn-like
rules, has been proposed as the next
Semantic Web languages for rules.
Protege-OWL has been added with a SWRL
editor that provides the interactive
editing of SWRL rules. On the other
hand, several plugins have been
developed for interfacing Protégé with
inference engines for rules or logic
programming, like JessTab, Algernon,
PrologTab, ClipsTab. But inferences and
reasoning are kept separate from
Protégé. At this time, Protege can be used
to reason on OWL ontologies, to
create SWRL rules, but does not integrate
reasoning support for reasoning
with them. While different theoretical and
practical works are ongoing for
extending OWL with rules it is worth to
collect potential reasoners for
integration, to gather use cases of rules
among Protege users, to investigate
what extensions Protégé users need, and
if some rule reasoning support has to
be integrated to Protege-OWL, how it
might safely be done.
The goal of
the workshop is to bring together researchers and users
interested in
Protege-OWL extensions and various aspects of reasoning in the
Protégé
environment. Topics include, but are not limited to:
- Protege-OWL
extensions for reasoning
- Reasoning engines as plugins to
Protege
- Reasoning support for SWRL rules
- Communication
between Protege and SWRL rules engines
- Reasoning with SWRL and OWL in
Protege
- Comparisons of different reasoning engines
-
Potential tools and technologies for integration
- Practical use of
reasoning engines in Protege
- Use case with potential Protege-OWL
extensions requirements
- Use case using DL and rules
engines
- Use case with SWRL rules and OWL ontologies
-
Experiences with SWRL editor
The workshop format is a mix of invited
talk, series of papers
presentations, followed by (or in between) a general
panel of discussion.
We solicit 2 types of
contributions:
1. Paper (8 pages, at least 10-point
font).
2. Abstract (2 pages, at least 10-point font)
Authors of
accepted papers and abstracts will be invited to make a
presentation at the
workshop. Accepted papers will be included in the
informal workshop
proceedings. We plan to make the proceedings available
electronically via
CEUR.
If you would like to attend (without giving a presentation), please
submit a
brief statement of interest to the organizer by e-mail no later than
June 1,
2004.
Chair: Christine Golbreich, Rennes1 University,
FR
Christine.Golbreich <at> univ-rennes1.frProgram Committee
Patrick Albert, Ilog,
FR
Harold Boley, NRC, CAN
Olivier Dameron, Stanford Medical Informatics
USA
Henrik Eriksson, Linköping University, Sweden
Mike Dean, BBN
Technologies , USA
Benjamin Grosof, MIT Sloan School of Management,
USA
Volker Haarslev, Concordia University, CAN
Matthew Horridge,
University of Manchester, UK
Holger Knublauch, Stanford Medical Informatics
USA
Ralf Möller, Hamburg University of Technology, Germany
Boris Motik,
FZI Research Center, Germany
Alan Rector, University of Manchester,
UK
Ulrike Sattler, University of Manchester, UK
Michael Sintek, DFKI,
Germany
Said Tabet, Macgregor Inc.,
USA
RSS Feed