Title: Rule - Based Modeling and Computing on the Semantic Web