[ontolog-forum] RDF: automatic mKR inferences

["Richard H. McCullough" <rhmccullough@xxxxxxxxx>]

I have added a couple of mKR keywords to complete the RDF <=> mKR mapping
for all three kinds of RDF containers:

              http://ContextKnowledgeSystems.org/kb/spo.rdf.html

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

             http://ContextKnowledgeSystems.org/kb/auto.rdf.html

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)