I went to
http://mkrmke.org/src/ikl.icn (01)
I don't speak the programming language it is written in (is it Icon?)
but notice that there is code... (02)
procedure to_ikl(prop)
#=====================
# translate mKR to IKL
...
case word1 of {
"let": { writes_all(["# <"||word1||"> not translated to IKL"]); fail}
"at": { writes_all(["# <"||word1||"> not translated to IKL"]); fail} (03)
... (04)
"let": { writes_all(["# <"||word1||"> not translated to IKL"]); fail}
"return": { writes_all(["# <"||word1||"> not translated to IKL"]); fail} (05)
... (06)
} # end case word1 (07)
which I doubt is correct. (why have two "let" labels? (08)
I am trying to guess exactly what the syntax this code provides, but
using the hints
# subject verb object pplist [done];
# pp ::= prep ppname = ppvalue (09)
it looks like a statements are valid sentences in this syntax: (010)
flubart isu carthbart.
carthbart rel flubart.
bart haspart carthbart.
bart haspart flubart.
bart iss from nowish. (011)
I assume these sentences can be translated to IKL by the mkr2ikl
procedure. Does IKL have the "sanity check" that says which
verbs are incompatible with other verbs? or says that "iss" can't be
used with "from" (or can it?).
If I added some context like "Alice in Wonderland", does that mean
certain sentences make sense that wouldn't otherwise make sense? (012)
JK (013)
On Thu, May 7, 2009 at 7:27 PM, Richard H. McCullough <rhm@xxxxxxxxxxxxx> wrote:
>
> <RHM>
> Again, there are example ontologies and axioms
> on my web site.
> <PJH>
> Ah, but if they are written in mKR,
> then they don't count as ontologies or axioms
> until you tell us what counts as mKR-valid reasoning.
> Or, equivalently, give us a precise, formal,
> semantic specification for the notation.
> There is no magic way out of this box.
> As suggested by John Sowa, I am defining the
> semantics of mKR by translating to IKL.
>
> Since you are so eager to see the semantics of mKR,
> I have translated the "atomic" statements of the form
>
> subject verb object pplist [done];
>
> for the verbs
> is
> syn
> isu
> iss
> isa
> haspart
> has
> rel
> do
> ido
> causes
> ismem
> isalt
> and the prepositions
> out
> of
> with
> od
> from
> to
>
> You can display the translation
> by installing mKE and executing
>
> ke -ikl
>
> If you want more details,
> you can read the translation program
>
> http://mkrmke.org/src/ikl.icn
>
>
> Dick McCullough
> http://mkrmke.org
>
> _________________________________________________________________
> 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
> (014)
_________________________________________________________________
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 (015)
|