https://profilbaru.com/article/Knowledge_representation_and_reasoning