@prefix : <https://ontology.inferal.com/modules/artifact-evolution/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@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/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://ontology.inferal.com/modules/artifact-evolution/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Governed Artifact Evolution OWL addendum"@en ;
    dcterms:description "Optional OWL typing and safe inverse semantics for the Governed Artifact Evolution Ontology. Lifecycle cardinalities, authority selection, evidence sufficiency, and version agreement remain SHACL or application concerns."@en ;
    dcterms:source : ;
    dcterms:issued "2026-07-12"^^xsd:date ;
    dcterms:modified "2026-07-16"^^xsd:date ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    rdfs:label "Governed Artifact Evolution OWL addendum"@en ;
    rdfs:comment "Adds OWL class and property typing plus the genuine inverse between artifact-to-version and version-to-artifact relations without making decisions, realizations, or publication logically automatic."@en ;
    vann:preferredNamespacePrefix "ae" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/artifact-evolution/" ;
    owl:versionInfo "0.1.0" .

:GovernedArtifact a owl:Class .
:ArtifactVersion a owl:Class .
:EvolutionSignal a owl:Class .
:ChangeProposal a owl:Class .
:ChangeOperation a owl:Class .
:ChangeDecision a owl:Class .
:ImpactAssessment a owl:Class .
:ChangeReview a owl:Class .
:ChangeRealization a owl:Class .
:ArtifactComparison a owl:Class .
:ComparisonRegime a owl:Class .
:ChangeSet a owl:Class .
:RealizedChange a owl:Class .
:SignalKind a owl:Class .
:ChangeKind a owl:Class .
:DecisionOutcome a owl:Class .
:CompatibilityImpact a owl:Class .
:ComparisonCoverage a owl:Class .

:hasArtifactVersion a owl:ObjectProperty ; owl:inverseOf :versionOfArtifact .
:versionOfArtifact a owl:ObjectProperty .
:currentArtifactVersion a owl:ObjectProperty .
:versionIdentifier a owl:ObjectProperty .
:concernsArtifact a owl:ObjectProperty .
:baselineVersion a owl:ObjectProperty .
:resultVersion a owl:ObjectProperty .
:hasSignalKind a owl:ObjectProperty .
:supportedBy a owl:ObjectProperty .
:contradictedBy a owl:ObjectProperty .
:hasOperation a owl:ObjectProperty .
:hasChangeKind a owl:ObjectProperty .
:affectsResource a owl:ObjectProperty .
:affectsStatementTarget a owl:ObjectProperty .
:decidesProposal a owl:ObjectProperty .
:hasDecisionOutcome a owl:ObjectProperty .
:supersedesDecision a owl:ObjectProperty .
:assessmentSubject a owl:ObjectProperty .
:hasImpactAssessment a owl:ObjectProperty .
:hasCompatibilityImpact a owl:ObjectProperty .
:confidenceAssessment a owl:ObjectProperty .
:realizesProposal a owl:ObjectProperty .
:implementsOperation a owl:ObjectProperty .
:generatedArtifactVersion a owl:ObjectProperty .
:generatedChangeSet a owl:ObjectProperty .
:usesComparisonRegime a owl:ObjectProperty .
:coverageStatus a owl:ObjectProperty .
:coverageDescription a owl:DatatypeProperty .
:hasChange a owl:ObjectProperty .
:realizesOperation a owl:ObjectProperty .
:plannedByProposal a owl:ObjectProperty .

:ValidationFailureSignal a owl:NamedIndividual .
:MappingLossSignal a owl:NamedIndividual .
:CompetencyGapSignal a owl:NamedIndividual .
:ResidualPatternSignal a owl:NamedIndividual .
:UsageDriftSignal a owl:NamedIndividual .
:EvidenceConflictSignal a owl:NamedIndividual .
:StaleEvidenceSignal a owl:NamedIndividual .
:Addition a owl:NamedIndividual .
:Removal a owl:NamedIndividual .
:Replacement a owl:NamedIndividual .
:Modification a owl:NamedIndividual .
:Deprecation a owl:NamedIndividual .
:Accepted a owl:NamedIndividual .
:Rejected a owl:NamedIndividual .
:Deferred a owl:NamedIndividual .
:NeedsRevision a owl:NamedIndividual .
:Withdrawn a owl:NamedIndividual .
:Superseded a owl:NamedIndividual .
:BackwardCompatible a owl:NamedIndividual .
:ConditionallyCompatible a owl:NamedIndividual .
:BackwardIncompatible a owl:NamedIndividual .
:UnknownCompatibility a owl:NamedIndividual .
:CompleteCoverage a owl:NamedIndividual .
:PartialCoverage a owl:NamedIndividual .
:IndeterminateCoverage a owl:NamedIndividual .