Monday, July 18th, 2005 at 9:30 to 1:00
Madrid, Spain

In conjunction with the 8th International Protégé Conference

Supported by the RuleML Initiative

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:

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.

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
them 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.

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