Re: shapes and classes: different

I really can't help myself...

On 26/01/15 15:12, Peter F. Patel-Schneider wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
>
> The most important aspect of classes is that you state that objects belong
> to them.  If you don't state that objects belong to X, X is not a class.
>
> The most important aspect of shapes is that you provide conditions stating
> precisely when an object belongs to them.   If you don't provide conditions
> stating precisely when an object belongs to X, X is not a shape.
>
> Having shapes also be classes implies that you state that objects belong to
> shapes.  Having classes also be shapes implies that you provide recognition
> conditions for classes. Both situations are possible, but both have
> consequences.
Your word shape is my word owl:Class. Allowing class membership 
inference from recognition conditions is as normal as class member ship 
assertion directly in the data. But I am absolutely flabbergasted that I 
am having this argument with one of the OWL2 editors!

Basically I am reading your response as class membership only inferred 
is "shape membership". Class membership asserted is not "shape 
membership". Or paraphrased: Shapes only allows triples with the 
shape:member predicate (IMO equivalent to rdf:type) to be inferred and 
not asserted.


>
> peter
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1
>
> iQEcBAEBAgAGBQJUxksyAAoJECjN6+QThfjzaIUH/j7/WgK+BIrFAOjM5QjLXSCI
> KIeBzxvanVuXHMFiZPgtEJRKWWN0IRycb09PoNLnTDlK/wWrkoJx75Tt/eqWymiM
> OKdwPp/K+nhtsLoMXQxv2rIqy5Z/n3cus9DLEMyAQTfDzHs4JOtsV5RQkHxPknrN
> dRNuqOvLzPxPqxv/Uk99K4MzeKpH5DNl3vy6uECiDfnpyrcGLW3RMSPyCySOVrF6
> J4HAR61iByz/FmOWc3GV+hTjIsAWBJqellRyxqKsrL/NTMeCdXSEyiwOxI9x0Vtn
> SOUokrcmhGfZasxJZBC2Kw2qyO6GhG3slopAdbosgV7osNcMcmcjB57mN9vyRSI=
> =Jm80
> -----END PGP SIGNATURE-----
>

-- 
-------------------------------------------------------------------
Jerven Bolleman                        Jerven.Bolleman@isb-sib.ch
SIB Swiss Institute of Bioinformatics  Tel: +41 (0)22 379 58 85
CMU, rue Michel Servet 1               Fax: +41 (0)22 379 58 58
1211 Geneve 4,
Switzerland     www.isb-sib.ch - www.uniprot.org
Follow us at https://twitter.com/#!/uniprot
-------------------------------------------------------------------

Received on Monday, 26 January 2015 16:12:37 UTC