Sorry about the "advertising".
But when I'm asked a direct question online, I feel I should answer
The predefined consistency checks are simple ones
direct contradictions, e.g. Dave has hair; and Dave has not hair;
name declared to be species and unit, e.g. Dave iss person; and Dave isu person;
ambiguous genus, e.g. Dave isa person; and Dave isa doctor;
loops in hierarchies
These checks are performed on demand, not automatically.
There is documentation of functions, options, etc. available in the directory http://mkrmke.org/help
I do not update that info. very often, because you can retrieve it any time
from mKE. For example,
ke do ? done;
displays all of the commands which mKE can perform for you.
ke has ?;
displays all the options which mKE has, with their current values.
I have put together some collections of genus-differentia definitions
in the directory http://mkrmke.org/ku
These definitions are not loaded by default, but you can access them
with the read command, e.g.
do read from ku/ke.def done;
Built-in functions include basic operations on sets, lists, tables, databases, etc.
These functions are accessed via mKR language; they are implemented in the
Unicon run-time library. The Unicon language is the primary tool used to build mKE.
You can define your own functions, and implement them in mKR, Unicon, Java, Rebol
or Linux shell. In some cases, you may need to recompile mKE to setup the interface.
There are interfaces for RDF, OWL, CycL, Cyc Web Services, etc.
Basic mKR intefaces are in directory http://mkrmke.org/kb.
mKR knowledge bases are in http://mkrmke.net/knowledge
Command line options are defined in http://mkrmke.org/help/koptions.html Dick McCullough
Context Knowledge Systems
mKE and the mKR language
Date: Thu, 3 Apr 2014 10:57:58 -0400
To: rhm@xxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
CC: kr-language@xxxxxxxxxxxxxxx; rslatimer@xxxxxxx
Subject: Re: [ontolog-forum] mKR proof of correctness
I'm a little confused. You (Dick McCullough) said:
>The user of this program/language/knowledgebase can add propositions
>to the knowledgebase which can be false. There are some built-in
>consistency checks to prevent this.
This seems to say the built-in consistency checks prevent adding propositions
that the previous sentence said you can add.
If your built-in consistency checker is looking at input, what kind of consistency
is it looking to check?
I think those asking for logical foundations for mKr want the list of what happens to be
mathematically and externally defined.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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