Re: Some fuzzy with cardinality restriction vs complex property in OWL

>> 
> 
> 
> [Ivan Herman wrote:]
> 
> I am not sure that is true. Isn't it correct that:
> 
> - someValuesFrom(owl:Thing) simply means that *if* there are values *then* at least one
> myst be from owl:Thing, whereas minCardinality(1) means that there *must* be at least one
> value?
> 
> and the same for the second statement?
> 
> 
> [Yuzhong Qu] No. someValuesFrom(owl:Thing) means that there must exist one which is from owl:Thing.
> 
> 

I am sorry, (I checked again :-): you are right.

Ivan

-- 

Ivan Herman
W3C Communications Team, Head of Offices
C/o W3C Benelux Office at CWI, Kruislaan 413
1098SJ Amsterdam, The Netherlands
tel: +31-20-5924163; mobile: +31-641044153;
URL: http://www.w3.org/People/all?pictures=yes#ivan