MWeb: A principled framework for modular web rule bases and its semantics