|
<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
|