@prefix : <https://ontology.inferal.com/modules/rdf-delta/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix mod: <https://w3id.org/mod#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .

<https://ontology.inferal.com/modules/rdf-delta/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "RDF Dataset Delta Ontology - OWL Addendum"@en ;
    dcterms:description "Conservative OWL typing, inverse membership, and primitive-change disjointness layered on the RDF Dataset Delta Ontology."@en ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source : ;
    vann:preferredNamespacePrefix "delta" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/rdf-delta/" ;
    mod:status "draft" ;
    rdfs:label "RDF Dataset Delta Ontology - OWL Addendum"@en ;
    rdfs:comment "This addendum imports the portable RDFS vocabulary, declares OWL term kinds, makes the two membership directions inverse, and states that one change cannot simultaneously be an addition and a removal. Structural completeness remains a SHACL concern."@en ;
    owl:versionInfo "0.1.0" .

:DatasetDelta a owl:Class .
:Change a owl:Class .

:Addition
    a owl:Class ;
    owl:disjointWith :Removal .

:Removal a owl:Class .

:baselineDataset a owl:ObjectProperty .
:resultDataset a owl:ObjectProperty .
:changeTarget a owl:ObjectProperty .

:hasChange
    a owl:ObjectProperty ;
    owl:inverseOf :inDelta .

:inDelta a owl:ObjectProperty .