Representation of Parsimonious Covering Theory in OWL-DL