SIMON - Semantic Inference for the Modeling of ONtologies