Sean & Dan (01)
It is hard for me to understand what this discussion is about.
When I see things like
part is described by design
and
part is instance of design
I wonder if you are missing the whole concept of
part is part of design
i.e., the part-whole relation. (02)
In Sean's last email, time dependence is mentioned,
and I wonder -- are you now talking about a
part-whole relation which is time-varying? (03)
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/ (04)
----- Original Message -----
From: "Sean Barker" <sean.barker@xxxxxxxxxxxxx>
To: <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Friday, September 05, 2008 12:25 AM
Subject: [ontolog-forum] Fw: Fw: Thing and Class (05)
>
>
> Dan,
>
> While I would agree that, say, the CAD model for a part
> describes the shape of a part, the issue is not one of design but of
> configuration management. In particular, the criterion for being a part
> A123 is that it is fit, form and function identical to the "typical
> part" A123. The design is an "ontological commitment" that some class of
> thing exists (will exist). To reject this is to reject the concept of
> "is-a" and of labelling things with the concepts they instantiate.
>
> Conversely, penguins do not stop being penguins just because some has
> sequenced their DNA (written down their design).
>
> The fact that engineering systems are concerned with coming-to-be and
> ceasing-to-be suggests that
> engineering ontologies must use a temporal logic. In fact, many
> engineering
> systems
> are based on effectivities and change notices. The first explicitly
> identifies what components
> make up a product at a particular time or at a point in the product run,
> while th second
> controls when the definitions are changed.
>
> Sean Barker
> BAE SYSTEMS - Advanced Technology CentreBristol, UK
>
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Dan Corwin
> Sent: 01 September 2008 19:46
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Fw: Thing and Class
>
>
> *** WARNING ***
>
> This mail has originated outside your organization, either from an
> external partner or the Global Internet.
> Keep this in mind if you answer this message.
>
> No magic here, just typical abstract and concrete objects.
>
> Sean Barker wrote:
>
>> 2) The product of a design office is designs, instances of the general
>
>> mathom "design". In the DO, any class/type structure applied to a set
>> of designs is a generalization of the set of design instances -
>> designs are
> > not classes for anything.
>
> A "design" is surely an object in the world of information.
> It describes something, which you portray below as concrete.
>
>> The product of a manufacturing organization is parts, each of
> > which is an instance of a design.
>
> Wrong. Each "part" may be based on the "design", but their
> relation is described/describes, not instance/class.
>
> regards,
> Dan Corwin
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config:
> http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|