Protege With Rules

Dear all,

We would like to remind you that the deadline for submitting papers for the Workshop Protégé with Rules organized in conjunction with the 8th Intl Protégé Conference, Wednesday, June 1st, 2005, is approaching. 

http://www.med.univ-rennes1.fr/~cgolb/Protege2005/ProtegeWithRulesCFP.htm

Looking forward to your submissions or statement of interest and to seeing you at the workshop.

The Workshop Program Committee



---------------------------------------------------------------------------------------------------------------------
Apologies for multiple posting
---------------------------------------------------------------------------------------------------------------------

Call for Participation

Workshop on Protégé with Rules
Monday July 18th, 2005, Madrid, Spain

In conjunction with the Eighth International Protégé Conference
http://protege.stanford.edu/conference/2005/workshops.html

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.


Protégé was originally designed as an editor for developing ontologies and
knowledge-based systems using a frame representation. Next, Protégé has been
extended by the Protégé-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.
Protégé-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, Protégé 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 Protégé users, to investigate what extensions Protégé users need, and
if some rule reasoning support has to be integrated to Protégé-OWL, how it
might safely be done.

The goal of the workshop is to bring together researchers and users
interested in Protégé-OWL extensions and various aspects of reasoning in the
Protégé environment. Topics include, but are not limited to:

 - Protégé-OWL extensions for reasoning
 - Reasoning engines as plugins to Protégé
 - Reasoning support for SWRL rules
 - Communication between Protégé and SWRL rules engines
 - Reasoning with SWRL and OWL in Protégé
 - Comparisons of different reasoning engines
 - Potential tools and technologies for integration
 - Practical use of reasoning engines in Protégé
 - Use case with potential Protégé-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@univ-rennes1.fr

Program 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