- From: Boris Motik <boris.motik@comlab.ox.ac.uk>
- Date: Wed, 8 Oct 2008 08:25:37 +0100
- To: "'Sandro Hawke'" <sandro@w3.org>, <public-owl-wg@w3.org>
Hello, I've just changed it to This document provides the direct model-theoretic semantics for OWL 2, which is compatible with the description logic ''SROIQ''. Furthermore, this document defines the most common inference problems for OWL 2. If someone has an idea about what more to say, please let me know. Regards, Boris > -----Original Message----- > From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Sandro Hawke > Sent: 08 October 2008 05:23 > To: public-owl-wg@w3.org > Subject: abstract for Direct Semantics > > > > The abstract for "Direct Semantics" is currently, "This document > provides the model-theoretic semantics for OWL 2." Maybe someone can > improve on that? > > - s >
Received on Wednesday, 8 October 2008 07:26:15 UTC