Pat, (01)
At 02:57 PM 9/4/2003 -0400, Patrick Cassidy wrote:
> I would like to add a note to this: I agree that the
>KIF version of the ontology should be normative, and that
>we should try to convert as much as possible of the KIF version
>into other popular formats, such as Protege and OWL.
> At this point I am not certain that everything that is
>included in a KIF file can be ported into Protege in a
>form that will allow automatic accurate reconstruction of
>the KIF file. (02)
That's correct, but should be stated with certainty. Everything that is
included in a KIF file cannot be represented in Protege. Only a small
subset of KIF can be represented in Protege. (03)
>As time permits, I will try to see if this
>can be done. If it can be done, the Protege version could
>also be considered as complete. (04)
Well, it can't be. This isn't an issue of opinion, but one of mathematical
fact, unless you have a solution that proves P=NP (05)
Adam (06)
> Pat
>====================================
>
>Adam Pease wrote:
>
>>Folks,
>> One point that Peter asked me to summarize from our call yesterday -
>> we talked about having multiple output from this effort. The
>> authoritative version of the proposed standard would be KIF, but we
>> would translate out from KIF to other, less expressive representations
>> include Protege and SQL. The KIF version would be normative. The other
>> versions would also be normative, but incomplete, and implementors
>> relying on the SQL version for example, would still be required to
>> ensure that their stored procedures didn't violate the constraints
>> stated in the KIF axioms.
>>Adam
>>_________________________________________________________________
>>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
>
>--
>=============================================
>Patrick Cassidy
>
>MICRA, Inc. || (908) 561-3416
>735 Belvidere Ave. || (908) 668-5252 (if no answer)
>Plainfield, NJ 07062-2054 || (908) 668-5904 (fax)
>
>internet: cassidy@xxxxxxxxx
>=============================================
>
>_________________________________________________________________
>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 (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)
|