ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] [ontolog forum] syntax & semantics

To: "Patrick J. Hayes" <phayes@xxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Thu, 7 May 2009 17:27:21 -0700
Message-id: <A7FA41252F8045F3A7C3A3C1BE2090C7@rhm8200>
<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
 
 
 
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    (01)

<Prev in Thread] Current Thread [Next in Thread>