Working rules and new abox classes