Dear Doug, (and John), (01)
I missed this first time around. (02)
> > However, I would broaden the idea to support multiple theories at the
> > upper levels, which might be incompatible. For example, Matthew,
> > Chris P, and Pat H have strongly supported a 4D ontology for the
> upper
> > levels, but many other people prefer to use a 3D upper level. For
> > many of the lower level microtheories, the differences between a 3D
> > vs 4D foundation are irrelevant.
>
> I agree here. This choice is orthogonal to most of what would be
> asserted
> at lower levels. (03)
MW: Unfortunately, most lower level ontologies have an implicit upper
ontology - usually 3D. That automatically makes them inconsistent with the
alternative upper ontololgy. (04)
> A context used for reasoning about instances could
> pick
> one of these upper level theories and compatible more specific theories
> as well as orthogonal theories for reasoning. For use in mapping among
> different ontologies, fixing on t 3D or 4D theory would not be
> necessary. (05)
MW: As I said elsewhere, there is hope to do that, but I believe it will
take careful crafting to remove the implicit upper ontologies first. (06)
Regards (07)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (08)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (09)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|