Re: shapes and classes: different

> Your word shape is my word owl:Class.

+1

So, the simplest solution is not to have a new thing called Shape.

Another option may be to use it as a type so that some classes can be of type Shape as well as Class.

This seems to be unnecessary though as every class is already a shape. At minimum, even if there are no other constraints declared for a class, it says that all instances belonging to it must have a certain type triple. If there is a class :Person, then its instances must have :Person1 a ::Person triple (whether it is asserted or inferred, doesn't matter). A very minimalistic data shape, but still a shape.

Irene

> On Jan 26, 2015, at 11:12 AM, Jerven Tjalling Bolleman <jerven.bolleman@isb-sib.ch> wrote:
> 
> 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
> -------------------------------------------------------------------
>