@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 , ; ; "EVCharger subClassOf Device" . ### https://w3id.org/def/vtc#Test10 rdf:type owl:NamedIndividual , ; ; "CurrentType subClassOf Connector" . ### https://w3id.org/def/vtc#Test11 rdf:type owl:NamedIndividual , ; ; "Device measuresProperty Property" . ### https://w3id.org/def/vtc#Test12 rdf:type owl:NamedIndividual , ; ; "EnergyProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test13 rdf:type owl:NamedIndividual , ; ; "StatusProperty subClassOfProperty" . ### https://w3id.org/def/vtc#Test14 rdf:type owl:NamedIndividual , ; ; "Connector subClassOf Device" . ### https://w3id.org/def/vtc#Test15 rdf:type owl:NamedIndividual , ; ; "ElectricCurrent type EnergyProperty" . ### https://w3id.org/def/vtc#Test16 rdf:type owl:NamedIndividual , ; "ElectricVoltage type EnergyProperty" . ### https://w3id.org/def/vtc#Test17 rdf:type owl:NamedIndividual , ; ; "InstantaneousReactivePower typr Energyproperty" . ### https://w3id.org/def/vtc#Test19 rdf:type owl:NamedIndividual , ; "SelectableStatus type StatusProperty" . ### https://w3id.org/def/vtc#Test2 rdf:type owl:NamedIndividual , ; ; "EVCharger hasDataProvider DataProvider" . ### https://w3id.org/def/vtc#Test3 rdf:type owl:NamedIndividual , ; "EVCharger hasAddress Address" . ### https://w3id.org/def/vtc#Test4 rdf:type owl:NamedIndividual , ; ; "EVCharger usageType UsageType" . ### https://w3id.org/def/vtc#Test5 rdf:type owl:NamedIndividual , ; ; "EVCharger hasOperator Operator" . ### https://w3id.org/def/vtc#Test6 rdf:type owl:NamedIndividual , ; ; "Address location Point" . ### https://w3id.org/def/vtc#Test7 rdf:type owl:NamedIndividual , ; ; "Address belongsTo Country" . ### https://w3id.org/def/vtc#Test8 rdf:type owl:NamedIndividual , ; ; "EVCharger hasConnection Connector" . ### https://w3id.org/def/vtc#Test9 rdf:type owl:NamedIndividual , ; , "Connector Type subClassOf Connector" . ### https://w3id.org/def/vtc#TestSuiteEvcharger rdf:type owl:NamedIndividual , . ### https://w3id.org/def/vtc#test18 rdf:type owl:NamedIndividual , ; ; "OperationalStatus type StatusProperty" . ### Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/