[Person-ontology] KIF

[Pat Hayes]

>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