> Yim: The key mission of the [CCT-Representation] is to introduce the
> ontological engineering approach to the standards community. We want
> to go through an exercise (of building the CCT-ontology) by actually
> taking an already agreed upon standard (the ebXML CCT) and express it
> in a computable, and possibly even less ambiguous language (KIF in our
> case). We want to be able to show, through having the [cctont], the
> potentials of the ontological engineering approach and of having
> standards expressed axiomatically. (01)
mm1: Peter, back to the original post. I do not believe SymbolicString
clearly represents Code. Type. Thanks. (02)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (03)
|