WSML Meeting notes June 16th 2004

 

Attending persons

 

Dieter
Michael Kifer
Jos
Ruben
Michael Felderer
Holger
Eyal
Axel
Livia
Titi
Ioan
Doug
Ina
 
D16.1 The WSWL use syntax
Jos to move from author to reviewer on D16.1
16.1 should become an appendix to D2
WSMO defined in Frame Logic
The WSML syntax
-Freeze the syntax of WSMO in D 16.1
The Namespace Definition URL is not optional.
Version 0.2 is fine and to be reviewed and 0.3 to be opened.
 
Language used in D3.2 not Bnf grammar language.
 
Del 3.2 to define a case study
 
Del 2
The next version the F logic syntax is t define a formal semantics which will give you actual grammar.
Version 3-The deadline for this is July 20th for the next version.
To validate the use case listing against this grammar.
 
 
Presentation by Michael Felder.
Michael to give a presentation on URI July 18th-25th
 
Presentations
How to decide Query Containment under Constraints using a Description Logic -Axel
 
The F-Logic Approach for Description Languages - Uwe
 
AL-log: Integrating Datalog and Description Logics - Jos