Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship Constraints