Notes on modeling modal quantifiers in OWL