Semantic Flow Core Ontology

@base <https://semantic-flow.github.io/sflo/ontology/> .
@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#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix schema: <https://schema.org/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix prov: <http://www.w3.org/ns/prov#> .

<https://semantic-flow.github.io/sflo/ontology> a owl:Ontology, <DigitalArtifact> ;
  dcterms:title "Semantic Flow Core Ontology" ;
  dcterms:description "The Semantic Flow Core Ontology defines the classes and properties needed by Semantic Meshes." ;
  dcterms:creator <https://djradon.github.io/ns/dave-richardson> ;
  dcat:hasVersion <https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0> ;
  dcterms:modified "2026-05-19"^^xsd:date ;
  owl:versionIRI <https://raw.githubusercontent.com/semantic-flow/sflo/refs/tags/v0.5.0/semantic-flow-core-ontology.ttl> ;
  vann:preferredNamespacePrefix "sflo" ;
  vann:preferredNamespaceUri "https://semantic-flow.github.io/sflo/ontology/" .

<https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0>
  a owl:Ontology, <HistoricalState> ;
  dcat:isVersionOf <https://semantic-flow.github.io/sflo/ontology> ;
  dcterms:issued "2026-08-23"^^xsd:date ;
  owl:versionInfo "0.5.0" ;
  schema:contentUrl <https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl/semantic-flow-core-ontology.ttl> ;
  <hasManifestation> <https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl> .

<https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl>
  a <ArtifactManifestation> ;
  dcat:downloadURL <https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl/semantic-flow-core-ontology.ttl> ;
  <locatedFileForManifestation> <https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl/semantic-flow-core-ontology.ttl> .

<https://semantic-flow.github.io/sflo/ontology/releases/v0.5.0/ttl/semantic-flow-core-ontology.ttl>
  a <LocatedFile> .

#################################################################
#################################################################
# General-purpose vocabulary
#################################################################
#################################################################

#################################################################
# DigitalArtifact
#################################################################


<DigitalArtifact> a rdfs:Class ;
  rdfs:subClassOf dcat:Dataset ;
  rdfs:label "Digital artifact" ;
  rdfs:comment "A digital artifact considered as the governing artifact-level resource across its states, manifestations, and retrievable files. In the current Semantic Flow model, payload, metadata, and inventory roles classify DigitalArtifacts directly. A LocatedFile may stand alone when its governing DigitalArtifact is unnamed or not described in the available graph. Properties whose contracts accept an exact artifact facet may refer directly to that LocatedFile; this does not make the LocatedFile IRI the identity of a DigitalArtifact." .

<ArtifactHistory> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifactFacet>, <SemanticFlowResource> ;
  rdfs:label "Artifact history" ;
  rdfs:comment "An explicit diachronic facet and history-lineage resource for a DigitalArtifact. It groups published HistoricalStates, carries lineage-level operational metadata such as ordinals, and may have its own ResourcePage." .

<DigitalArtifactFacet> a rdfs:Class ;
  rdfs:label "Digital artifact facet" ;
  rdfs:comment "A Semantic Flow facet of a DigitalArtifact." .

<ContentDigestBearer> a rdfs:Class ;
  rdfs:label "Content digest bearer" ;
  rdfs:comment "A resource whose own represented or retrievable byte stream can be the subject of a content-digest claim. Semantic Flow directly classifies ArtifactManifestation and LocatedFile as content-digest bearers; downstream vocabularies may define narrower subclasses for other resources that identify one determinate byte stream." .

#################################################################
# Artifact facet types
#################################################################

#################################################################
# Core artifact model (DigitalArtifact / ArtifactHistory / HistoricalState / ArtifactManifestation / LocatedFile)
#################################################################

<HistoricalState> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifactFacet> ;
  rdfs:label "Historical state" ;
  rdfs:comment "An immutable snapshot facet for a DigitalArtifact, normally organized within an ArtifactHistory." .

<ArtifactManifestation> a rdfs:Class ;
  rdfs:subClassOf <ContentDigestBearer>, <DigitalArtifactFacet>, dcat:Distribution ;
  rdfs:label "Artifact manifestation" ;
  rdfs:comment "A concrete artifact manifestation denoting one exact byte sequence. Formatting, line-ending, compression, packaging, canonicalization, or serialization changes that alter bytes create a different ArtifactManifestation. One manifestation may be served from multiple LocatedFiles only when they provide byte-identical replicas. ArtifactManifestations are typically linked from HistoricalStates, but may also be linked directly from a DigitalArtifact in sparse cases where no HistoricalState is materialized." .

<LocatedFile> a rdfs:Class ;
  rdfs:subClassOf <ContentDigestBearer>, <DigitalArtifactFacet> ;
  rdfs:label "Located file" ;
  rdfs:comment "A retrievable file identity or location, typically with an extension, whose bytes can be checked independently. A LocatedFile may provide the exact bytes of an ArtifactManifestation, serve as a sparse facet of a broader artifact, or stand alone in external or partially modeled cases. If it provides an ArtifactManifestation, its retrieved bytes must match that manifestation's exact byte sequence." .

#################################################################
# Core structural relations
#################################################################

<hasHistoricalState> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcat:hasVersion ;
  rdfs:domain <ArtifactHistory> ;
  rdfs:range <HistoricalState> ;
  rdfs:label "has historical state" ;
  rdfs:comment "Relates an ArtifactHistory to one of its published HistoricalStates. This specializes dcat:hasVersion for the states in a named Semantic Flow artifact history." .

<hasArtifactHistory> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range <ArtifactHistory> ;
  rdfs:label "has artifact history" ;
  rdfs:comment "Relates a DigitalArtifact to one of its explicit ArtifactHistory resources." .

<currentArtifactHistory> a owl:ObjectProperty, owl:FunctionalProperty ;
  rdfs:subPropertyOf <hasArtifactHistory> ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range <ArtifactHistory> ;
  rdfs:label "current artifact history" ;
  rdfs:comment "Compatibility/current-lineage pointer from a DigitalArtifact to an explicit ArtifactHistory. Use defaultArtifactHistory for the normative default target of subsequent weave/version operations when no history is explicitly selected. Data may assert both properties to the same ArtifactHistory when the endorsed current lineage is also the default write target." .

<defaultArtifactHistory> a owl:ObjectProperty, owl:FunctionalProperty ;
  rdfs:subPropertyOf <hasArtifactHistory> ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range <ArtifactHistory> ;
  rdfs:label "default artifact history" ;
  rdfs:comment "Convenience pointer from a DigitalArtifact to the explicit ArtifactHistory that operations should extend when no history is explicitly selected. If another history is considered current, latest, or recently updated, operations SHOULD require an explicit history selection rather than assuming that history is the default write target." .

<previousHistoricalState> a owl:ObjectProperty, owl:FunctionalProperty ;
  rdfs:subPropertyOf dcat:previousVersion ;
  rdfs:domain <HistoricalState> ;
  rdfs:range <HistoricalState> ;
  rdfs:label "previous historical state" ;
  rdfs:comment "Links a HistoricalState to the immediately preceding HistoricalState in its published revision lineage. This specializes dcat:previousVersion for Semantic Flow historical states." .

<latestHistoricalState> a owl:ObjectProperty ;
  rdfs:subPropertyOf <hasHistoricalState> ;
  rdf:type owl:FunctionalProperty ;
  rdfs:domain <ArtifactHistory> ;
  rdfs:range <HistoricalState> ;
  rdfs:label "latest historical state" ;
  rdfs:comment "Operational metadata convenience pointer from an ArtifactHistory to its most recently published HistoricalState. MUST NOT be asserted into immutable historical snapshots/distributions." .

<historyOrdinal> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactHistory> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "history ordinal" ;
  rdfs:comment "Machine-oriented ordinal for a numbered default ArtifactHistory resource such as '_history001'." .

<stateOrdinal> a owl:DatatypeProperty ;
  rdfs:domain <HistoricalState> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "state ordinal" ;
  rdfs:comment "Machine-oriented ordinal for a numbered default HistoricalState resource such as '_s0001' within its ArtifactHistory." .

<nextHistoryOrdinal> a owl:DatatypeProperty ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "next history ordinal" ;
  rdfs:comment "Next auto-issued ordinal for generated default ArtifactHistory resources such as '_history001'. When present, it SHOULD reflect the next unused historyOrdinal for this DigitalArtifact." .

<nextStateOrdinal> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactHistory> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "next state ordinal" ;
  rdfs:comment "Next auto-issued ordinal for generated default HistoricalState resources such as '_s0001' within an ArtifactHistory." .

<hasManifestation> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcat:distribution ;
  rdfs:range <ArtifactManifestation> ;
  rdfs:label "has manifestation" ;
  rdfs:comment "Relates a DigitalArtifact or DigitalArtifactFacet to one of its ArtifactManifestations. In the current core model this is used primarily from HistoricalState and optionally from DigitalArtifact in sparse cases." .

<hasWorkingLocatedFile> a owl:ObjectProperty ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "has working located file" ;
  rdfs:comment "Relates a DigitalArtifact directly to its working LocatedFile when a mesh wants sparse authoring support without materializing working/current state resources. When workingLocalRelativePath is also asserted and the LocatedFile denotes a mesh-addressable local file, the two SHOULD identify the same current bytes." .

<workingLocalRelativePath> a owl:DatatypeProperty ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range xsd:string ;
  rdfs:label "working local relative path" ;
  rdfs:comment "A local relative path for the current working bytes of a DigitalArtifact. The value is resolved relative to the current mesh root, may include '../' segments when allowed by active config, and does not by itself imply a mesh-addressable LocatedFile or public IRI. Absolute host paths should not be persisted here. When hasWorkingLocatedFile is also asserted and denotes a mesh-addressable local file, the two SHOULD identify the same current bytes." .

<workingAccessUrl> a owl:DatatypeProperty ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range xsd:anyURI ;
  rdfs:label "working access URL" ;
  rdfs:comment "A current access URL for the working bytes of a DigitalArtifact when those bytes may be fetched or streamed from a remote or otherwise non-local location. This does not by itself imply that a runtime may use network access; that remains an operational-policy question. When workingLocalRelativePath, hasWorkingLocatedFile, or both are also asserted, all declared current-byte locators SHOULD identify the same current bytes." .

<hasWorkingMeshInventoryFile> a owl:ObjectProperty ;
  rdfs:domain <SemanticMesh> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "has working mesh inventory file" ;
  rdfs:comment "Convenience shortcut from a SemanticMesh directly to the current working LocatedFile of its mesh inventory document." .

<hasWorkingKnopInventoryFile> a owl:ObjectProperty ;
  rdfs:domain <Knop> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "has working Knop inventory file" ;
  rdfs:comment "Convenience shortcut from a Knop directly to the current working LocatedFile of its Knop inventory document." .

<ContentDigestMethod> a rdfs:Class ;
  rdfs:label "Content digest method" ;
  rdfs:comment "An open controlled vocabulary of content-digest methods. Direct members published by a Semantic Flow release identify the methods supported by that release's content-digest grammar." .

<contentDigestMethodToken> a owl:DatatypeProperty, owl:FunctionalProperty ;
  rdfs:domain <ContentDigestMethod> ;
  rdfs:range xsd:string ;
  rdfs:label "content digest method token" ;
  rdfs:comment "The lowercase wire token occurring before ':' in an algorithm-qualified content-digest literal." .

<contentDigestMethod_sha256> a <ContentDigestMethod> ;
  rdfs:label "SHA-256" ;
  rdfs:comment "The SHA-256 content-digest method, represented by the lowercase wire token 'sha256'." ;
  <contentDigestMethodToken> "sha256" .

<hasContentDigest> a owl:DatatypeProperty ;
  rdfs:domain <ContentDigestBearer> ;
  rdfs:range xsd:string ;
  rdfs:label "has content digest" ;
  rdfs:comment "A standing claim about the byte stream represented by an ArtifactManifestation or retrieved through a LocatedFile. This release supports exactly the lexical form 'sha256:' followed by 64 lowercase hexadecimal digits. When an ArtifactManifestation and one of its LocatedFiles both declare a digest for the same method, the values must agree." .

<locatedFileForManifestation> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcat:downloadURL ;
  rdfs:domain <ArtifactManifestation> ;
  rdfs:range <LocatedFile> ;
  owl:inverseOf <locatesManifestation> ;
  rdfs:label "located file for manifestation" ;
  rdfs:comment "Relates an ArtifactManifestation to one or more LocatedFiles that provide retrievable bytes for that manifestation." .

<locatesManifestation> a owl:ObjectProperty ;
  rdfs:domain <LocatedFile> ;
  rdfs:range <ArtifactManifestation> ;
  owl:inverseOf <locatedFileForManifestation> ;
  rdfs:label "locates manifestation" ;
  rdfs:comment "Navigation: links a LocatedFile to an ArtifactManifestation whose bytes it provides." .


#################################################################
# Optional skip-links (sparse shortcuts)
#################################################################

<locatedFileForState> a owl:ObjectProperty ;
  rdfs:domain <HistoricalState> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "located file for state" ;
  rdfs:comment "Optional shortcut relating a HistoricalState directly to a LocatedFile. When present in mesh-managed data, it SHOULD be consistent with the chain: hasManifestation / locatedFileForManifestation." .

<locatedFileForArtifact> a owl:ObjectProperty ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "located file for artifact" ;
  rdfs:comment "Relates a DigitalArtifact directly to one or more LocatedFiles that provide bytes for that artifact when a mesh wants a sparse file shortcut without materializing HistoricalState or ArtifactManifestation resources. Use locatedFileForManifestation when the file is tied to a specific ArtifactManifestation." .



#################################################################
# Content kinds
#################################################################

<RdfDocument> a rdfs:Class ;
  rdfs:label "RDF document" ;
  rdfs:comment "A content-kind classification for resources whose content is at least one RDF graph. It may be applied selectively to a DigitalArtifact or to a specific DigitalArtifactFacet such as an ArtifactManifestation or LocatedFile." .

#################################################################
# Compatibility
#################################################################

<compatibleWith> a owl:ObjectProperty ;
  rdfs:domain rdfs:Resource ;
  rdfs:range rdfs:Resource ;
  rdfs:label "compatible with" ;
  rdfs:comment "Relates a resource to another resource it is intended to interoperate with or conform to." .

#################################################################
# Web presentation
#################################################################

<ResourcePage> a rdfs:Class ;
  rdfs:subClassOf <LocatedFile>, schema:WebPage ;
  rdfs:label "Resource page file" ;
  rdfs:comment "An HTML page that presents a resource. By convention, resource pages are located at a reserved 'index.html' located-file name. Mesh layout invariant: reserve 'index.html' for ResourcePages; other artifact facets SHOULD NOT use 'index.html' as their identifier token." .

<hasResourcePage> a owl:ObjectProperty ;
  rdfs:domain rdfs:Resource ;
  rdfs:range <ResourcePage> ;
  rdfs:label "has resource page file" ;
  rdfs:comment "Associates any resource with a human-readable presentation page." .

#################################################################
# Reference data
#################################################################

<ReferenceLink> a rdfs:Class ;
  rdfs:label "Reference link" ;
  rdfs:comment "A relator describing a curated RDF reference-data link about a resource, including role metadata and a source binding for the RDF data that supports or describes the resource." .

<ReferenceSource> a rdfs:Class ;
  rdfs:subClassOf <ArtifactResolutionSpec> ;
  rdfs:label "Reference source" ;
  rdfs:comment "An artifact-resolution spec that identifies RDF reference-data bytes used by a ReferenceLink. ReferenceSource records are normally carried in the ReferenceCatalog beside their owning ReferenceLink." .

<ReferenceRole> a rdfs:Class ;
  rdfs:label "Reference role" ;
  rdfs:comment "A controlled vocabulary of roles describing how a ReferenceLink should be used." .

<referenceRole_canonical> a <ReferenceRole> ;
  rdfs:label "Canonical" .

<referenceRole_supplemental> a <ReferenceRole> ;
  rdfs:label "Supplemental" .

<referenceRole_deprecated> a <ReferenceRole> ;
  rdfs:label "Deprecated" .

<hasReferenceLink> a owl:ObjectProperty ;
  rdfs:domain rdfs:Resource ;
  rdfs:range <ReferenceLink> ;
  owl:inverseOf <referenceLinkFor> ;
  rdfs:label "has reference link"@en ;
  rdfs:comment "Associates a resource with a ReferenceLink that provides curated RDF reference data about it." .

<referenceLinkFor> a owl:ObjectProperty ;
  rdfs:domain <ReferenceLink> ;
  rdfs:range rdfs:Resource ;
  owl:inverseOf <hasReferenceLink> ;
  rdfs:label "reference link for"@en ;
  rdfs:comment "Identifies the resource that a ReferenceLink is about." .

<hasReferenceRole> a owl:ObjectProperty ;
  rdfs:domain <ReferenceLink> ;
  rdfs:range <ReferenceRole> ;
  rdfs:label "has reference role" ;
  rdfs:comment "Assigns one or more ReferenceRoles to this ReferenceLink, indicating how the reference data should be used." .

<hasReferenceSource> a owl:ObjectProperty ;
  rdfs:domain <ReferenceLink> ;
  rdfs:range <ReferenceSource> ;
  rdfs:label "has reference source" ;
  rdfs:comment "Relates a ReferenceLink to the ReferenceSource that identifies the RDF reference-data bytes for the link." .

<verifiedAt> a owl:DatatypeProperty ;
  rdfs:domain <ReferenceLink> ;
  rdfs:range xsd:dateTimeStamp ;
  rdfs:label "last verified at" ;
  rdfs:comment "Most recent verification timestamp for this reference link." .

<verifiedBy> a owl:ObjectProperty ;
  rdfs:domain <ReferenceLink> ;
  rdfs:range dcterms:Agent ;
  rdfs:label "last verified by" ;
  rdfs:comment "Agent responsible for the most recent verification of this reference link." .

#################################################################
#################################################################
# Semantic Flow resources
#################################################################
#################################################################

<SemanticFlowResource> a rdfs:Class ;
  rdfs:label "Semantic Flow resource" ;
  rdfs:comment "A constituent of a SemanticMesh modeled using Semantic Flow conventions (SemanticMesh, Knop, ArtifactHistory, and mesh-hosted artifacts such as payload, metadata, and inventory)." .

#################################################################
# Semantic Meshes
#################################################################

<SemanticMesh> a rdfs:Class ;
  rdfs:subClassOf <SemanticFlowResource> ;
  rdfs:label "Semantic Mesh" ;
  rdfs:comment "A namespace region, conventionally exposed via a reserved _mesh/ handle and, in filesystem-backed serializations, represented by a filesystem region, that has Semantic Flow resources and other supporting resources." .

<meshBase> a owl:DatatypeProperty ;
  rdfs:domain <SemanticMesh> ;
  rdfs:range xsd:anyURI ;
  rdfs:label "mesh base" ;
  rdfs:comment "A mesh's canonical BASE (publish location). Represented as a URI literal to avoid asserting anything about the denoted thing." .

#################################################################
# Knops + payload artifacts
#################################################################

<hasKnop> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <SemanticMesh> ;
  rdfs:range <Knop> ;
  rdfs:label "has knop"@en ;
  rdfs:comment "Associates a SemanticMesh with a Knop that participates in its Semantic Flow surface. This is a semantic membership relation, not a filesystem directory listing, and can apply to meshes that exist only in memory."@en .

<designatorPath> a owl:DatatypeProperty ;
  rdfs:domain <Knop> ;
  rdfs:range xsd:string ;
  rdfs:label "designator path" ;
  rdfs:comment "Relative mesh designator path for the Knop's associated Semantic Flow identifier, interpreted relative to the containing mesh's meshBase. Use no leading slash. The empty string denotes the mesh root designator. A trailing slash MAY be included if a mesh intentionally models a slash-terminated identifier IRI." .

<Knop> a rdfs:Class ;
  rdfs:subClassOf <SemanticFlowResource> ;
  rdfs:label "Knop" ;
  rdfs:comment "A mesh-managed support object and naming anchor associated one-to-one with a Semantic Flow identifier. A Knop carries the mesh-relative designatorPath from which that identifier IRI is formed in mesh context, and may host a primary payload artifact plus supporting artifacts." .

<PayloadArtifact> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <SemanticFlowResource> ;
  rdfs:label "Payload artifact" ;
  rdfs:comment "A DigitalArtifact used as the primary payload hosted by a Knop." .

<FoundingReferentData> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument> ;
  rdfs:label "Founding referent data" ;
  rdfs:comment "A bounded Knop-owned RDF artifact containing assertions accepted about the associated public referent when its Semantic Flow identifier is initialized. It is distinct from metadata about the Knop, from the primary payload, and from curated reference or source-provenance records. This class is not a SemanticFlowResource until a ResourcePage contract is defined for it." .

<hasPayloadArtifact> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <PayloadArtifact> ;
  rdfs:label "has payload artifact" ;
  rdfs:comment "Links a Knop to its primary PayloadArtifact resource when the Knop carries a mesh-managed digital payload." .

<hasFoundingReferentData> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <FoundingReferentData> ;
  rdfs:label "has founding referent data" ;
  rdfs:comment "Links a Knop to the optional bounded FoundingReferentData artifact containing assertions accepted about the Knop's associated public referent at identifier initialization. The artifact is not KnopMetadata and does not make the referent a PayloadArtifact." .

<preferredPayloadFileSlug> a owl:DatatypeProperty ;
  rdfs:domain <PayloadArtifact> ;
  rdfs:range xsd:string ;
  rdfs:label "preferred payload file slug" ;
  rdfs:comment "Mutable filename-stem preference for LocatedFiles (e.g., 'alice-bio'). Generators may ignore/sanitize it and must resolve collisions mechanically (e.g., suffix or hash). Mesh invariant: should avoid values that would result in a LocatedFile named 'index.html'." .


#################################################################
# Metadata artifacts
#################################################################

<KnopMetadata> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Knop metadata" ;
  rdfs:comment "A DigitalArtifact RdfDocument used as metadata about a Knop as a mesh-managed support object." .

<MeshMetadata> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Mesh metadata" ;
  rdfs:comment "A DigitalArtifact RdfDocument used as metadata for a SemanticMesh." .

<hasKnopMetadata> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <KnopMetadata> ;
  rdfs:label "has knop metadata" ;
  rdfs:comment "Links a Knop to its primary KnopMetadata DigitalArtifact resource (if present)." .

<hasMeshMetadata> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <SemanticMesh> ;
  rdfs:range <MeshMetadata> ;
  rdfs:label "has mesh metadata" ;
  rdfs:comment "Links a SemanticMesh to its primary MeshMetadata DigitalArtifact resource (if present)." .

#################################################################
# Inventory artifacts
#################################################################

<MeshInventory> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Mesh inventory" ;
  rdfs:comment "A DigitalArtifact RdfDocument used as inventory for a SemanticMesh." .

<KnopInventory> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Knop inventory" ;
  rdfs:comment "A DigitalArtifact RdfDocument used as inventory for a Knop." .

<hasMeshInventory> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <SemanticMesh> ;
  rdfs:range <MeshInventory> ;
  rdfs:label "has mesh inventory" ;
  rdfs:comment "Links a SemanticMesh to its MeshInventory resource." .

<hasKnopInventory> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <KnopInventory> ;
  rdfs:label "has knop inventory" ;
  rdfs:comment "Links a Knop to its KnopInventory resource." .

#################################################################
# Reference catalog artifacts
#################################################################

<ReferenceCatalog> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Reference catalog" ;
  rdfs:comment "A DigitalArtifact RdfDocument used to catalog ReferenceLinks about the resource identified by a Knop or about a SemanticMesh as a managed subject. ReferenceCatalog is intentionally narrow: it is for ReferenceLink relators, not for arbitrary descriptive RDF." .

<hasReferenceCatalog> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:range <ReferenceCatalog> ;
  rdfs:label "has reference catalog" ;
  rdfs:comment "Links a Knop or SemanticMesh to its single primary ReferenceCatalog resource when present. Owner constraints are enforced in SHACL rather than through a shared superclass." .

#################################################################
# Source registry artifacts
#################################################################

<KnopSourceRegistry> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Knop source registry" ;
  rdfs:comment "A Knop-owned DigitalArtifact RdfDocument used to catalog source bindings for artifacts or resources associated with the Knop, including materialized payload sources and extraction provenance. A source registry is provenance about source bytes and resolution, not operational mesh configuration." .

<hasKnopSourceRegistry> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <KnopSourceRegistry> ;
  rdfs:label "has Knop source registry" ;
  rdfs:comment "Links a Knop to its single primary KnopSourceRegistry resource when present." .

<hasSourceBinding> a owl:ObjectProperty ;
  rdfs:domain <KnopSourceRegistry> ;
  rdfs:range <ArtifactResolutionSpec> ;
  rdfs:label "has source binding" ;
  rdfs:comment "Links a KnopSourceRegistry to an ArtifactResolutionSpec that records a source binding for an artifact or resource associated with the Knop." .

#################################################################
# Resource page definition artifacts and helpers
#################################################################

<ResourcePageDefinition> a rdfs:Class ;
  rdfs:subClassOf <DigitalArtifact>, <RdfDocument>, <SemanticFlowResource> ;
  rdfs:label "Resource page definition" ;
  rdfs:comment "A DigitalArtifact RdfDocument used as the authoritative knop-owned definition artifact for a generated resource page. It describes page regions, page sources, and related composition policy without making the identified resource itself a payload-bearing artifact." .

<KnopAssetBundle> a rdfs:Class ;
  rdfs:label "Knop asset bundle" ;
  rdfs:comment "A bounded helper boundary for knop-owned support assets such as '_knop/_assets'. It does not by itself imply that each contained file is a governed artifact or a KnopInventory entry." .

<ArtifactResolutionSpec> a rdfs:Class ;
  rdfs:label "Artifact resolution spec" ;
  rdfs:comment "A relator/specification that selects and retrieves bytes for an application concern by naming a target artifact, state, manifestation, LocatedFile, repository coordinate, mesh-local path, access URL, or another explicit packaged target together with optional mode, expected digest, fallback spec, and observations. Resolution may select an ArtifactManifestation, but successful operational resolution does not require minting a persistent manifestation merely to record evidence. At least one concrete target should normally be provided, but this ontology does not enforce that cardinality directly." .

<ArtifactResolutionObservation> a rdfs:Class ;
  rdfs:label "Artifact resolution observation" ;
  rdfs:comment "A relator recording evidence observed during a specific artifact-resolution event. Concrete resolved coordinates are recorded through observedArtifactResolutionSpec; event and byte evidence such as digest, timestamp, and observer remain on the observation. Observations are appendable evidence records and should not be written merely because a runtime reads target bytes." .

<RepositorySourceLocator> a rdfs:Class ;
  rdfs:label "Repository source locator" ;
  rdfs:comment "A durable locator for bytes or a tree path in a version-control repository. It records repository identity, ref or commit coordinates, and a repository-relative path without implying a local checkout path or granting runtime access. Digest requirements belong on the ArtifactResolutionSpec that uses the locator, and computed digest evidence belongs on an ArtifactResolutionObservation." .

<RepositorySourceFloatingLocator> a rdfs:Class ;
  rdfs:label "Repository source floating locator" ;
  rdfs:comment "A durable locator for mutable working bytes in a version-control repository checkout. It records repository identity and a path from the repository root, but deliberately omits branch, ref, commit, digest, and local checkout path evidence. Runtime operational policy maps the repository identity to a local checkout and reads the currently checked-out bytes." .

<ExtractionSource> a rdfs:Class ;
  rdfs:subClassOf <ArtifactResolutionSpec> ;
  rdfs:label "Extraction source" ;
  rdfs:comment "An artifact-resolution spec that identifies the RDF document bytes from which a Knop-managed resource was extracted or first grounded. ExtractionSource records are normally carried in the KnopSourceRegistry under '_knop/_sources' and linked from the Knop with hasExtractionSource." .

<ImportSource> a rdfs:Class ;
  rdfs:subClassOf <ArtifactResolutionSpec> ;
  rdfs:label "Import source" ;
  rdfs:comment "An artifact-resolution spec that identifies source bytes actively acquired and copied into a governed local working surface by an import operation. ImportSource records are normally carried in the KnopSourceRegistry under '_knop/_sources' and linked from that registry with hasSourceBinding." .

<IntegrationSource> a rdfs:Class ;
  rdfs:subClassOf <ArtifactResolutionSpec> ;
  rdfs:label "Integration source" ;
  rdfs:comment "An artifact-resolution spec that identifies existing source bytes registered where they already live by an integrate operation. IntegrationSource records are normally carried in the KnopSourceRegistry under '_knop/_sources' and linked from that registry with hasSourceBinding." .

<hasExtractionSource> a owl:ObjectProperty ;
  rdfs:domain <Knop> ;
  rdfs:range <ExtractionSource> ;
  rdfs:label "has extraction source" ;
  rdfs:comment "Links a Knop to the artifact-resolution spec that identifies the source RDF document bytes for the resource managed by that Knop." .

<extractedFrom> a owl:ObjectProperty ;
  rdfs:subPropertyOf prov:wasDerivedFrom ;
  rdfs:domain <DigitalArtifact> ;
  rdfs:label "extracted from" ;
  rdfs:comment "Asserts that this artifact's content was produced from the referenced source by extraction - selecting, restructuring, or re-serializing content the source already carries. Transformation beyond what extraction needs is not this relation: a translation, a revision, or a new edition is not extractedFrom its original. A work an artifact merely cites, consults, or draws context from is not extractedFrom it; plain citation stays with dcterms:references or dcterms:source. Recommended object forms: the governing DigitalArtifact, or an exact HistoricalState of it when the source state is known - a state object identifies the derivation's source state, and byte resolution stays with ArtifactResolutionSpec. Prefer the state form when known; a consumer recovers the governing artifact from a state object through its ArtifactHistory." .

<ArtifactResolutionMode> a rdfs:Class ;
  rdfs:label "Artifact resolution mode" ;
  rdfs:comment "A controlled vocabulary describing how an ArtifactResolutionSpec resolves target bytes when the target coordinates alone do not already fix byte identity. Exact coordinates such as a target HistoricalState, LocatedFile, manifestation, commit, or digest are exact by default. A targeted ArtifactHistory resolves to the latest HistoricalState in that history by default." .

<artifactResolutionMode_working> a <ArtifactResolutionMode> ;
  rdfs:label "Working" ;
  rdfs:comment "Resolve mutable working/source bytes under active operational policy, such as workingLocalRelativePath, hasWorkingLocatedFile, workingAccessUrl, targetLocalRelativePath, or a policy-approved repository/ref/path locator. Working resolution is intentionally not an immutable identity unless paired with commit, state, located-file, or digest evidence." .

<artifactResolutionMode_latestState> a <ArtifactResolutionMode> ;
  rdfs:label "Latest state" ;
  rdfs:comment "Resolve the latest settled HistoricalState for the target artifact. When targetArtifactHistory is present, the search is bounded to that ArtifactHistory; otherwise the implementation may use the artifact's defaultArtifactHistory or require explicit history selection according to its policy." .

<ResourcePageRegion> a rdfs:Class ;
  rdfs:label "Resource page region" ;
  rdfs:comment "A structural content region described by a ResourcePageDefinition. Use this for page-content composition, not for template-slot wiring or browser chrome concerns." .

<ResourcePageSource> a rdfs:Class ;
  rdfs:subClassOf <ArtifactResolutionSpec> ;
  rdfs:label "Resource page source" ;
  rdfs:comment "A page-specific ArtifactResolutionSpec used as a per-region source binding for resource-page composition. It uses the generic artifact-resolution target/history/state/mode/fallback properties directly." .

<hasResourcePageDefinition> a owl:ObjectProperty ;
  rdfs:subPropertyOf dcterms:hasPart ;
  rdfs:domain <Knop> ;
  rdfs:range <ResourcePageDefinition> ;
  rdfs:label "has resource page definition" ;
  rdfs:comment "Links a Knop to its authoritative ResourcePageDefinition artifact when customizable identifier-page behavior is explicitly modeled." .

<hasKnopAssetBundle> a owl:ObjectProperty ;
  rdfs:domain <Knop> ;
  rdfs:range <KnopAssetBundle> ;
  rdfs:label "has knop asset bundle" ;
  rdfs:comment "Links a Knop to its bounded local support-asset area, such as '_knop/_assets'." .

<targetLocalRelativePath> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range xsd:string ;
  rdfs:label "target local relative path" ;
  rdfs:comment "A local relative path resolved from the current mesh root that names an unmanaged local source target and should be resolved directly rather than through artifact history/state lookup. Values should remain relative; '../' segments may be allowed by active config, but absolute host paths should not be persisted here." .

<targetAccessUrl> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range xsd:anyURI ;
  rdfs:label "target access URL" ;
  rdfs:comment "An access URL for the target bytes of an ArtifactResolutionSpec when those bytes may be fetched or streamed from a remote or otherwise non-local location. This does not by itself imply that a runtime may use network access; that remains an operational-policy question. When targetLocalRelativePath, targetArtifact, targetLocatedFile, or other explicit target locators are also asserted, all declared target locators SHOULD identify the same target bytes." .

<targetRepositorySource> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <RepositorySourceLocator> ;
  rdfs:label "target repository source" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to a version-control repository locator for the bytes or tree path it should resolve. Runtime policy decides whether and how that locator may be fetched or mapped to a local checkout." .

<hasRepositorySourceFloatingLocator> a owl:ObjectProperty ;
  rdfs:range <RepositorySourceFloatingLocator> ;
  rdfs:label "has repository source floating locator" ;
  rdfs:comment "Relates an artifact or ArtifactResolutionSpec to a floating repository source locator for mutable working bytes. This is intended for branch-published meshes whose source bytes live in a separately materialized repository checkout. The local checkout path is resolved operationally and is not persisted in the mesh." .

<sourceRepositoryUrl> a owl:DatatypeProperty ;
  rdfs:range xsd:anyURI ;
  rdfs:label "source repository URL" ;
  rdfs:comment "Canonical or preferred repository URL for a repository source locator. This names repository provenance and does not by itself authorize network access." .

<sourceRepositoryRef> a owl:DatatypeProperty ;
  rdfs:domain <RepositorySourceLocator> ;
  rdfs:range xsd:string ;
  rdfs:label "source repository ref" ;
  rdfs:comment "A branch, tag, symbolic ref, commit expression, or other version-control ref used to resolve the repository source. Mutable refs SHOULD be paired with a resolved sourceRepositoryCommit or content digest when deterministic replay matters." .

<sourceRepositoryCommit> a owl:DatatypeProperty ;
  rdfs:domain <RepositorySourceLocator> ;
  rdfs:range xsd:string ;
  rdfs:label "source repository commit" ;
  rdfs:comment "Resolved immutable commit identifier for the sourceRepositoryRef when known. The lexical form is version-control-system specific, such as a Git object ID." .

<sourceRepositoryPath> a owl:DatatypeProperty ;
  rdfs:domain <RepositorySourceLocator> ;
  rdfs:range xsd:string ;
  rdfs:label "source repository path" ;
  rdfs:comment "Path to the source bytes or tree within the repository ref, written relative to the repository root. Values should not be absolute host paths; use '.' for the repository root when the whole tree is the source." .

<sourceRepositoryPathFromRoot> a owl:DatatypeProperty ;
  rdfs:domain <RepositorySourceFloatingLocator> ;
  rdfs:range xsd:string ;
  rdfs:label "source repository path from root" ;
  rdfs:comment "Path to mutable working source bytes written from the repository root of a RepositorySourceFloatingLocator. Values should identify a repository-contained file path and should not be absolute host paths." .

<hasPageRegion> a owl:ObjectProperty ;
  rdfs:domain <ResourcePageDefinition> ;
  rdfs:range <ResourcePageRegion> ;
  rdfs:label "has page region" ;
  rdfs:comment "Relates a ResourcePageDefinition to one of its authored content regions." .

<regionKey> a owl:DatatypeProperty ;
  rdfs:domain <ResourcePageRegion> ;
  rdfs:range xsd:string ;
  rdfs:label "region key" ;
  rdfs:comment "A stable application-facing key for a ResourcePageRegion such as 'main' or 'sidebar'." .

<regionOrder> a owl:DatatypeProperty ;
  rdfs:domain <ResourcePageRegion> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "region order" ;
  rdfs:comment "Optional presentation order hint for ResourcePageRegion instances when deterministic region sequencing is needed." .

<hasResourcePageSource> a owl:ObjectProperty ;
  rdfs:domain <ResourcePageRegion> ;
  rdfs:range <ResourcePageSource> ;
  rdfs:label "has resource page source" ;
  rdfs:comment "Relates a ResourcePageRegion to one of its source bindings." .

<sourceOrder> a owl:DatatypeProperty ;
  rdfs:domain <ResourcePageSource> ;
  rdfs:range xsd:nonNegativeInteger ;
  rdfs:label "source order" ;
  rdfs:comment "Optional order hint for ResourcePageSource instances when a region intentionally composes multiple ordered sources." .

<targetArtifact> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <DigitalArtifact> ;
  rdfs:label "target artifact" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to a DigitalArtifact whose bytes should be resolved, subject to any target state, mode, and fallback spec." .

<targetLocatedFile> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <LocatedFile> ;
  rdfs:label "target located file" ;
  rdfs:comment "Relates an ArtifactResolutionSpec directly to a specific LocatedFile when resolution should follow that retrievable bytes identity without requiring an artifact-level target." .

<targetManifestation> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <ArtifactManifestation> ;
  rdfs:label "target manifestation" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to an ArtifactManifestation describing explicitly packaged target bytes." .

<targetArtifactHistory> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <ArtifactHistory> ;
  rdfs:label "target artifact history" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to the ArtifactHistory it targets when resolution should stay within a specific history boundary. Unless targetHistoricalState or another exact coordinate is supplied, this requests the latest HistoricalState in that history." .

<targetHistoricalState> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <HistoricalState> ;
  rdfs:label "target historical state" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to an explicitly targeted HistoricalState. This names an exact settled target by default, not a mutable working surface and not merely a runtime-resolved outcome." .

<hasArtifactResolutionMode> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <ArtifactResolutionMode> ;
  rdfs:label "has artifact resolution mode" ;
  rdfs:comment "Assigns an ArtifactResolutionMode to an ArtifactResolutionSpec." .

<hasFallbackArtifactResolutionSpec> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <ArtifactResolutionSpec> ;
  rdfs:label "has fallback artifact resolution spec" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to an alternate spec that may be used when the primary coordinates cannot be resolved exactly. First-pass SHACL allows at most one unordered fallback spec." .

<hasResolutionObservation> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range <ArtifactResolutionObservation> ;
  rdfs:label "has resolution observation" ;
  rdfs:comment "Relates an ArtifactResolutionSpec to an observed-resolution evidence record produced when an operation intentionally records what it resolved." .

<observedArtifactResolutionSpec> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionObservation> ;
  rdfs:range <ArtifactResolutionSpec> ;
  rdfs:label "observed artifact resolution spec" ;
  rdfs:comment "Relates an ArtifactResolutionObservation to the concrete ArtifactResolutionSpec describing what was actually resolved." .

<observedContentDigest> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactResolutionObservation> ;
  rdfs:range xsd:string ;
  rdfs:label "observed content digest" ;
  rdfs:comment "Digest computed from concrete bytes during one ArtifactResolutionObservation. This release supports exactly the lexical form 'sha256:' followed by 64 lowercase hexadecimal digits. Multiple values may be used when a future release supports multiple digest methods." .

<observedAt> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactResolutionObservation> ;
  rdfs:range xsd:dateTime ;
  rdfs:label "observed at" ;
  rdfs:comment "Timestamp for when target bytes were observed during an artifact-resolution event. Prefer durable state, manifestation, located-file, and digest evidence when available; use a timestamp as supplemental evidence or fallback when byte identity cannot be made durable." .

<observedBy> a owl:ObjectProperty ;
  rdfs:domain <ArtifactResolutionObservation> ;
  rdfs:range dcterms:Agent ;
  rdfs:label "observed by" ;
  rdfs:comment "Agent responsible for recording an ArtifactResolutionObservation." .

<expectsContentDigest> a owl:DatatypeProperty ;
  rdfs:domain <ArtifactResolutionSpec> ;
  rdfs:range xsd:string ;
  rdfs:label "expects content digest" ;
  rdfs:comment "A pre-resolution digest requirement supplied by a caller, authored policy, or durable source binding. Resolution must verify resolved bytes against this value before successful use; a computed observation must not be promoted into an expectation after the fact. This release supports exactly the lexical form 'sha256:' followed by 64 lowercase hexadecimal digits." .