ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Thing and Class

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Fri, 5 Sep 2008 03:23:43 -0700
Message-id: <1AEAE8EF674843C3ACE0D8522A0A7BD6@rhm8200>
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)

<Prev in Thread] Current Thread [Next in Thread>