To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "Elisa F. Kendall" <ekendall@xxxxxxxxxxxx> |
Date: | 2008年1月28日 08:04:37 -0800 |
Message-id: | <479DFD15.6030802@xxxxxxxxxxxx> |
Hi Patrick, (01) You could use Chimaera, on the archived Stanford KSL site. It's not straightforward, but does work. See http://www.ksl.stanford.edu/software/chimaera/. (02) If this is your only choice, and if you have trouble using it, drop me a note off list and I'll try to assist or get hold of someone there you might help you. (03) Best, (04) Elisa (05) Patrick Cassidy wrote: (06) >Does anyone have on hand a functioning ontology translator to go from OWL >to KIF or some other FOL format? > >Pat > >Patrick Cassidy >MICRA, Inc. >908-561-3416 >cell: 908-565-4053 >cassidy@xxxxxxxxx > > > >_________________________________________________________________ >Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ >Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ >Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx >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/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
Previous by Date: | [ontolog-forum] OWL to KIF translator? , Patrick Cassidy |
---|---|
Next by Date: | Re: [ontolog-forum] Time representation , Duane Nickull |
Previous by Thread: | [ontolog-forum] OWL to KIF translator? , Patrick Cassidy |
Next by Thread: | Re: [ontolog-forum] OWL to KIF translator? , rick@xxxxxxxxxxxxxx |
Indexes: | [Date] [Thread] [Top] [All Lists] |