david spivak

A KRR is a set of ontological commitments — a representation that carries a theory of reasoning. So it doesn’t just store what’s known, it sanctions and recommends inferences atop what’s known. When that representation is natural language, those commitments and that reasoning theory are already in the words.