Dear Barry, (01)
> > > > MW: That sounds reasonable, but we still need something
> more general
> > > > that says "here are some things" in an abstract way.
>
> how about: "here are some things"
>
> or better still: "here are some entities"
> > >
> > > [cbc] That, to me, is type. We can attach intentional
> > > statements to it or
> > > an extension to it. It is then the instance and subtype
> > > relations that make
> > > "type" interesting and well defined.
> > > One way to define a type is to make rules, another way is
> to enumerate
> > > instances. In this sense "set" is a subtype of "type".
> >
> >MW: If that includes {my right ear, the moon, rabbit} then I would be
> >entirely happy. But that is not what I am hearing from others.
>
> If set is a subtype of type, and
>
> {my right ear, the moon, rabbit} is a set
>
> then
>
> {my right ear, the moon, rabbit} is a type.
>
> Someone should teach Matthew, one day, about what is called a
> reductio ad absurdum argument. (02)
MW: Sometime Barry you should try doing analysis in the real world.
There it is common place for someone to say something, but when
you read it back to them with particular examples they say they
meant something else. (03)
Regards (04)
Matthew West
Reference Data Architecture and Standards Manager
Shell International Petroleum Company Limited
Shell Centre, London SE1 7NA, United Kingdom (05)
Tel: +44 20 7934 4490 Mobile: +44 7796 336538
Email: matthew.west@xxxxxxxxx
http://www.shell.com
http://www.matthew-west.org.uk/ (06)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (07)
|