. # # # ################################################################# # # # # 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 . . . "Customer subClassOf User" . # # https://w3id.org/def/vtc#Test2 . . "Seller subClassOf User" . # # https://w3id.org/def/vtc#Test3 . . "Seller sell Product" . # # https://w3id.org/def/vtc#Test4 . . "Customer buy Product" . # # https://w3id.org/def/vtc#Test5 . . "Product hasCategory Category" . # # https://w3id.org/def/vtc#Test6 . . "Product hasQuantity Stock" . # # https://w3id.org/def/vtc#TestSuiteMarket . . # # Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/