@prefix arl:   <https://arl.transaction.science/vocab/v1#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix prov:  <http://www.w3.org/ns/prov#> .
@prefix dc:    <http://purl.org/dc/terms/> .

<https://arl.transaction.science/vocab/v1> a owl:Ontology ;
    dc:title "ARL vocabulary (v1)" ;
    dc:description "Stable IRIs for the AI Readiness Level open standard: claims, sessions, evaluations, the four axes (validation / convergence / energy / security), and the ARL-S sandbox tier model." ;
    dc:license <https://creativecommons.org/licenses/by/4.0/> ;
    owl:versionInfo "1" .

# ─── Top-level classes ───────────────────────────────────────────────

arl:Claim a owl:Class ;
    rdfs:label "ARL claim" ;
    rdfs:comment "A four-axis readiness claim about an AI system performing a defined task in a defined context." .

arl:Session a owl:Class ;
    rdfs:label "ARL-S session" ;
    rdfs:comment "One measurement session under the ARL-S sandbox model." .

arl:Evaluation a owl:Class ;
    rdfs:label "Signed evaluation" ;
    rdfs:comment "A Session plus the attestation that signs it." ;
    rdfs:subClassOf prov:Activity .

arl:Attestation a owl:Class ;
    rdfs:label "Ed25519 attestation" ;
    rdfs:comment "Ed25519 (RFC 8032) signature over JCS-canonical (RFC 8785) JSON of the session payload." .

arl:Harness a owl:Class ;
    rdfs:label "Task harness" ;
    rdfs:comment "The runner that drives the system under test in a Session." .

arl:PhysicalTelemetry a owl:Class ;
    rdfs:label "Physical telemetry source" ;
    rdfs:comment "Energy / power telemetry sampled during a Session. Required above Tier 0." .

# ─── Convergence class (A–E) ─────────────────────────────────────────

arl:ConvergenceClass a owl:Class .
arl:ConvergenceA a arl:ConvergenceClass ; rdfs:label "Class A — bounded, deterministic" .
arl:ConvergenceB a arl:ConvergenceClass ; rdfs:label "Class B — bounded, stochastic" .
arl:ConvergenceC a arl:ConvergenceClass ; rdfs:label "Class C — unbounded, contractive" .
arl:ConvergenceD a arl:ConvergenceClass ; rdfs:label "Class D — unbounded, drift-bounded" .
arl:ConvergenceE a arl:ConvergenceClass ; rdfs:label "Class E — unbounded, no drift bound" .

# ─── Security class (S0–S4) ──────────────────────────────────────────

arl:SecurityClass a owl:Class .
arl:S0 a arl:SecurityClass ; rdfs:label "S0 — undisclosed" .
arl:S1 a arl:SecurityClass ; rdfs:label "S1 — disclosed posture" .
arl:S2 a arl:SecurityClass ; rdfs:label "S2 — attested sandbox" .
arl:S3 a arl:SecurityClass ; rdfs:label "S3 — confidential compute" .
arl:S4 a arl:SecurityClass ; rdfs:label "S4 — formal verification" .

# ─── ARL-S isolation tier (Tier 0–3) ─────────────────────────────────

arl:IsolationTier a owl:Class .
arl:Tier0 a arl:IsolationTier ; rdfs:label "Tier 0 — host process" .
arl:Tier1 a arl:IsolationTier ; rdfs:label "Tier 1 — namespace sandbox" .
arl:Tier2 a arl:IsolationTier ; rdfs:label "Tier 2 — VM sandbox (replayable)" .
arl:Tier3 a arl:IsolationTier ; rdfs:label "Tier 3 — confidential VM (replayable + attested)" .

# ─── Energy profile ──────────────────────────────────────────────────

arl:EnergyProfile a owl:Class .
arl:Disclosed   a arl:EnergyProfile ; rdfs:label "Disclosed energy profile" .
arl:Undisclosed a arl:EnergyProfile ; rdfs:label "Undisclosed energy profile (caps ARL at 3)" .

# ─── Properties ──────────────────────────────────────────────────────

arl:validationDepth   a owl:DatatypeProperty ; rdfs:domain arl:Claim ; rdfs:range xsd:integer ; rdfs:label "Validation depth (1–9)" .
arl:convergenceClass  a owl:ObjectProperty   ; rdfs:domain arl:Claim ; rdfs:range arl:ConvergenceClass ; rdfs:label "Convergence class" .
arl:energyProfile     a owl:ObjectProperty   ; rdfs:domain arl:Claim ; rdfs:range arl:EnergyProfile ; rdfs:label "Energy profile" .
arl:securityClass     a owl:ObjectProperty   ; rdfs:domain arl:Claim ; rdfs:range arl:SecurityClass ; rdfs:label "Security class" .
arl:arlScore          a owl:DatatypeProperty ; rdfs:domain arl:Claim ; rdfs:range xsd:integer ; rdfs:label "Composed ARL score (1–9)" .
arl:task              a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Task description" .
arl:context           a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Context description" .
arl:term              a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Controlled-vocabulary term" .
arl:violation         a owl:ObjectProperty   ; rdfs:label "Validation violation" .

arl:isolationTier     a owl:ObjectProperty   ; rdfs:domain arl:Session ; rdfs:range arl:IsolationTier ; rdfs:label "Sandbox isolation tier" .
arl:telemetry         a owl:ObjectProperty   ; rdfs:domain arl:Session ; rdfs:range arl:PhysicalTelemetry ; rdfs:label "Captured telemetry" .
arl:replayable        a owl:DatatypeProperty ; rdfs:domain arl:Session ; rdfs:range xsd:boolean ; rdfs:label "Replayable" .
arl:tamperingDetected a owl:DatatypeProperty ; rdfs:domain arl:Session ; rdfs:range xsd:boolean ; rdfs:label "Tampering detected" .
arl:joulesMicrojoules a owl:DatatypeProperty ; rdfs:range xsd:nonNegativeInteger ; rdfs:label "Energy (microjoules)" .
arl:inputHash         a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Input hash (BLAKE3 hex)" .
arl:outputHash        a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Output hash (BLAKE3 hex)" .

arl:signature         a owl:DatatypeProperty ; rdfs:domain arl:Attestation ; rdfs:range xsd:string ; rdfs:label "Ed25519 signature (hex)" .
arl:publicKey         a owl:DatatypeProperty ; rdfs:domain arl:Attestation ; rdfs:range xsd:string ; rdfs:label "Ed25519 public key (hex)" .
arl:signedAt          a owl:DatatypeProperty ; rdfs:domain arl:Attestation ; rdfs:range xsd:dateTime ; rdfs:label "Signed at (RFC 3339)" .