@Test
 public void shouldTestSKOSVocabulary() throws Exception {
   SKOSVocabulary testSubject0 = SKOSVocabulary.ALTLABEL;
   SKOSVocabulary[] result0 = SKOSVocabulary.values();
   Set<OWLClass> result2 = SKOSVocabulary.getClasses(mock(OWLDataFactory.class));
   IRI result3 = testSubject0.getIRI();
   EntityType<?> result4 = testSubject0.getEntityType();
   Set<OWLAnnotationProperty> result6 =
       SKOSVocabulary.getAnnotationProperties(mock(OWLDataFactory.class));
   String result7 = testSubject0.getLocalName();
   Set<OWLObjectProperty> result8 = SKOSVocabulary.getObjectProperties(mock(OWLDataFactory.class));
   Set<OWLDataProperty> result9 = SKOSVocabulary.getDataProperties(mock(OWLDataFactory.class));
   String result10 = testSubject0.name();
   String result11 = testSubject0.toString();
   int result16 = testSubject0.ordinal();
 }
 @Test
 public void getIRI_shouldReturnAnIRIThatStartsWithSkosPrefix() {
   assertThat(vocabulary.getIRI().toString(), startsWith(Namespaces.SKOS.getPrefixIRI()));
 }