Randall (01)
You might better ask,
"is there anything mKE does not do?" (02)
mKE is my interface to any knowledge base.
It enters propositions, checks for errors,
searches, edits ontologies, translates the native
KB language to mKR, .... (03)
Current command line options select from
mKR, RDF, OWL, SUMO,
TAP (archive of Stanford TAP KB),
OpenCyc, OpenCyc Web Services,
None (enter your own ontology),
Google (04)
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/ (05)
----- Original Message -----
From: "Randall R Schulz" <rschulz@xxxxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Wednesday, March 18, 2009 5:54 PM
Subject: Re: [ontolog-forum] Requirements of computer language semantics (06)
> On Wednesday March 18 2009, Richard H. McCullough wrote:
>> Adrian
>>
>> I have not yet been convinced that any such "extra" interpretation
>> is necessary. I still have the impression that formal model
>> theory is an academic exercise which has little to do with
>> meaning in the real world. I don't envision doing anything
>> with model theory when I am using mKE to process knowledge
>> representations.
>
> What processing of knowledge representation does mKE do?
>
>
>> ...
>>
>> Dick McCullough
>
>
> Randall Schulz
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|