Knowledge Modeling and Reasoning