. # # # ################################################################# # # # # 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 . . . "Biomass subClassOf Product" . # # https://w3id.org/def/vtc#Test10 . . . "ShipmentUpdate hasDestination Point" . # # https://w3id.org/def/vtc#Test11 . . . "ShipmentUpdate hasDocument Document" . # # https://w3id.org/def/vtc#Test12 . . . "ShipmentUpdate hasOrigin Point" . # # https://w3id.org/def/vtc#Test13 . . . "Shipment hasPickupAddress Address" . # # https://w3id.org/def/vtc#Test14 . . . "Storage hasPile StoragePile" . # # https://w3id.org/def/vtc#Test15 . . . "Shipment hasSellingPrice Price" . # # https://w3id.org/def/vtc#Test16 . . . "Shipment hasUpdate ShipmentUpdate" . # # https://w3id.org/def/vtc#Test17 . . . "Price inCurrency Currency" . # # https://w3id.org/def/vtc#Test18 . . . "Product inShipment Shipment" . # # https://w3id.org/def/vtc#Test19 . . . "ShipmentUpdate inTransportation Transportation" . # # https://w3id.org/def/vtc#Test2 . . . "DocumentType subClassOf Document" . # # https://w3id.org/def/vtc#Test20 . . . "ShipmentUpdate isParentOf ShipmentUpdate" . # # https://w3id.org/def/vtc#Test21 . . . "Storage location Point" . # # https://w3id.org/def/vtc#Test22 . . . "Shipment pickupTime DeliveryPickupTime" . # # https://w3id.org/def/vtc#Test23 . . . "User provides Product" . # # https://w3id.org/def/vtc#Test24 . . . "Product quantity BoughtQuantity" . # # https://w3id.org/def/vtc#Test25 . . . "BoughtQuantity quantityInShipment Shipment" . # # https://w3id.org/def/vtc#Test26 . . . "User receives Product" . # # https://w3id.org/def/vtc#Test27 . . . "ShipmentUpdate storedIn Storage" . # # https://w3id.org/def/vtc#Test28 . . . "Sender updates ShipmentUpdate" . # # https://w3id.org/def/vtc#Test3 . . . "Receiver subClassOf User" . # # https://w3id.org/def/vtc#Test4 . . . "Sender SubClassOf User" . # # https://w3id.org/def/vtc#Test5 . . . "Sender belongsTo LogisticCompany" . # # https://w3id.org/def/vtc#Test6 . . . "Shipment deliveryTime DeliveryPickupTime" . # # https://w3id.org/def/vtc#Test7 . . . "LogisticCompany hasAddress Address" . # # https://w3id.org/def/vtc#Test8 . . . "Shipment hasBuyerPrice Price" . # # https://w3id.org/def/vtc#Test9 . . . "Shipment hasDeliveryAddress Address" . # # https://w3id.org/def/vtc#TestSuiteShipment . . # # Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/