@prefix cred: <https://w3.org/2018/credentials#> .
@prefix odrl: <http://www.w3.org/ns/odrl/2/> .
@prefix dc: <http://purl.org/dc/terms/> .
@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 xsd: <http://www.w3.org/2001/XMLSchema#> .

# Ontology definition
cred: a owl:Ontology ;
    dc:title """Verifiable Credentials Vocabulary v2.0""" ;
    dc:description """RDFS [[RDF-SCHEMA]] vocabulary used by the Verifiable Credentials [[VC-DATA-MODEL]]""" ;
    rdfs:seeAlso <https://www.w3.org/TR/vc-data-model-2.0/> ;
    dc:date "2023-03-16"^^xsd:date ;
.

# Class definitions
cred:JsonSchemaValidator2018 a rdfs:Class, owl:DeprecatedClass ;
    owl:deprecated true ;
    rdfs:subClassOf cred:CredentialSchema ;
    rdfs:label "Json schema validator 2018" ;
    rdfs:comment """<div>A type of validator that can be used to syntactically validate JSON documents using the JSON Schema language.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:ManualRefreshService2018 a rdfs:Class, owl:DeprecatedClass ;
    owl:deprecated true ;
    rdfs:subClassOf cred:RefreshService ;
    rdfs:label "Manual refresh service 2018" ;
    rdfs:comment """<div>A type of Refresh Service that must be interacted with in a manual fashion.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:RefreshService a rdfs:Class ;
    rdfs:label "Refresh service" ;
    rdfs:comment """<div>A Refresh Service is a mechanism that can be utilized by software agents to retrieve an updated copy of a Verifiable Credential.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:CredentialSchema a rdfs:Class ;
    rdfs:label "Credential schema" ;
    rdfs:comment """<div>A Credential Schema provides verifiers with enough information to determine if the provided data conforms to the provided schema.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:CredentialStatus a rdfs:Class ;
    rdfs:label "Credential status" ;
    rdfs:comment """<div>A Credential Status provides enough information to determine the current status of the credential (for example, suspended or revoked). It MUST include the `id` property, which MUST be a URL, and the `type` property, which expresses the credential status type (also referred to as the credential status scheme)</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:CredentialEvidence a rdfs:Class ;
    rdfs:label "Credential evidence" ;
    rdfs:comment """<div>A Credential Evidence scheme provides enough information to a verifier to determine whether the evidence gathered meets their requirements for issuing a credential. The precise content of each evidence scheme is determined by the specific evidence type definition.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:VerifiableCredential a rdfs:Class ;
    rdfs:label "Verifiable credential" ;
    rdfs:comment """<div>A Credential is a set of one or more claims made by an issuer. A Verifiable Credential is a tamper-evident credential that has authorship that can be cryptographically verified. Verifiable Credentials can be used to build Verifiable Presentations, which can also be cryptographically verified.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:VerifiableCredentialGraph a rdfs:Class ;
    rdfs:label "Verifiable credential graph" ;
    rdfs:comment """<div>Instances of this class are RDF Graphs, where each of these graphs must include exactly one Verifiable Credential</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:VerifiablePresentation a rdfs:Class ;
    rdfs:label "Verifiable presentation" ;
    rdfs:comment """<div>A Presentation is data derived from one or more Credentials, issued by one or more `issuers`, that is shared with a specific `verifier`. A Verifiable Presentation is a tamper-evident Presentation encoded in such a way that authorship of the data can be trusted after a process of cryptographic verification. Certain types of verifiable presentations might contain data that is synthesized from, but do not contain, the original verifiable credentials (for example, zero-knowledge proofs).</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.



# Property definitions
cred:credentialSchema a rdfs:Property ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range cred:CredentialSchema ;
    rdfs:label "Credential schema" ;
    rdfs:comment """<div>The value of the `credentialSchema` property MUST be one or more <a href="#CredentialSchema">Credential schema</a> instances.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:credentialStatus a rdfs:Property ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range cred:CredentialStatus ;
    rdfs:label "Credential status" ;
    rdfs:comment """<div>The value of the `credentialStatus` property MUST be an instance of a <a href="#CredentialStatus">Credential status</a>.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:credentialSubject a rdfs:Property, owl:ObjectProperty ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:label "Credential subject" ;
    rdfs:comment """<div>An entity about which claims are made.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:evidence a rdfs:Property ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range cred:CredentialEvidence ;
    rdfs:label "Evidence" ;
    rdfs:comment """<div>The value of the `evidence` property MUST be one or more <a href="#CredentialEvidence">Credential evidence</a> instances.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:expirationDate a rdf:Property, owl:DeprecatedProperty, owl:DatatypeProperty ;
    owl:deprecated true ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range xsd:dateTime ;
    rdfs:label "Expiration date" ;
    rdfs:comment """<div>The value of the `expirationDate` property was used to express the date and time the credential ceases to be valid. It has been deprecated in favor of <a href="#validUntil">`validUntil`</a></div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:holder a rdfs:Property, owl:ObjectProperty ;
    rdfs:domain [ owl:unionOf (cred:VerifiableCredential cred:VerifiablePresentation) ] ;
    rdfs:label "Holder" ;
    rdfs:comment """<div>The value of the `holder` property MUST be a URI. It is RECOMMENDED that dereferencing the URI results in a document containing machine-readable information about the holder that can be used to verify the information expressed in the credential.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:issuanceDate a rdf:Property, owl:DeprecatedProperty, owl:DatatypeProperty ;
    owl:deprecated true ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range xsd:dateTime ;
    rdfs:label "Issuance date" ;
    rdfs:comment """<div>The value of the `issuanceDate` property was used to represents the earliest date when the information associated with the <a href="#credentialSubject">`credentialSubject`</a> property became valid. This property has been deprecated in favour of <a href="#validFrom">`validFrom`</a>.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:issued a rdfs:Property, owl:DatatypeProperty ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range xsd:dateTime ;
    rdfs:label "issue date" ;
    rdfs:comment """<div>The value of the `issued` property MUST be a string value of an ISO8601 combined date and time string representing the date and time the credential was issued. Note that this date represents the earliest date when the information associated with the <a href="#credentialSubject>`credentialSubject`</a> property became valid.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:issuer a rdfs:Property, owl:ObjectProperty ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:label "issuer" ;
    rdfs:comment """<div>The value of the `issuer` property MUST be a URI. It is RECOMMENDED that dereferencing the URI results in a document containing machine-readable information about the issuer that can be used to verify the information expressed in the credential.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:refreshService a rdfs:Property ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range cred:RefreshService ;
    rdfs:label "refresh service" ;
    rdfs:comment """<div>The value of the `refreshService` property MUST be one or more Refresh Service instances such that the holder can refresh the credential.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:serviceEndpoint a rdfs:Property, owl:ObjectProperty ;
    rdfs:domain cred:RefreshService ;
    rdfs:label "service endpoint" ;
    rdfs:comment """<div>The value of the `serviceEndpoint` property MUST be a URL to the service endpoint associated with the subject.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:termsOfUse a rdfs:Property ;
    rdfs:domain cred:VerifiableCredential,cred:VerifiablePresentation ;
    rdfs:range odrl:Policy ;
    rdfs:label "terms of use" ;
    rdfs:comment """<div>If specified, the value of the optional `termsOfUse` property MUST specify one or more terms of use policies under which the issuer issued the credential or presentation. Each `termsOfUse` policy MUST specify its type (for example, `IssuerPolicy`) and MAY specify its instance `id`. The precise content of each term of use is determined by the specific `TermsOfUse` type definition. If the recipient (a holder or verifier) violates the specified terms of use, the responsibility is their own, and such violation may incur legal liability.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:validFrom a rdfs:Property, owl:DatatypeProperty ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range xsd:dateTime ;
    rdfs:label "Valid from" ;
    rdfs:comment """<div>The value of the `validFrom` property MUST be a string value of an ISO8601 combined date and time string representing the date and time the credential was issued. Note that this date represents the earliest date when the information associated with the <a href="#credentialSubject>`credentialSubject`</a> property became valid.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:validUntil a rdfs:Property, owl:DatatypeProperty ;
    rdfs:domain cred:VerifiableCredential ;
    rdfs:range xsd:dateTime ;
    rdfs:label "Valid until" ;
    rdfs:comment """<div>The value of the `validUntil` property MUST be a string value of an ISO8601 combined date and time string representing the date and time the credential ceases to be valid.</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.

cred:verifiableCredential a rdfs:Property ;
    rdfs:domain cred:VerifiablePresentation ;
    rdfs:range cred:VerifiableCredentialGraph ;
    rdfs:label "verifiable credential" ;
    rdfs:comment """<div>The value of the `verifiableCredential` property MUST identify a <a href="#VerifiableCredentialGraph">Verifiable credential graph</a> (informally, it indirectly identifies a <a href="#VerifiableCredential">Verifiable credential</a> contained in a separate graph).</div>"""^^rdf:HTML ;
    rdfs:isDefinedBy cred: ;
.