- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Tue, 18 Aug 2009 10:46:23 +0100
- To: Michael Schneider <schneid@fzi.de>
- Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>
Excellent -- thanks! Ian On 16 Aug 2009, at 23:40, Michael Schneider wrote: > Hi! > > The RDF-Based Semantics is now ready to be published. > > At the last TC, I told you that I was still working on a long > planned revision of the proof for the correspondence theorem in the > RDF-Based Semantics: > > <http://www.w3.org/2007/OWL/wiki/RDF- > Based_Semantics#Proof_for_the_Correspondence_Theorem> > > I have finished this work now. > > Cheers, > Michael > > -- > Dipl.-Inform. Michael Schneider > Research Scientist, Dept. Information Process Engineering (IPE) > Tel : +49-721-9654-726 > Fax : +49-721-9654-727 > Email: michael.schneider@fzi.de > WWW : http://www.fzi.de/michael.schneider > ====================================================================== > = > FZI Forschungszentrum Informatik an der Universität Karlsruhe > Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe > Tel.: +49-721-9654-0, Fax: +49-721-9654-959 > Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe > Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael > Flor, > Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer > Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus > ====================================================================== > = >
Received on Tuesday, 18 August 2009 09:47:21 UTC