[Top] [All Lists]

Re: [ontolog-forum] example of context problem?

To: Edward Barkmeyer <edward.barkmeyer@xxxxxxxx>, Sjir Nijssen <sjir.nijssen@xxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Wed, 19 Mar 2014 10:13:07 -0700
Message-id: <COL129-W3258FCBBF785EDF290C2CEAA7F0@xxxxxxx>
The attachments are the final versions of mKR contexts for Sjir's example.
Composers.mkr = known facts about Composers
Famous.Composers.mkr = rules for deciding who is famous
Find.Famous.Composers.mkr = mKR script which applies rules & prints results
Famous.mkr = results hierarchy

The rules are greatly simplified using the Current Concept "."
(see Tutorial II.15) with its characteristics stored in $variables.
Here are the exact Linux shell commands used to produce the results
ke -s Find.Famous.Composers.mkr
deletecomment *.out >Famous.mkr
cat Famous.mkr

You can see that none of the Composers were found to be
Famous Composers, due to lack of detailed information about
the community.  The classification results are obtained using
the concept formation verbs isi, isd (integrate, differentiate)
described in Tutorial III.19.  For example:

rhm@lenovo8 /home/mactest$ ke -s
ke$ do read from Famous.mkr done;
ke$ Wolfgang Amadeus Mozart isd Famous Composer;
ke$ Composer isc* ?;
/  Famous Composer;
//    Wolfgang Amadeus Mozart;
/  Guisseppe Verdi;
/  Gustav Mahler;
ke$ exit;
rhm@lenovo8 /home/mactest$
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial

From: rhm@xxxxxxxxxxxxx
To: edward.barkmeyer@xxxxxxxx
CC: ontolog-forum@xxxxxxxxxxxxxxxx
Subject: example of context problem?
Date: Sat, 22 Feb 2014 06:20:30 -0800

If you have a particular case which troubles you,
I'd be happy to supply the mKR context to show
you how it's done.

The same offer is open to anyone in Ontolog Forum.
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial

Attachment: Composers.mkr
Description: Binary data

Attachment: Famous.Composers.mkr
Description: Binary data

Attachment: Find.Famous.Composers.mkr
Description: Binary data

Attachment: Famous.mkr
Description: Binary data

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    (01)

<Prev in Thread] Current Thread [Next in Thread>
  • Re: [ontolog-forum] example of context problem?, Richard H. McCullough <=