OWL and ORL Ontologies in PVS -- Verification -- Symbolic and Parametric Model Checking