[Top] [All Lists]

Re: [ontolog-forum] mKE inferences

To: "denn@xxxxxxxxxxxxxxxxx" <denn@xxxxxxxxxxxxxxxxx>, Sjir Nijssen <sjir.nijssen@xxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Sun, 2 Mar 2014 19:07:57 -0800
Message-id: <COL129-W409E185AE3854F40EEE8ECAA8F0@xxxxxxx>
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)

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