@prefix eoc:   <https://eoc.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://eoc.transaction.science/vocab/v1> a owl:Ontology ;
    dc:title "EOC vocabulary (v1)" ;
    dc:description "Stable IRIs for the Energy-Optimised Compute open standard: the four-stage cache→key-value→graph→neural pipeline, joule + carbon accounting, and the cross-vendor metering surface." ;
    dc:license <https://creativecommons.org/licenses/by/4.0/> ;
    owl:versionInfo "1" .

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

eoc:Query        a owl:Class ; rdfs:label "EOC query" .
eoc:Resolution   a owl:Class ; rdfs:label "Resolution outcome" ; rdfs:subClassOf prov:Activity .
eoc:Receipt      a owl:Class ; rdfs:label "EOC receipt" .
eoc:CarbonRecord a owl:Class ; rdfs:label "Carbon-emission record" .
eoc:VendorAPI    a owl:Class ; rdfs:label "Vendor API binding" .

# ─── Cascade stages ──────────────────────────────────────────────────

eoc:Stage    a owl:Class ; rdfs:label "Cascade stage" .
eoc:Cache    a eoc:Stage ; rdfs:label "Cache stage" .
eoc:KeyValue a eoc:Stage ; rdfs:label "Key-value stage" .
eoc:Graph    a eoc:Stage ; rdfs:label "Graph stage" .
eoc:Neural   a eoc:Stage ; rdfs:label "Neural stage (last resort)" .

# ─── Energy provenance ───────────────────────────────────────────────

eoc:Provenance a owl:Class ; rdfs:label "Energy provenance" .
eoc:HwShunt    a eoc:Provenance ; rdfs:label "Hardware shunt" .
eoc:ModelBased a eoc:Provenance ; rdfs:label "Model-based estimate" .
eoc:Estimator  a eoc:Provenance ; rdfs:label "Estimator" .

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

eoc:stageClosed       a owl:ObjectProperty   ; rdfs:domain eoc:Resolution ; rdfs:range eoc:Stage ; rdfs:label "Stage that closed the query" .
eoc:joulesMicrojoules a owl:DatatypeProperty ; rdfs:range xsd:nonNegativeInteger ; rdfs:label "Energy (microjoules)" .
eoc:energyProvenance  a owl:ObjectProperty   ; rdfs:range eoc:Provenance ; rdfs:label "Energy provenance" .
eoc:carbonGrams       a owl:DatatypeProperty ; rdfs:domain eoc:CarbonRecord ; rdfs:range xsd:double ; rdfs:label "Carbon emitted (grams CO2e)" .
eoc:embeddingId       a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Embedding identifier" .
eoc:vendorId          a owl:DatatypeProperty ; rdfs:domain eoc:VendorAPI ; rdfs:range xsd:string ; rdfs:label "Vendor id" .
eoc:modelId           a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Model id" .
eoc:queryText         a owl:DatatypeProperty ; rdfs:domain eoc:Query ; rdfs:range xsd:string ; rdfs:label "Query text" .
eoc:inputHash         a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Input hash (BLAKE3 hex)" .
eoc:outputHash        a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Output hash (BLAKE3 hex)" .
eoc:closedAt          a owl:DatatypeProperty ; rdfs:range xsd:dateTime ; rdfs:label "Closed at (RFC 3339)" .
eoc:schemaId          a owl:DatatypeProperty ; rdfs:range xsd:string ; rdfs:label "Schema id (e.g. \"eoc/1\")" .