Rule-Based Modeling and Computing on the Semantic Web - Olken, Frank (Springer Berlin Heidelberg, 2011)