support for owl:Restriction