[Top] [All Lists]

Re: [ontolog-forum] CCTONT work progress

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Peter P. Yim" <peter.yim@xxxxxxxx>
Date: Thu, 28 Oct 2004 10:21:30 -0700
Message-id: <41812A9A.4040702@xxxxxxxx>
 > 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/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (08)

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