Re: [ontolog-forum] mKE inferences

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

Mike and Sjir

Another hierarchy structure inference that I should have mentioned is

     inheritance :: if x isa y; y has property;  then x has property; fi;

This lets you attach properties at the highest level of the hierarchy.
I often use inheritance, but mKE does not apply it automatically.
 
Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial

---

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