Knowledge graphs and logic by