@prefix : . @prefix dc: . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix dcterms: . @base . [ rdf:type owl:Ontology ] . ################################################################# # Annotation properties ################################################################# ### http://purl.org/dc/terms/source dcterms:source rdf:type owl:AnnotationProperty . ### https://w3id.org/def/vtc#belongsTo rdf:type owl:AnnotationProperty . ### https://w3id.org/def/vtc#desiredBehaviour rdf:type owl:AnnotationProperty . ################################################################# # Classes ################################################################# ### http://w3id.org/def/vtc#TestSuite rdf:type owl:Class . ### https://w3id.org/def/vtc#TestCaseDesign rdf:type owl:Class . ################################################################# # Individuals ################################################################# ### https://auroral.iot.linkeddata.es/tests/core#Test1 :Test1 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User containsItem Item" . ### https://auroral.iot.linkeddata.es/tests/core#Test10 :Test10 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ActiveUserStatus type UserStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test11 :Test11 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User isRepresentedByAvatar Image" . ### https://auroral.iot.linkeddata.es/tests/core#Test12 :Test12 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User belongsTo Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test13 :Test13 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasID only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test14 :Test14 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasUpdateDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test15 :Test15 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasCreationDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test16 :Test16 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasLocation only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test17 :Test17 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasOccupation only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test18 :Test18 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasContactMail only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test19 :Test19 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasEmail only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test2 :Test2 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User hasAudit Audit" . ### https://auroral.iot.linkeddata.es/tests/core#Test20 :Test20 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasLastName only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test21 :Test21 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasFirstName only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test22 :Test22 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User subclassOf hasName only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test23 :Test23 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "DeletedItemStatus type ItemStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test24 :Test24 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "EnabledItemStatus type ItemStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test25 :Test25 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "DisabledItemStatus type ItemStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test26 :Test26 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Service subclassOf Item" . ### https://auroral.iot.linkeddata.es/tests/core#Test27 :Test27 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Device subclassOf Item" . ### https://auroral.iot.linkeddata.es/tests/core#Test28 :Test28 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item isRepresentedByAvatar Image" . ### https://auroral.iot.linkeddata.es/tests/core#Test29 :Test29 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item belongsTo Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test3 :Test3 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User hasNotification Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test30 :Test30 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item hasUser User" . ### https://auroral.iot.linkeddata.es/tests/core#Test31 :Test31 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item belongsTo Node" . ### https://auroral.iot.linkeddata.es/tests/core#Test32 :Test32 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item subclassof hasUpdateDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test33 :Test33 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item subclassof hasCreationDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test34 :Test34 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item subclassof hasStatus only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test35 :Test35 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item subclassof hasName only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test36 :Test36 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "DeletedNodeStatus type NodeStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test37 :Test37 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ActiveNodeStatus type NodeStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test38 :Test38 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node containsItem Item" . ### https://auroral.iot.linkeddata.es/tests/core#Test39 :Test39 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Auroral type Node" . ### https://auroral.iot.linkeddata.es/tests/core#Test4 :Test4 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Dev_ops type Role" . ### https://auroral.iot.linkeddata.es/tests/core#Test40 :Test40 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Sharq type Node" . ### https://auroral.iot.linkeddata.es/tests/core#Test41 :Test41 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Vicinity type Node" . ### https://auroral.iot.linkeddata.es/tests/core#Test42 :Test42 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node belongsTo Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test43 :Test43 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasID only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test44 :Test44 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasUpdateDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test45 :Test45 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasCreationDate only datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test46 :Test46 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasToken only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test47 :Test47 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasKey only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test48 :Test48 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Node subclassOf hasName only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test49 :Test49 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ContractAcceptedNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test5 :Test5 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Infras_operator type Role" . ### https://auroral.iot.linkeddata.es/tests/core#Test50 :Test50 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ContractRequestNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test51 :Test51 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ItemUpdatedNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test52 :Test52 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ItemDiscoveredNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test53 :Test53 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ItemDisabledNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test54 :Test54 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "ItemEnabledNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test55 :Test55 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "RegistrationRequestNotification type Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test56 :Test56 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subclassOf isUnread only boolean" . ### https://auroral.iot.linkeddata.es/tests/core#Test57 :Test57 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification hasStatus NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test58 :Test58 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "RespondedNotificationStatus type NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test59 :Test59 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "RejectedNotificationStatus type NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test6 :Test6 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User type Role" . ### https://auroral.iot.linkeddata.es/tests/core#Test60 :Test60 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "AcceptedNotificationStatus type NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test61 :Test61 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "InfoNotificationStatus type NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test62 :Test62 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "WaitingNotificationStatus type NotificationStatus" . ### https://auroral.iot.linkeddata.es/tests/core#Test63 :Test63 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasObject only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test64 :Test64 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasActor only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test65 :Test65 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasCreationDate only Datetime" . ### https://auroral.iot.linkeddata.es/tests/core#Test66 :Test66 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasTarget only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test67 :Test67 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasOwner only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test68 :Test68 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Notification subClassOf hasID only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test69 :Test69 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasPartnershipRequestedTo Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test7 :Test7 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Admin type Role" . ### https://auroral.iot.linkeddata.es/tests/core#Test70 :Test70 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasPartnershipRequestedBy Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test71 :Test71 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation knows Organisation" . ### https://auroral.iot.linkeddata.es/tests/core#Test72 :Test72 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasNode Node" . ### https://auroral.iot.linkeddata.es/tests/core#Test73 :Test73 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasUser User" . ### https://auroral.iot.linkeddata.es/tests/core#Test74 :Test74 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasAudit Audit" . ### https://auroral.iot.linkeddata.es/tests/core#Test75 :Test75 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation hasNotification Notification" . ### https://auroral.iot.linkeddata.es/tests/core#Test76 :Test76 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation subclassOf hasCreationDate only DateTime" . ### https://auroral.iot.linkeddata.es/tests/core#Test77 :Test77 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation subclassOf hasLocation only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test78 :Test78 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation subclassOf hasID only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test79 :Test79 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Organisation subclassOf hasSkinColor only string" . ### https://auroral.iot.linkeddata.es/tests/core#Test8 :Test8 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "User hasRole Role" . ### https://auroral.iot.linkeddata.es/tests/core#Test9 :Test9 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "DeletedUserStatus type UserStatus" . ### https://auroral.iot.linkeddata.es/tests/core#TestsuiteCore :TestsuiteCore rdf:type owl:NamedIndividual , ; dcterms:source . ### https://w3id.org/def/vtc#Test80 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Service subClassOf VirtualThing" . ### https://w3id.org/def/vtc#Test81 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Commodity type ServiceType" . ### https://w3id.org/def/vtc#Test82 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "NotCommodity type ServiceType" . ### https://w3id.org/def/vtc#Test83 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Service language Language" . ### https://w3id.org/def/vtc#Test84 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Service applicableToGeographicalArea Place" . ### https://w3id.org/def/vtc#Test85 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Dataset subClassOf VirtualThing" . ### https://w3id.org/def/vtc#Test86 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Dataset subClassOf Dataset" . ### https://w3id.org/def/vtc#Test87 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Item hasDomain Domain" . ### https://w3id.org/def/vtc#Test88 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Tourism type Domain" . ### https://w3id.org/def/vtc#Test89 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Health type Domain" . ### https://w3id.org/def/vtc#Test90 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Energy type Domain" . ### https://w3id.org/def/vtc#Test91 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Mobility type Domain" . ### https://w3id.org/def/vtc#Test92 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "DairyFarming type Domain" . ### https://w3id.org/def/vtc#Test93 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "CircularEconomy type Domain" . ### https://w3id.org/def/vtc#Test94 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "PhysicalThing hasGeometry Geometry" . ### https://w3id.org/def/vtc#Test95 rdf:type owl:NamedIndividual , ; :TestsuiteCore , "Measurement hasReadability Readability" . ### https://w3id.org/def/vtc#Test96 rdf:type owl:NamedIndividual , ; :TestsuiteCore ; "Measurement hasTemporalUnit TemporalUnit" . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi