> mm1: I do not believe SymbolicString clearly represents Code. Type. (01)
I tend to agree with you. We should discuss whether we need a few more
axioms to constrain it too. (02)
This type of dialog is what this "review" phase of the exercise is all
about ... and it's going great (therefore, please keep it up, everyone!) (03)
We can put some real time discussion into it at the call today, and
continue the discourse on the forum. (04)
Regards. -ppy
-- (05)
Monica J. Martin wrote Thu, 28 Oct 2004 09:45:07 -0700: (06)
>
>> 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.
>
>
> mm1: Peter, back to the original post. I do not believe SymbolicString
> clearly represents Code. Type. Thanks. (07)
_________________________________________________________________
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 (08)
|