Continued from yesterday's 9 PM (ET) post.

Here KR stands for Knowledge Representation .
See also some ontology remarks by Marissa Mayer.