expires with
type: ObjectProperty
domain: Scheduled transaction
range: Event
definition: Identifies the event that marks the expiration of a scheduled transaction.

File content
type: Class
subclass of: Artefact
definition: Payload stored within a File Service file such as contract bytecode or fee schedules.
source document: file-storage

has execution
type: ObjectProperty
domain: Scheduled transaction
range: Schedule execution
definition: Associates a scheduled transaction with its execution once signatures complete.

File key
type: Class
subclass of: AccountKey
definition: Key that authorises file creation, update, and deletion actions.
source document: file-keys

Schedule execution
type: Class
subclass of: Process
definition: Process that executes a scheduled transaction once all required signatures are collected.
source document: how-scheduled-transactions-work

File update
type: Class
subclass of: Process
definition: Process that amends file contents or metadata under the control of file keys.
source document: update-files

Schedule Service
type: Class
subclass of: Service
definition: Service that queues transactions for deferred execution once signature requirements are met.
source document: introduction

updates file
type: ObjectProperty
domain: File update
range: File
definition: Connects a file update process to the file being modified.

requires signature
type: ObjectProperty
domain: Scheduled transaction
range: Account
definition: Identifies accounts whose signatures are required for a scheduled transaction.

performed by
type: ObjectProperty
domain: File update
range: Account
sub property of: wasAssociatedWith
definition: Identifies the account that submitted the file update.

has collected signature count
type: DatatypeProperty
domain: Scheduled transaction
range: integer
definition: Number of signatures collected so far for the schedule.

has file memo
type: DatatypeProperty
domain: File
range: string
definition: Memo describing file purpose or metadata.

Schedule signature
type: Class
subclass of: Artefact
definition: Signature provided by an account approving a scheduled transaction.
source document: how-scheduled-transactions-work

Hedera File and Schedule Services module
type: Ontology
description: Vocabulary for modelling Hedera File Service artefacts and Scheduled Transaction lifecycle states.
creator: Bhash Ontology Working Group
created: 2024-10-01
modified: 2025-09-30
imports: core
version info: 0.1.0-dev
editorial note: Phase 3 sprint module integrating File Service bytecode storage and scheduled transaction governance for CQ-COMP-004.

File Service
type: Class
subclass of: Service
definition: Network service that stores bytecode, fee schedules, and other artefacts under key-controlled files.
source document: introduction

has file size
type: DatatypeProperty
domain: File
range: integer
definition: Size of file contents in bytes.

schedules transaction
type: ObjectProperty
domain: Scheduled transaction
range: Process
definition: Links a scheduled transaction artefact to the process that will execute once signatures are collected.

has required signature count
type: DatatypeProperty
domain: Scheduled transaction
range: integer
definition: Number of signatures needed before execution.

has collected signature
type: ObjectProperty
domain: Scheduled transaction
range: Schedule signature
definition: Connects a scheduled transaction to signatures already obtained.

has file key
type: ObjectProperty
domain: File
range: File key
definition: Associates a file with the keys authorised to modify it.

Scheduled transaction
type: Class
subclass of: Artefact
definition: Deferred transaction waiting for a quorum of signatures before execution.
source document: how-scheduled-transactions-work

has file content
type: ObjectProperty
domain: File
range: File content
definition: Links a file to the payload stored within it.

has schedule memo
type: DatatypeProperty
domain: Scheduled transaction
range: string
definition: Memo describing the scheduled transaction purpose.

has file id
type: DatatypeProperty
domain: File
range: string
definition: Ledger identifier (e.g., 0.0.x) for a file.

has schedule expiration
type: DatatypeProperty
domain: Scheduled transaction
range: dateTime
definition: Timestamp at which the scheduled transaction expires.

stores artefact
type: ObjectProperty
domain: File
range: Artefact
definition: Indicates that a file stores an artefact such as bytecode or fee schedules.

Pending schedule
type: Class
subclass of: Scheduled transaction
definition: Scheduled transaction that has not yet gathered sufficient signatures.
source document: scheduled-transactions

File
type: Class
subclass of: Artefact
definition: On-ledger file storing bytecode, configuration, or metadata referenced by other services.
source document: file-storage

has schedule id
type: DatatypeProperty
domain: Scheduled transaction
range: string
definition: Ledger identifier for a scheduled transaction.

has schedule payer
type: DatatypeProperty
domain: Scheduled transaction
range: string
definition: Account identifier paying for schedule execution.

has schedule status
type: DatatypeProperty
domain: Scheduled transaction
range: string
definition: Enumerated status such as pending-signatures, executed, or expired.