W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2011

Re: Conditional object property

From: Pavel Klinov <pklinov@cs.man.ac.uk>
Date: Mon, 12 Dec 2011 09:50:26 -0500
Message-ID: <CAG5JQxXAYS-yfHkU2hWxtSzPAD=zARVxCh+wXT7g69F86dDopw@mail.gmail.com>
To: Florian Quadt <florian.quadt@h-brs.de>
Cc: Uli Sattler <sattler@cs.man.ac.uk>, "public-owl-dev@w3.org" <public-owl-dev@w3.org>
On Mon, Dec 12, 2011 at 7:36 AM, Florian Quadt <florian.quadt@h-brs.de> wrote:
> Hi Uli,
>
> What does the "some
> self" expression exactly mean?

Here's its syntax: http://www.w3.org/TR/owl2-syntax/#Self-Restriction
Here's its semantics:
http://www.w3.org/TR/owl2-direct-semantics/#Class_Expression_Axioms
(see 2.2.3 ObjectHasSelf)

Cheers,

Pavel

>
> Thank you,
>
> Florian
>



-- 
cheers,
--pavel
http://www.cs.man.ac.uk/~klinovp
Received on Monday, 12 December 2011 14:50:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 January 2012 18:13:41 GMT