Expressibility of OWL Axioms with Patterns