[Top] [All Lists]

[ontolog-forum] RDF: automatic mKR inferences

To: "Patrick J. Hayes" <phayes@xxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: Wed, 9 Apr 2014 19:20:34 -0700
Message-id: <COL129-W61588ADF7F9BBAFFB756B4CB550@xxxxxxx>
I have added a couple of mKR keywords to complete the RDF <=> mKR mapping
for all three kinds of RDF containers:


I have added the automatic mKR inferences for each spo statement:


You might also be interested in the fact that mKR offers
optional automatic declarations for the arguments of
n-ary relations and methods (aka functions).  This can
save the user a lot of effort.

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>
  • [ontolog-forum] RDF: automatic mKR inferences, Richard H. McCullough <=