Modeling with Rules Using Semantic Knowledge Engineering