Rules on the Web: From Theory to Applications