RE: abstract for Direct Semantics

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> Message-ID: <887AA49732FB4F3FB0BFEFC9034FFC83@wolf> · This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 8 October 2008 07:26:16 GMT

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
> 