@Test
public void shouldTestOWL2Datatype() throws Exception {
OWL2Datatype testSubject0 = OWL2Datatype.OWL_RATIONAL;
OWL2Datatype[] result0 = OWL2Datatype.values();
boolean result2 = testSubject0.isFinite();
IRI result3 = testSubject0.getIRI();
boolean result4 = OWL2Datatype.isBuiltIn(IRI("urn:aFake"));
if (result4) {
OWL2Datatype result5 = OWL2Datatype.getDatatype(IRI("urn:aFake"));
}
String result7 = testSubject0.getShortName();
Set<IRI> result8 = OWL2Datatype.getDatatypeIRIs();
Pattern result9 = testSubject0.getPattern();
Category result10 = testSubject0.getCategory();
boolean result11 = testSubject0.isNumeric();
Collection<OWLFacet> result12 = testSubject0.getFacets();
boolean result13 = testSubject0.isInLexicalSpace("");
String result14 = testSubject0.name();
String result15 = testSubject0.toString();
int result20 = testSubject0.ordinal();
}
