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