o Discussion about why suddenly WSML-FOL has been removed in the picture
o New agreement: Keep WSML-FOL as a full First-order extension of WSML-DL, add a new dashed box surrouding everything which represent WSML-Full which semantically integrated all the previous WSML languages. This language could be a final research goal, but is not considered to be investigated† in the near future.
o The new version of the picture will be added and two more paragraph will be included briefly explaining WSML-FOL and WSML-Full.
o Mike stressed the possibility of having another picture showing the relationship between the WSML languages and the Owl family of languages.
o On Friday, August 30th there will be an additional phone conference on aligning D5.1 with the results in the discovery paper. Perhaps the procedure for D3.2 will as well be discussed there.
o Titi will give a presentation on Abstract State Machines next week.
o Presentation by Axel on decidability of query containment for the Description Logic DLR.