- From: Pavel Klinov <pklinov@cs.man.ac.uk>
- Date: Mon, 12 Dec 2011 09:50:26 -0500
- 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 UTC