Meeting Minutes WSML Phone Conference

Date: 02.06.2004
Participants: Dieter Fensel, Jos de Bruijn, Uwe Keller, Michael Kifer, Rubén Lara, Holger Lausen, Francisco Jose Martin-Recuerda Moyano, Axel Polleres, Livia Predoiu, Dumitru Roman, Ioan Toma

Activity sheet:
D5.1: new deadline is 21.6.
D5.2: new deadline is 28.6.
D16.1: new deadline is 14.6.

WSMO Deliverables:
D20: Boris Motik will be asked to be the reviewer
    further Editorial comments have been given directly to the author
    new deadline is end of 07.06.
   Michael Kifer was presenting its modelling example.

Presentations that are outstanding:
Holger:  Reasoning about Anonymous Resources and MetaData Statements
Axel:    Reasoning with Infinite stable models;
        How to decide Query Containment under Constraints using a Description Logic. (I. Horrocks, U. Sattler, S. Tessaris, and S. Tobies) In Andrei Voronkov, editor,  Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), number 1955 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.
Jos:     AL-Log
Michael: RDF

Presentations hold:
Uwe:     A formal approach to component adaption