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