To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | William Frank <williamf.frank@xxxxxxxxx> |
Date: | Sun, 18 Mar 2012 10:45:16 -0400 |
Message-id: | <CALuUwtA4Ahth+w6qGFOCH4=euVi7AzHRBbTTOHPDPX5Xn85EuA@xxxxxxxxxxxxxx> |
On Sat, Mar 17, 2012 at 11:37 PM, John F. Sowa <sowa@xxxxxxxxxxx> wrote: On 3/17/2012 2:08 PM, William Frank wrote: Thanks. Good advice.
And mine about too some of its advocates, who don't see it as old wine in new bottles. I think Model Driven Architecture and Ontology Development Gasevic, Djuric, and Devedzic, makes it pretty clear that it is. Only, the OMG did its own thing to hold up progress, too: They finally *did* produce mathematical models, but two *separate* models, one for classes, and one for objects, so with two separate models, we have 1. classes treated as the individuals in the universe of discourse of the class model, and properties that apply to these classes, and 2. entirely separately, objects as individuals in the object model, and properties that apply to objects, instead of the classes *being* the properties that apply to the objects, as they are in logic, and so 3. the necessity of figuring out how to *map* between these two separate models, instead of using the very same structures recursively to create a higher order logic syntax and semantics of the whole thing, fitted together at every level. This took some fancy footwork on their part, and still does, in that every time another "level of metamodel", is needed, instead of this being just another order of syntactic predicates and correspondiing semantic properties, it seems an enormous has to be undertaken.
Yes, "family" is the way to say it. And, that would be my goal to help create and promulgate. Tx Wm
-- William Frank 413/376-8167 This email is confidential and proprietary, intended for its addressees only. It may not be distributed to non-addressees, nor its contents divulged, without the permission of the sender. _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |
Previous by Date: | Re: [ontolog-forum] Constructs, primitives, terms, John F. Sowa |
---|---|
Next by Date: | Re: [ontolog-forum] Constructs, primitives, terms, Kingsley Idehen |
Previous by Thread: | Re: [ontolog-forum] Constructs, primitives, terms, John F. Sowa |
Next by Thread: | Re: [ontolog-forum] Constructs, primitives, terms, Bill Andersen |
Indexes: | [Date] [Thread] [Top] [All Lists] |