. # # # ################################################################# # # # # Annotation properties # # # ################################################################# # # # https://w3id.org/def/vtc#belongsTo . # # https://w3id.org/def/vtc#desiredBehaviour . # # # # ################################################################# # # # # Classes # # # ################################################################# # # # https://w3id.org/def/vtc#TestCaseDesign . # # https://w3id.org/def/vtc#TestSuite . # # # # ################################################################# # # # # Individuals # # # ################################################################# # # # https://w3id.org/def/vtc#Test1 . . . "Animal subClassOf FeatureOfInterest" . # # https://w3id.org/def/vtc#Test10 . . . "Accelerometer subClassOf Sensor" . # # https://w3id.org/def/vtc#Test11 . . . "Animal hasActivity Activity" . # # https://w3id.org/def/vtc#Test12 . . . "Animal hasBreeding Breeding" . # # https://w3id.org/def/vtc#Test13 . . . "Cow hasLactation Lactation" . # # https://w3id.org/def/vtc#Test14 . . . "Property isPropertyOf FeatureOfInterest" . # # https://w3id.org/def/vtc#Test15 . . . "Sensor measures Property" . # # https://w3id.org/def/vtc#Test16 . . . "Animal reproductiveStatus ReproductiveStatus" . # # https://w3id.org/def/vtc#Test17 . . . "RedSpottedCow type Breeding" . # # https://w3id.org/def/vtc#Test18 . . "XAxisAcceleration type SpaceProperty" . # # https://w3id.org/def/vtc#Test19 . . . "YAxisAcceleration type SpaceProperty" . # # https://w3id.org/def/vtc#Test2 . . . "Cow subClassOf Animal" . # # https://w3id.org/def/vtc#Test20 . . . "ZAxisAcceleration type SpaceProperty" . # # https://w3id.org/def/vtc#Test3 . . . "Heifer subClassOf Animal" . # # https://w3id.org/def/vtc#Test4 . . . "SpaceProperty subClassOf Property" . # # https://w3id.org/def/vtc#Test5 . . . "DoesNotNeedArtificialInsemination subClassOf ReproductiveStatus" . # # https://w3id.org/def/vtc#Test6 . . . "Inseminated subClassOf ReproductiveStatus" . # # https://w3id.org/def/vtc#Test7 . . . "Pregnant subClassOf ReproductiveStatus" . # # https://w3id.org/def/vtc#Test8 . . . "RecentDelivery subClassOf ReproductiveStatus" . # # https://w3id.org/def/vtc#Test9 . . . "ToUndergoArtificialInsemination subClassOf ReproductiveStatus" . # # https://w3id.org/def/vtc#TestSuiteCow . . # # Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/