John
Thank you for your comments. I appreciate them.
But you have forgotten something.
Remember my comment about mKR style:
"Name can remain undefined if meaning is obvious to the reader"
This mKR translation is only the first step:
translating English grammar to mKR grammar
This step is to be followed by as many steps as deemed necessary
to add "missing" context. That's the basic idea behind
my definition of context. Identify what's missing and fill it in.
I am currently machine processing the mKR translation.
mKE gives me a list of all undefined terms.
Dick McCullough
Context Knowledge Systems
Name your propositions !
> Date: Tue, 15 Apr 2014 08:55:00 -0400
> From: sowa@xxxxxxxxxxx
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: Re: [ontolog-forum] mKR experiment
>
> On 4/15/2014 7:00 AM, Richard H. McCullough wrote:
> > mKR version of ITOE Chapter 5 page now available at
> >
> > http://mkrmke.org/test/itoe.chapter5.mkr.html
>
> Thank you for making the effort to demonstrate what can be done
> with the mkr notation at its present level of development.
> Following is my brief assessment:
>
> 1. The overwhelming majority of the terms and phrases in it are
> English words with an English-based syntax. There is no formal
> foundation (i.e., some version of logic) for representing their
> semantics or doing detailed reasoning with them and about them.
>
> 2. But mkr does some reorganization of the source text, and it
> highlights certain aspects of the original text. In that regard,
> it can be loosely compared to controlled natural languages (CNLs)
> and to markup languages in the *ML family (GML, SGML, HTML, XML).
>
> 3. Trying to paste a formal semantics on mkr would take a huge amount
> of work, and half a century of very hard work has already gone into
> designing and implementing such notations and the supporting tools.
> There is no way that mkr can even *begin* to compete with them.
>
> 4. However, there is a huge gap between English texts and formalisms
> along the lines of #3. Many notations, such as UML diagrams,
> Topic Maps, Concept Maps, CNLs, and supporting tools have been
> implemented to fill the gap. But more work needs to be done.
>
> 5. The people working on #2, #3, and #4 have invested thousands of
> person years -- person millennia -- on their systems. None of them
> will replace their systems with yours. But if you can't beat them,
> join them. Find out what they've done, and offer to help integrate
> your tools into their framework.
>
> 6. When you find groups that are receptive, work with them. Use their
> blogs and collaboration tools. And recognize that your notation
> is -- at best -- a supplement to theirs. It *won't* replace them.
> But if you integrate your tools with their framework, you might be
> able to make a useful contribution.
>
> 7. But most of all, do not -- repeat **NOT** -- attempt to use Ontolog
> Forum as a tool for collaboration. It is primarily an email list
> for announcements and brief discussions. Most subscribers regard
> your notes as SPAM. Their opinion of you goes *down* with every
> note you send.
>
> Suggestion: Your primary goal should be to find some group you can work
> with usefully. Before sending *any* notes to Ontolog Forum (not even a
> response to this one), do some searching for the terms mentioned above:
> "controlled natural language", "topic maps", "document annotation", and
> "concept maps". Think about how your tools could fit with theirs.
>
> Spend at least *one week* searching the web and thinking about those
> tools. If you have any questions about them, do *not* send them to
> Ontolog Forum. Instead, send them to the people who developed those
> tools.
>
> Finally -- *after* April 21 -- send *one note* to Ontolog Forum.
> Report your new plans for the future, and ask for *offline* suggestions
> about how to pursue them. As you develop your new collaborations, it
> would be OK to send one note *per month* about your progress.
>
> Goodbye and good luck,
>
> John
>
> _________________________________________________________________
> 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
>