ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] levels of specification

To: cassidy@xxxxxxxxx, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Adam Pease <adampease@xxxxxxxxxxxxx>
Date: Thu, 04 Sep 2003 13:12:47 -0700
Message-id: <5.0.0.25.0.20030904131039.024e6730@xxxxxxxxxxxxxxxxxx>
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)

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