Re: Conditional object property

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