@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 , ; ; "Actuator subClassOf Device" . ### https://w3id.org/def/vtc#Test10 rdf:type owl:NamedIndividual , ; ; "CoolingSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test100 rdf:type owl:NamedIndividual , ; ; "AverageMovementTime type MotionProperty" . ### https://w3id.org/def/vtc#Test101 rdf:type owl:NamedIndividual , ; ; "BasalMetabolicRate type HealthProperty" . ### https://w3id.org/def/vtc#Test102 rdf:type owl:NamedIndividual , ; ; "Battery type ActReason" . ### https://w3id.org/def/vtc#Test103 rdf:type owl:NamedIndividual , ; ; "BatteryLevel type EnergyProperty" . ### https://w3id.org/def/vtc#Test104 rdf:type owl:NamedIndividual , ; ; "BeaconMac type SpaceProperty" . ### https://w3id.org/def/vtc#Test105 rdf:type owl:NamedIndividual , ; ; "BodyFatPercentage type HealthProperty" . ### https://w3id.org/def/vtc#Test106 rdf:type owl:NamedIndividual , ; ; "BodyMassIndex type HealthProperty" . ### https://w3id.org/def/vtc#Test107 rdf:type owl:NamedIndividual , ; ; "BoneMineralContent type HealthProperty" . ### https://w3id.org/def/vtc#Test108 rdf:type owl:NamedIndividual , ; ; "Button type ActReason" . ### https://w3id.org/def/vtc#Test109 rdf:type owl:NamedIndividual , ; ; "CaloriesBurned type HealthProperty" . ### https://w3id.org/def/vtc#Test11 rdf:type owl:NamedIndividual , ; ; "AirConditionningBasic subClassOf CoolingSensor" . ### https://w3id.org/def/vtc#Test110 rdf:type owl:NamedIndividual , ; ; "Cloudiness type CloudCover" . ### https://w3id.org/def/vtc#Test111 rdf:type owl:NamedIndividual , ; ; "CO2Concentration type CarbonDioxide" . ### https://w3id.org/def/vtc#Test112 rdf:type owl:NamedIndividual , ; ; "COConcentration type CarbonMonoxide" . ### https://w3id.org/def/vtc#Test113 rdf:type owl:NamedIndividual , ; ; "Depth type OperatingProperty" . ### https://w3id.org/def/vtc#Test114 rdf:type owl:NamedIndividual , ; ; "DeviceStatus type StatusProperty" . ### https://w3id.org/def/vtc#Test115 rdf:type owl:NamedIndividual , ; ; "DevPosition type SpaceProperty" . ### https://w3id.org/def/vtc#Test116 rdf:type owl:NamedIndividual , ; ; "DewpointTemperature type TemperatureAmbientProperty" . ### https://w3id.org/def/vtc#Test117 rdf:type owl:NamedIndividual , ; ; "DiastolicBloodPressure type HealthProperty" . ### https://w3id.org/def/vtc#Test118 rdf:type owl:NamedIndividual , ; ; "DiffuseRadiation type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test119 rdf:type owl:NamedIndividual , ; ; "DiffuseRadiationInstant type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test12 rdf:type owl:NamedIndividual , ; ; "HeatPumpAirToAir subClassOf CoolingSensor" . ### https://w3id.org/def/vtc#Test120 rdf:type owl:NamedIndividual , ; ; "DirectNormalIrradiance type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test121 rdf:type owl:NamedIndividual , ; ; "DirectNormalIrradianceInstant type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test122 rdf:type owl:NamedIndividual , ; ; "DirectRadiation type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test123 rdf:type owl:NamedIndividual , ; ; "DirectRadiationInstant type AmbientSolarRadiation" . ### https://w3id.org/def/vtc#Test124 rdf:type owl:NamedIndividual , ; ; "Distance type SpaceProperty" . ### https://w3id.org/def/vtc#Test125 rdf:type owl:NamedIndividual , ; ; "DistanceWlaked type MotionProperty" . ### https://w3id.org/def/vtc#Test126 rdf:type owl:NamedIndividual , ; ; "ElectricCurrent type EnergyProperty" . ### https://w3id.org/def/vtc#Test13 rdf:type owl:NamedIndividual , ; ; "HeatPumpAirToWater subClassOf CoolingSensor" . ### https://w3id.org/def/vtc#Test14 rdf:type owl:NamedIndividual , ; ; "EnergySensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test15 rdf:type owl:NamedIndividual , ; ; "FloodSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test16 rdf:type owl:NamedIndividual , ; ; "GPSEmergencyButton subClassOf Sensor" . ### https://w3id.org/def/vtc#Test17 rdf:type owl:NamedIndividual , ; ; "HeatingSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test18 rdf:type owl:NamedIndividual , ; ; "AirConditionningBasic subClassOf HeatingSensor" . ### https://w3id.org/def/vtc#Test19 rdf:type owl:NamedIndividual , ; ; "BoilerSensor subClassOf HeatingSensor" . ### https://w3id.org/def/vtc#Test2 rdf:type owl:NamedIndividual , ; ; "Sensor subClassOf Device" . ### https://w3id.org/def/vtc#Test20 rdf:type owl:NamedIndividual , ; ; "HeatPumpAirToAir subClassOf HeatingSensor" . ### https://w3id.org/def/vtc#Test21 rdf:type owl:NamedIndividual , ; ; "HeatPumpAirToWater subClassOf HeatingSensor" . ### https://w3id.org/def/vtc#Test22 rdf:type owl:NamedIndividual , ; ; "BoilerBiomass subClassOf BoilerSensor" . ### https://w3id.org/def/vtc#Test23 rdf:type owl:NamedIndividual , ; ; "BoilerNgas subClassOf BoilerSensor" . ### https://w3id.org/def/vtc#Test24 rdf:type owl:NamedIndividual , ; ; "BoilerOil subClassOf BoilerSensor" . ### https://w3id.org/def/vtc#Test25 rdf:type owl:NamedIndividual , ; ; "HumiditySensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test26 rdf:type owl:NamedIndividual , ; ; "LightBulb subClassOf Sensor" . ### https://w3id.org/def/vtc#Test27 rdf:type owl:NamedIndividual , ; ; "MonitoringSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test28 rdf:type owl:NamedIndividual , ; ; "MotionSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test29 rdf:type owl:NamedIndividual , ; ; "PersonCounterSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test3 rdf:type owl:NamedIndividual , ; ; "Relay subClassOf Actuator" . ### https://w3id.org/def/vtc#Test30 rdf:type owl:NamedIndividual , ; ; "PresenceSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test31 rdf:type owl:NamedIndividual , ; ; "PressureSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test32 rdf:type owl:NamedIndividual , ; ; "PV subClassOf Sensor" . ### https://w3id.org/def/vtc#Test33 rdf:type owl:NamedIndividual , ; ; "PVFaçade subClassOf PV" . ### https://w3id.org/def/vtc#Test34 rdf:type owl:NamedIndividual , ; ; "PVGround subClassOf PV" . ### https://w3id.org/def/vtc#Test35 rdf:type owl:NamedIndividual , ; ; "PVRoofFlat subClassOf PV" . ### https://w3id.org/def/vtc#Test36 rdf:type owl:NamedIndividual , ; ; "PVRoofStanled subClassOf PV" . ### https://w3id.org/def/vtc#Test37 rdf:type owl:NamedIndividual , ; ; "PVBIntegrated subClassOf PV" . ### https://w3id.org/def/vtc#Test38 rdf:type owl:NamedIndividual , ; ; "QRGeneratorSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test39 rdf:type owl:NamedIndividual , ; ; "SmartPlug subClassOf Sensor" . ### https://w3id.org/def/vtc#Test4 rdf:type owl:NamedIndividual , ; ; "SmartValve subClassOf Actuator" . ### https://w3id.org/def/vtc#Test40 rdf:type owl:NamedIndividual , ; ; "SoilMoistureSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test41 rdf:type owl:NamedIndividual , ; ; "SoundSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test42 rdf:type owl:NamedIndividual , ; ; "ThermometerSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test43 rdf:type owl:NamedIndividual , ; ; "UltraSoundSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test44 rdf:type owl:NamedIndividual , ; ; "WasteBinSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test45 rdf:type owl:NamedIndividual , ; ; "WaterAMRSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test46 rdf:type owl:NamedIndividual , ; ; "WeatherSensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test47 rdf:type owl:NamedIndividual , ; ; "AccumulatedPercipitation subClassOf Property" . ### https://w3id.org/def/vtc#Test48 rdf:type owl:NamedIndividual , ; ; "AmbientProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test49 rdf:type owl:NamedIndividual , ; ; "AirQuality subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test5 rdf:type owl:NamedIndividual , ; ; "Switch subClassOf Actuator" . ### https://w3id.org/def/vtc#Test50 rdf:type owl:NamedIndividual , ; ; "HumidityAmbientProperty subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test51 rdf:type owl:NamedIndividual , ; ; "AmbientSolarRadiation subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test52 rdf:type owl:NamedIndividual , ; ; "TemperatureAmbientProperty subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test53 rdf:type owl:NamedIndividual , ; ; "CloudCover subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test54 rdf:type owl:NamedIndividual , ; ; "FloodAmbientProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test55 rdf:type owl:NamedIndividual , ; ; "Noise subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test56 rdf:type owl:NamedIndividual , ; ; "Percipitation subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test57 rdf:type owl:NamedIndividual , ; ; "Pressure subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test58 rdf:type owl:NamedIndividual , ; ; "Weather subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test59 rdf:type owl:NamedIndividual , ; ; "WindAmbientProperty subClassOf AmbientProperty" . ### https://w3id.org/def/vtc#Test6 rdf:type owl:NamedIndividual , ; ; "WaterValveActuator subClassOf Actuator" . ### https://w3id.org/def/vtc#Test60 rdf:type owl:NamedIndividual , ; ; "Ammonia subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test61 rdf:type owl:NamedIndividual , ; ; "CarbonDioxide subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test62 rdf:type owl:NamedIndividual , ; ; "CarbonMonoxide subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test63 rdf:type owl:NamedIndividual , ; ; "CoarseParticulateMatter subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test64 rdf:type owl:NamedIndividual , ; ; "FineParticlesMatter subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test65 rdf:type owl:NamedIndividual , ; ; "NitrogenDioxide subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test66 rdf:type owl:NamedIndividual , ; ; "NitrogenMonoxide subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test67 rdf:type owl:NamedIndividual , ; ; "Ozone subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test68 rdf:type owl:NamedIndividual , ; ; "SulphurDioxide subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test69 rdf:type owl:NamedIndividual , ; ; "UltraFineParticlesMatter subClassOf AirQuality" . ### https://w3id.org/def/vtc#Test7 rdf:type owl:NamedIndividual , ; ; "Accelerometer subClassOf Sensor" . ### https://w3id.org/def/vtc#Test70 rdf:type owl:NamedIndividual , ; ; "EnergyProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test71 rdf:type owl:NamedIndividual , ; ; "HealthProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test72 rdf:type owl:NamedIndividual , ; ; "LightProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test73 rdf:type owl:NamedIndividual , ; ; "LuminusFlux subClassOf LightProperty" . ### https://w3id.org/def/vtc#Test74 rdf:type owl:NamedIndividual , ; ; "MotionProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test75 rdf:type owl:NamedIndividual , ; ; "OperatingProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test76 rdf:type owl:NamedIndividual , ; ; "SoilMoisture subClassOf Property" . ### https://w3id.org/def/vtc#Test77 rdf:type owl:NamedIndividual , ; ; "SoundProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test78 rdf:type owl:NamedIndividual , ; ; "SpaceProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test79 rdf:type owl:NamedIndividual , ; ; "StatusProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test8 rdf:type owl:NamedIndividual , ; ; "AirQualitySensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test80 rdf:type owl:NamedIndividual , ; ; "ActReason subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test81 rdf:type owl:NamedIndividual , ; ; "Alert subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test82 rdf:type owl:NamedIndividual , ; ; "Error subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test83 rdf:type owl:NamedIndividual , ; ; "Presence subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test84 rdf:type owl:NamedIndividual , ; ; "StorageCapacity subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test85 rdf:type owl:NamedIndividual , ; ; "SwitchStatus subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test86 rdf:type owl:NamedIndividual , ; ; "TRAFX subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test87 rdf:type owl:NamedIndividual , ; ; "PersonCounter subClassOf TRAFXProperty" . ### https://w3id.org/def/vtc#Test88 rdf:type owl:NamedIndividual , ; ; "QRCounter subClassOf StatusProperty" . ### https://w3id.org/def/vtc#Test89 rdf:type owl:NamedIndividual , ; ; "AccumulatedWater type FloodAmbientProperty" . ### https://w3id.org/def/vtc#Test9 rdf:type owl:NamedIndividual , ; ; "BatterySensor subClassOf Sensor" . ### https://w3id.org/def/vtc#Test90 rdf:type owl:NamedIndividual , ; ; "Active type StatusProperty" . ### https://w3id.org/def/vtc#Test91 rdf:type owl:NamedIndividual , ; , "ActiveEnergy type EnergyProperty" . ### https://w3id.org/def/vtc#Test92 rdf:type owl:NamedIndividual , ; , "AirPressureAtSea type Pressure" . ### https://w3id.org/def/vtc#Test93 rdf:type owl:NamedIndividual , ; ; "Alarm type ActReason" . ### https://w3id.org/def/vtc#Test94 rdf:type owl:NamedIndividual , ; ; "AmbientTemperature type TemperatureAmbientProperty" . ### https://w3id.org/def/vtc#Test95 rdf:type owl:NamedIndividual , ; ; "AmountPercipitation type Percipitation" . ### https://w3id.org/def/vtc#Test96 rdf:type owl:NamedIndividual , ; ; "AngularUnit type SpaceProperty" . ### https://w3id.org/def/vtc#Test97 rdf:type owl:NamedIndividual , ; ; "AtmosphericPressure type Pressure" . ### https://w3id.org/def/vtc#Test98 rdf:type owl:NamedIndividual , ; "Available type StatusProperty" . ### https://w3id.org/def/vtc#Test99 rdf:type owl:NamedIndividual , ; ; "AverageMovementShare type MotionProperty" . ### https://w3id.org/def/vtc#TestSuiteAdapters rdf:type owl:NamedIndividual , . ### Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/