@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 , ; ; "FeatureOfInterest hasProperty Property" . ### https://w3id.org/def/vtc#Test10 rdf:type owl:NamedIndividual , ; ; "LigniteBriquette type SourceEnergy" . ### https://w3id.org/def/vtc#Test11 rdf:type owl:NamedIndividual , ; ; "ElectricityGrid type SourceEnergy" . ### https://w3id.org/def/vtc#Test12 rdf:type owl:NamedIndividual , ; ; "Consumer hasBuilding Building" . ### https://w3id.org/def/vtc#Test13 rdf:type owl:NamedIndividual , ; ; "Building subClassOf FeatureOfInterest" . ### https://w3id.org/def/vtc#Test14 rdf:type owl:NamedIndividual , ; ; "Municipality subClassOf FeatureOfInterest" . ### https://w3id.org/def/vtc#Test15 rdf:type owl:NamedIndividual , ; ; "Building belongsTo Municipality" . ### https://w3id.org/def/vtc#Test16 rdf:type owl:NamedIndividual , ; ; "EnergyProperty hasPrice Price" . ### https://w3id.org/def/vtc#Test17 rdf:type owl:NamedIndividual , ; ; "Price hasAgreement PriceAgreement" . ### https://w3id.org/def/vtc#Test18 rdf:type owl:NamedIndividual , ; ; "PriceAgreement hasCostPrice CostPriceSeason" . ### https://w3id.org/def/vtc#Test19 rdf:type owl:NamedIndividual , ; ; "FixedAgreement subClassOf PriceAgreement" . ### https://w3id.org/def/vtc#Test2 rdf:type owl:NamedIndividual , ; ; "Property isPropertyOf FeatureOfInterest" . ### https://w3id.org/def/vtc#Test20 rdf:type owl:NamedIndividual , ; ; "VariableAgreement subClassOf PriceAgreement" . ### https://w3id.org/def/vtc#Test21 rdf:type owl:NamedIndividual , ; ; "StandardAgreement subClassOf PriceAgreement" . ### https://w3id.org/def/vtc#Test22 rdf:type owl:NamedIndividual , ; ; "CostPriceSeason forSeason Season" . ### https://w3id.org/def/vtc#Test23 rdf:type owl:NamedIndividual , ; ; "Winter type Season" . ### https://w3id.org/def/vtc#Test24 rdf:type owl:NamedIndividual , ; ; "Spring type Season" . ### https://w3id.org/def/vtc#Test25 rdf:type owl:NamedIndividual , ; ; "Summer type Season" . ### https://w3id.org/def/vtc#Test26 rdf:type owl:NamedIndividual , ; ; "Autumn type Season" . ### https://w3id.org/def/vtc#Test27 rdf:type owl:NamedIndividual , ; ; "OneYearFixedAgreement type FixedAgreement" . ### https://w3id.org/def/vtc#Test28 rdf:type owl:NamedIndividual , ; ; "TwoYearsFixedAgreement type FixedAgreement" . ### https://w3id.org/def/vtc#Test29 rdf:type owl:NamedIndividual , ; ; "ThreeYearsFixedAgreement type FixedAgreement" . ### https://w3id.org/def/vtc#Test3 rdf:type owl:NamedIndividual , ; ; "EnergyProperty subClassOf Property" . ### https://w3id.org/def/vtc#Test30 rdf:type owl:NamedIndividual , ; ; "Apartment type Consumer" . ### https://w3id.org/def/vtc#Test31 rdf:type owl:NamedIndividual , ; ; "HouseWithoutElectricHeating type Consumer" . ### https://w3id.org/def/vtc#Test32 rdf:type owl:NamedIndividual , ; ; "HouseWithElectricHeating type Consumer" . ### https://w3id.org/def/vtc#Test33 rdf:type owl:NamedIndividual , ; ; "LargerHouseholds type Consumer" . ### https://w3id.org/def/vtc#Test34 rdf:type owl:NamedIndividual , ; ; "CostPriceSeason inCurrency Currency" . ### https://w3id.org/def/vtc#Test35 rdf:type owl:NamedIndividual , ; ; "PriceMeasurement subClassOf Measurement" . ### https://w3id.org/def/vtc#Test36 rdf:type owl:NamedIndividual , ; ; "Measurement hasTemporalEntity TemporalEntity" . ### https://w3id.org/def/vtc#Test37 rdf:type owl:NamedIndividual , ; ; "Measurement isMeasuredIn UnitOfMeasure" . ### https://w3id.org/def/vtc#Test38 rdf:type owl:NamedIndividual , ; ; "Property relatesToMeasurement Measurement" . ### https://w3id.org/def/vtc#Test39 rdf:type owl:NamedIndividual , ; ; "Measurement relatesToProperty Property" . ### https://w3id.org/def/vtc#Test4 rdf:type owl:NamedIndividual , ; ; "EnergyConsumption type EnergyProperty" . ### https://w3id.org/def/vtc#Test40 rdf:type owl:NamedIndividual , ; ; "PriceMeasurement inCurrency Currency" . ### https://w3id.org/def/vtc#Test5 rdf:type owl:NamedIndividual , ; ; "EnergyUseIntensity type EnergyProperty" . ### https://w3id.org/def/vtc#Test6 rdf:type owl:NamedIndividual , ; ; "EnergyProperty hasSource SourceEnergy" . ### https://w3id.org/def/vtc#Test7 rdf:type owl:NamedIndividual , ; ; "FuelOil type SourceEnergy" . ### https://w3id.org/def/vtc#Test8 rdf:type owl:NamedIndividual , ; ; "NaturalGas type SourceEnergy" . ### https://w3id.org/def/vtc#Test9 rdf:type owl:NamedIndividual , ; ; "Firewood type SourceEnergy" . ### https://w3id.org/def/vtc#TestSuiteEnergy rdf:type owl:NamedIndividual , . ### Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/