[Person-ontology] KIF vs. CLIF

[Schoening, James R Mr CIV USA AMC]

Pat,

	How easy would it be to transcribe KIF into CLIF?  

	Are we really talking about transcribing a given ontology from
KIF to CLIF, or could a translator be created to convert any KIF
ontology into CLIF?   

	How much is each in use today?  Which is gaining more momentum?

	Thanks for your continued invaluable insight. 

Jim Schoening


-----Original Message-----
From: Pat Hayes [mailto:phayes at ihmc.us] 
Sent: Friday, October 19, 2007 11:02 AM
To: Schoening, James R Mr CIV USA AMC
Cc: person-ontology at idcommons.net
Subject: Re: [Person-ontology] KIF

>All,
>
>	Higgins Project leaders are interested in learning more about
KIF, 
>about applications and usage practicies for it.  (SUMO is written in 
>KIF.)  They are concerned with the cost and schedule of migrating to 
>KIF from their current customized version of OWL.
>
>	Could we share our knowledge and opinions on KIF.  Thanks.

First suggestion is to use CLIF, which is a KIF-like 'official' dialect
of the new ISO 24707 Common Logic standard. CLIF is simpler than KIF and
much more Web-compatible, as well as having achieved the standardization
status which KIF never achieved. It is easy to transcribe KIF into CLIF.
There is also a standard embedding of OWL/RDF into CLIF which could be
easily mechanized, though I don't know if anyone has written a
mechanical translator yet. Common Logic also has an XML syntax (XCL)
which might be useful.

Pat

>
>Jim Schoening
>_______________________________________________
>Person-ontology mailing list
>Person-ontology at idcommons.net
>http://idcommons.net/cgi-bin/mailman/listinfo/person-ontology


--
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes