EKAW'2000 PROGRAM

MONDAY 2 OCTOBER :

8h45 : Registration open

WORKSHOPS in parallel :

TUESDAY 3 OCTOBER :

8h15 : Registration open

9h15 - 9h30: Welcome introduction :
Rose Dieng and Olivier Corby

Chairwoman : Rose Dieng

9h30 - 10h30 : Invited Speaker : Vincent QUINT (W3C)
The New Technologies of the Web :

When the Web was born, it was based on a series of three technologies, in the areas of addressing (URI), transfer (HTTP), and document format (HTML). Ten years later the W3C is designing more than 20 languages, protocols and formats that shape tomorrow's Web. This talk introduces the new technologies under development, explaining how they complement each other, and how they work together. The emphasis is put on the semantic Web. This information space is designed with the goal that it should be useful not only for human to human communication, but also that machines would be able to participate and help.

10h30 - 11h: PAUSE

KNOWLEDGE MODELLING LANGUAGES AND TOOLS

Chairman: Frank Van Harmelen

 

11h - 11h30

OIL in a Nutshell

D. Fensel, I. Horrocks, F. Van Harmelen, S. Decker, M. Erdmann, and M. Klein
 

11h30 - 12h

Title : The knowledge model of Protege-2000: combining interoperability and flexibility

Natalya Fridman Noy, Ray W. Fergerson and Mark A. Musen
 

12h - 12h30

Title : A Case Study in Using Protege-2000 as a Tool for CommonKADS

Guus Schreiber, Monica Crubezy and Mark Musen
 

12h30- 12h45

The MOKA Modelling Language

Richard Brimble and Florence Sellini
 

12h45 - 13h

Mdos: a modelling language to build a formal ontology in either Description Logics or Conceptual Graphs

Jérôme Nobécourt and Brigitte Biébow
 

13h - 14h30 : LUNCH

ONTOLOGIES (I )

Chairwoman : Nathalie Aussenac-Gilles

 

14h30 - 15h

Ontology's Crossed Life Cycles

Fernandez-Lopez, Gomez-Pérez and Rojas
 

15h - 15h30

A Road Map on Ontology Specification Languages

Oscar Corcho and Asuncion Gomez-Perez
 

15h30 - 16h

A Formal Ontology of Properties

Nicola Guarino and Christopher Welty
 

16h - 16h30

The role of ontologies for an effective and unambiguous dissemination of clinical guidelines.

Domenico M. Pisanelli, Aldo Gangemi and Geri Steve
 
 
 

16h30 - 17h: PAUSE

METHODOLOGIES

Chairman : Paul Compton

 

17h - 17h30

Kinesys, a participative approach to the design of knowledge systems

A. Slodzian
 

17h30 - 17h45

An organizational semiotics model for multi-agent systems design

Joaquim Filipe
 

18h - 19h

Chairman: Olivier Corby

DEMOS

WEDNESDAY 4 OCTOBER :

KNOWLEDGE MANAGEMENT& E-COMMERCE

Chairman : Rudi Studer

 

9h30 - 10h

What's in an electronic business model?

Jaap Gordijn, Hans Akkermans and Hans van Vliet
 

10h - 10h30

Chinese Encyclopaedias and Balinese Cockfights - Lessons for Business Process Change and Knowledge Management

Antony Bryant
 

10h30 - 10h45

Using problem-solving models to design efficient cooperative

knowledge-management systems based on formalization and traceability of

argumentation

Myriam Lewkowicz and Manuel Zacklad
 

10h45 - 11h

Integrating Textual Knowledge and Formal Knowledge for Improving Traceability

Farid Cerbah, Jérôme Euzenat
 

PAUSE : 11h - 11h30

Chairman : Hans Akkermans

 

11h30 - 11h45

Knowledge Management by Reusing Experience

Sabine Delaître and Sabine Moisan
 

11h45 - 12h30

Presentation of AKT

Derek Sleeman , Nigel Shadbolt and Enrico Motta

12h - 13h45 : LUNCH
13h45 - 16h :

Chairman : Olivier Corby

DEMOS

17h : Social Event 

Visit of Saint-Paul-de-Vence & Conference Dinner

THURSDAY 5 OCTOBER :

Chairman : Rudi Studer


9h - 10h: INVITED SPEAKER: Gio WIEDERHOLD (Stanford University)

Semantic Precision for Web-based Interoperation

 
10h - 10h30: PAUSE

KNOWLEDGE ACQUISITION FROM TEXTS

Chairman : Riichiro Mizoguchi

10h30 - 11h

Revisiting Ontology Design: a methodology based on corpus analysis

Nathalie Aussenac-Gilles, Brigitte Biébow and Sylvie Szulman
 

11h - 11h30

Mining Ontologies from Text

Alexander Maedche and Steffen Staab
 

11h30 - 12h

SVETLAN' or How to Classify Words Using their Context

Gaël de Chalendar and Brigitte Grau
 
 

MACHINE LEARNING

Chairman : Nigel Shadboldt

 

12h- 12h30

KIDS: an iterative algorithm to organize relational knowledge

Authors: Mélanie Courtine, Isabelle Bournaud and Jean-Daniel Zucker
 

12h30 - 13h

Informed Selection of Training Examples for Knowledge Refinement

Nirmalie Wiratunga and Susan Craw
 

13h- 13h15

Experiences with a Generic Refinement Toolkit

Robin Boswell and Susan Craw
 

13h15 - 14h30 : LUNCH

ONTOLOGIES (II )

Chairman :  Dieter Fensel

 

14h30 - 15h

Construction And Deployment of a Plant Ontology

Riichiro Mizoguchi, Kouji Kozaki, Toshinobu Sano and Yoshinobu Kitamura

15h30 - 16h

Supporting Inheritance in Ontology Representation

Valentina A.M. Tamma and Trevor J.M. Bench-Capon
 

16h - 16h30

Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases

Gilles Falquet and Claire-Lise Mottaz Jiang

16h30 - 17h: PAUSE

VALIDATION, EVALUATION, CERTIFICATION

Chairman : Joost Breuker

 

17h - 17h30

Monitoring Knowledge Acquisition, Instead of Evaluating Knowledge Bases

Ghassan Beydoun and Achim Hoffmann
 

17h30 - 18h

Torture tests: a quantitative analysis for the robustness of KBSs

Perry Groot, Frank Van Harmelen and Annette ten Teije
 

18h - 18h30

Certifying KBSs: Using CommonKADS to Provide Supporting Evidence for Fitness for Purpose of KBSs

Kieron O'Hara, Nigel Shadbolt and Jeni Tennison
 

FRIDAY 6 OCTOBER :

PROBLEM-SOLVING METHODS

Chairman: Enrico Motta

9h15- 9h45

Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Zanker
 

9h45 - 10h15

The Nature of Knowledge in an Abductive Event Calculus Planner

Leliane Nunes de Barros and Paulo E. Santos
 

10h15 - 10h30

Adapting tableaux for classification

Machiel Jansen, Guus Schreiber, and Bob Wielinga
 

10h30 - 11h: PAUSE

KNOWLEDGE REPRESENTATION

Chairman : Guus Schreiber

 

11h- 11h30

Conceptual Information Systems Discussed through an IT-Security Tool

Klaus Becker, Gerd Stumme, Rudolf Wille, Uta Wille and Monika  Zickwolff
 

11h30 - 12h

Translations of Ripple Down Rules into Logic Formalisms

Rex B. H. Kwok
 

12h - 12h15

Generalising Ripple-Down Rules

Paul Compton and Debbie Richards
 

FINAL DISCUSSION : 12h15 - 13h15

13h15 - 14h30 : LUNCH

 

END OF THE CONFERENCE