@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix discovery: <https://www.w3.org/2022/wot/discovery-ontology#> .
@prefix td: <https://www.w3.org/2019/wot/td#> .
@prefix did: <https://www.w3.org/ns/did#> .
@prefix schema: <http://schema.org/> .
@base <https://www.w3.org/2022/wot/discovery-ontology#> .

<https://www.w3.org/2022/wot/discovery-ontology#> rdf:type owl:Ontology ;
	dc:creator "Andrea Cimmino" ;
	dc:creator "Farshid Tavakolizadeh" ;
	owl:versionInfo "0.1.2" ;
	dc:title "WoT discovery ontology" ;
	dc:description "Ontology code created by Chowlk" .

#################################################################
# Object Properties
#################################################################

### discovery:hasRegistrationInformation
discovery:hasRegistrationInformation rdf:type owl:ObjectProperty ;
	rdfs:domain td:Thing ;
	rdfs:range discovery:RegistrationInformation ;
	rdfs:label "registration" .

### discovery:nextThingCollection
discovery:nextThingCollection rdf:type owl:ObjectProperty;
    rdfs:domain discovery:ThingCollection;
    rdfs:range discovery:ThingCollection;
    rdfs:label "next ThingCollection" .


### discovery:hasCollectionMember
discovery:hasCollectionMember rdf:type owl:ObjectProperty;
    rdfs:domain discovery:ThingCollection;
    rdfs:range td:Thing;
    rdfs:label "ThingCollection members" .
#################################################################

# Data Properties

#################################################################

### discovery:dateCreated
discovery:dateCreated rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:RegistrationInformation ;
	rdfs:range xsd:dateTime ;
	rdfs:label "created"@en .

### discovery:dateModified
discovery:dateModified rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:RegistrationInformation ;
	rdfs:range xsd:dateTime ;
	rdfs:label "modified"@en .

### discovery:expires
discovery:expires rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:RegistrationInformation ;
	rdfs:range xsd:dateTime ;
	rdfs:label "expires"@en .

### discovery:ttl
discovery:ttl rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:RegistrationInformation ;
	rdfs:range xsd:unsignedInt ;
	rdfs:label "ttl"@en .

### discovery:retrieve
discovery:retrieved rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:RegistrationInformation ;
	rdfs:range xsd:dateTime ;
	rdfs:label "retrieved"@en .

### discovery:contains
discovery:contains rdf:type owl:DatatypeProperty ;
	rdfs:domain discovery:ThingCollection;
	rdfs:range xsd:integer;
	rdfs:label "total number of things contained in the collection"@en .
#################################################################

# Classes

#################################################################

### discovery:RegistrationInformation
discovery:RegistrationInformation rdf:type owl:Class ;
	rdfs:label "RegistrationInformation" .

### discovery:ThingLink
discovery:ThingLink rdf:type owl:Class ;
	rdfs:label "ThingLink" ;
	rdfs:subClassOf td:Thing .

### discovery:ThingDirectory
discovery:ThingDirectory rdf:type owl:Class ;
	rdfs:label "ThingDirectory" ;
	rdfs:subClassOf td:Thing .

### discovery:ThingCollection
discovery:ThingCollection rdf:type owl:Class ;
	rdfs:label "ThingCollection".

### discovery:WotThingDIDService
discovery:WotThingDIDService rdf:type owl:Class ;
	rdfs:comment "Class used in DID documents that labels a URL for a service returning a WoT TD";
	rdfs:subClassOf did:Service ;
	rdfs:label "WotThingDIDService" .

### discovery:WotDirectoryDIDService
discovery:WotDirectoryDIDService rdf:type owl:Class ;
	rdfs:comment "Class used in DID documents that labels a URL for a service returning a WoT TD that must describe a WoT TD Directory";
        rdfs:subClassOf did:Service ;
	rdfs:label "WotDirectoryDIDService" .


#################################################################
# Instances
#################################################################

#################################################################
# General Axioms
#################################################################