PAC Ontology

Axiomatization

Classes

Aggregator

IRI: https://onto.vaimee.com/pac#Aggregator

A reusable PAC component that reacts to notifications from one subscription query and performs one update.

Sub-class of	`Pac Component`
Enumeration members

Consumer

IRI: https://onto.vaimee.com/pac#Consumer

A reusable PAC component bound to one SPARQL query. The query can be invoked directly or used as a subscription by specialized components.

Sub-class of	`Pac Component`
Enumeration members

Fixed Named Graph

IRI: https://onto.vaimee.com/pac#FixedNamedGraph

A named graph whose URI is fixed in the PAC description.

Sub-class of	`Named Graph`
In the domain of	`graph URI`

Forced Binding

IRI: https://onto.vaimee.com/pac#ForcedBinding

Represents a forced variable binding used in a SPARQL operation within a PAC.

Sub-class of	`Sparql Fragment`
Super-class of	`Literal Forced Binding` `Uri Forced Binding`
In the range of	`graph template binding` `has binding`

Forced Binding Set

IRI: https://onto.vaimee.com/pac#ForcedBindingSet

A set of forced bindings applied together as one runtime execution context for a query or update.

In the domain of	`has binding`
In the range of	`has binding set`

Historical Graph

IRI: https://onto.vaimee.com/pac#HistoricalGraph

A persisted named graph that can be queried and updated.

Sub-class of	`Named Graph`
In the range of	`writes to graph`

Instance Named Graph

IRI: https://onto.vaimee.com/pac#InstanceNamedGraph

A named graph whose URI is derived at runtime from an instance identifier or other forced binding.

Sub-class of	`Named Graph`
In the domain of	`graph template binding` `graph URI template`

Literal Forced Binding

IRI: https://onto.vaimee.com/pac#LiteralForcedBinding

A forced binding whose value is a literal.

Sub-class of	`Forced Binding`
In the domain of	`data type` `default value`

Live Graph

IRI: https://onto.vaimee.com/pac#LiveGraph

A live named graph that can be subscribed to for notifications.

Sub-class of	`Named Graph`
In the range of	`subscribes to graph`

Multiple Forced Bindings

IRI: https://onto.vaimee.com/pac#MultipleForcedBindings

A collection of binding sets used to execute an update multiple times, replacing the same template variables with different values for each execution.

In the domain of	`has binding set`
In the range of	`has multiple forced bindings`

Named Graph

IRI: https://onto.vaimee.com/pac#NamedGraph

A SPARQL named graph used by PAC operations. Named graphs can be historical, live, fixed by URI, or resolved from runtime bindings.

Super-class of	`Fixed Named Graph` `Historical Graph` `Instance Named Graph` `Live Graph`
In the range of	`reads from graph`

Namespace

IRI: https://onto.vaimee.com/pac#Namespace

Represents an RDF namespace. They allow grouping related terms (classes and properties) under a common base URI.

In the domain of	`prefix`
In the range of	`has namespace`

Operation

IRI: https://onto.vaimee.com/pac#Operation

An abstract superclass representing any operation described in a PAC.

Super-class of	`Rule` `Sparql Operation`
In the domain of	`has forced binding` `is operation of` `reads from graph` `sparql` `uses snippet` `uses template`
In the range of	`includes operation`

Pac

IRI: https://onto.vaimee.com/pac#Pac

Defines a PAC (JSON SPARQL Application Profile). PAC describes an application based on the SPARQL Event Processing Architecture (SEPA) and following the application design pattern named PAC (Producer-Aggregator-Consumer).

In the domain of	`has component` `has namespace` `includes operation`
In the range of	`is operation of`

Pac Component

IRI: https://onto.vaimee.com/pac#PacComponent

A component in a PAC application following the PAC (Producer-Aggregator-Consumer) architectural pattern.

Super-class of	`Aggregator` `Consumer` `Producer`
In the domain of	`performs query` `performs subscription` `performs update`
In the range of	`has component`

Producer

IRI: https://onto.vaimee.com/pac#Producer

A reusable PAC component bound to one SPARQL update.

Sub-class of	`Pac Component`
Enumeration members

Query

IRI: https://onto.vaimee.com/pac#Query

A SPARQL operation that retrieves information from a knowledge base without modifying it. Examples include SELECT, ASK, and CONSTRUCT queries.

Sub-class of	`Sparql Operation`
In the domain of	`subscribes to graph`
In the range of	`performs query` `performs subscription`

Rule

IRI: https://onto.vaimee.com/pac#Rule

A general-purpose rule defined within a PAC configuration. A rule can express declarative logic or behavior that triggers specific operations (e.g., updates) under certain conditions.

Sub-class of Operation

Snippet

IRI: https://onto.vaimee.com/pac#Snippet

Represents a reusable SPARQL code fragment that can be included in one or more operations.

Sub-class of	`Sparql Fragment`
In the domain of	`snippet body`
In the range of	`uses snippet`

Sparql Fragment

IRI: https://onto.vaimee.com/pac#SparqlFragment

Defines a fragment of SPARQL that can be inserted into queries or updates, typically through variable substitution or templating mechanisms.

Super-class of Forced Binding
Snippet
Template

Sparql Operation

IRI: https://onto.vaimee.com/pac#SparqlOperation

Abstract superclass for SPARQL-based operations. It encompasses both queries and updates that interact with the RDF knowledge base using SPARQL 1.1 syntax.

Sub-class of	`Operation`
Super-class of	`Query` `Update`

Template

IRI: https://onto.vaimee.com/pac#Template

Reusable SPARQL query or update text containing variables that can be replaced by forced bindings at runtime.

Sub-class of	`Sparql Fragment`
In the domain of	`template body`
In the range of	`uses template`

Update

IRI: https://onto.vaimee.com/pac#Update

A SPARQL operation that modifies the knowledge base by inserting, deleting, or updating triples. Examples include INSERT DATA, DELETE DATA, and DELETE/INSERT operations.

Sub-class of	`Sparql Operation`
In the domain of	`has multiple forced bindings` `writes to graph`
In the range of	`performs update`

Uri Forced Binding

IRI: https://onto.vaimee.com/pac#UriForcedBinding

A forced binding whose value is a URI.

Sub-class of	`Forced Binding`
In the domain of	`default value`

Object Properties

data type

IRI: https://onto.vaimee.com/pac#dataType

Domain includes	`Literal Forced Binding`
Range includes	`Data Type`

graph template binding

IRI: https://onto.vaimee.com/pac#graphTemplateBinding

Associates an instance-scoped graph URI template with the forced binding used to resolve the graph URI at runtime.

Domain includes	`Instance Named Graph`
Range includes	`Forced Binding`

has binding

IRI: https://onto.vaimee.com/pac#hasBinding

Associates one runtime binding set with the forced bindings that are applied together during one operation execution.

Domain includes	`Forced Binding Set`
Range includes	`Forced Binding`

has binding set

IRI: https://onto.vaimee.com/pac#hasBindingSet

Associates multiple forced bindings with the binding sets used to execute the same update repeatedly with different values.

Domain includes	`Multiple Forced Bindings`
Range includes	`Forced Binding Set`

has component

IRI: https://onto.vaimee.com/pac#hasComponent

Inferred link: a PAC is associated with a PAC component if the component uses an operation defined within the PAC.

Domain includes	`Pac`
Range includes	`Pac Component`

has forced binding

IRI: https://onto.vaimee.com/pac#hasForcedBinding

Domain includes Operation

Range includes Aggregator Consumer Data Type Fixed Named Graph Forced Binding Forced Binding Set Historical Graph Instance Named Graph Literal Forced Binding Live Graph Multiple Forced Bindings Named Graph Namespace Operation Pac Pac Component Producer Query Rule Snippet Sparql Fragment Sparql Operation Template Update Uri Forced Binding data type default value graph template binding graph URI graph URI template has binding has binding set has component has forced binding has multiple forced bindings has namespace includes operation is operation of performs query performs subscription performs update prefix reads from graph snippet body sparql subscribes to graph template body uses snippet uses template variable name writes to graph

has multiple forced bindings

IRI: https://onto.vaimee.com/pac#hasMultipleForcedBindings

Associates an update with the grouped forced bindings used to execute the update multiple times, producing many triples from the same template.

Domain includes	`Update`
Range includes	`Multiple Forced Bindings`

has namespace

IRI: https://onto.vaimee.com/pac#hasNamespace

Links a PAC instance to a RDF namespace.

Domain includes	`Pac`
Range includes	`Namespace`

includes operation

IRI: https://onto.vaimee.com/pac#includesOperation

Associates a PAC with the operations it contains,

Domain includes	`Pac`
Range includes	`Operation`

is operation of

IRI: https://onto.vaimee.com/pac#isOperationOf

Indicates that a given operation is used from a PAC.

Domain includes	`Operation`
Range includes	`Pac`

performs query

IRI: https://onto.vaimee.com/pac#performsQuery

Declares the unique SPARQL query operation implemented by a PAC component. The query can be invoked directly or used as the query behind a subscription.

Domain includes	`Pac Component`
Range includes	`Query`

performs subscription

IRI: https://onto.vaimee.com/pac#performsSubscription

Declares the unique SPARQL query used by a PAC component as a subscription to continuously monitor changes in the knowledge graph. It is typically used to trigger reactive behavior.

Domain includes	`Pac Component`
Range includes	`Query`

performs update

IRI: https://onto.vaimee.com/pac#performsUpdate

Declares that the PAC component performs a SPARQL update operation that modifies the knowledge graph (e.g., INSERT, DELETE). Each component can make at most one update.

Domain includes	`Pac Component`
Range includes	`Update`

reads from graph

IRI: https://onto.vaimee.com/pac#readsFromGraph

Declares a named graph from which a query or update reads data. Reads can target either historical graphs or live graphs.

Domain includes	`Operation`
Range includes	`Named Graph`

subscribes to graph

IRI: https://onto.vaimee.com/pac#subscribesToGraph

Declares a live named graph monitored by a subscription query.

Domain includes	`Query`
Range includes	`Live Graph`

uses snippet

IRI: https://onto.vaimee.com/pac#usesSnippet

Indicates that the operation reuses a predefined SPARQL snippet.

Domain includes	`Operation`
Range includes	`Snippet`

uses template

IRI: https://onto.vaimee.com/pac#usesTemplate

Associates an operation with the SPARQL template from which its executable query or update is generated.

Domain includes	`Operation`
Range includes	`Template`

writes to graph

IRI: https://onto.vaimee.com/pac#writesToGraph

Declares a historical named graph written by an update.

Domain includes	`Update`
Range includes	`Historical Graph`

Datatype Properties

default value

IRI: https://onto.vaimee.com/pac#defaultValue

The value assigned to the variable in the binding.

Domain includes	`Literal Forced Binding` `Uri Forced Binding`
Range includes

graph URI

IRI: https://onto.vaimee.com/pac#graphUri

The fixed URI of a named graph.

Domain includes	`Fixed Named Graph`
Range includes	`xsd:anyURI`

graph URI template

IRI: https://onto.vaimee.com/pac#graphUriTemplate

Template used to derive a named graph URI from one or more runtime bindings.

Domain includes	`Instance Named Graph`
Range includes	`xsd:string`

prefix

IRI: https://onto.vaimee.com/pac#prefix

Represents the shorthand prefix used for the namespace (e.g., 'rdf', 'schema').

Domain includes	`Namespace`
Range includes	`xsd:string`

snippet body

IRI: https://onto.vaimee.com/pac#snippetBody

The SPARQL code fragment that can be reused in operations.

Domain includes	`Snippet`
Range includes	`xsd:string`

sparql

IRI: https://onto.vaimee.com/pac#sparql

The SPARQL query or update string.

Domain includes	`Operation`
Range includes	`xsd:string`

template body

IRI: https://onto.vaimee.com/pac#templateBody

The SPARQL text of a reusable query or update template before forced bindings are applied.

Domain includes	`Template`
Range includes	`xsd:string`

variable name

IRI: https://onto.vaimee.com/pac#variableName

The name of the variable being bound.

Domain includes Aggregator Consumer Data Type Fixed Named Graph Forced Binding Forced Binding Set Historical Graph Instance Named Graph Literal Forced Binding Live Graph Multiple Forced Bindings Named Graph Namespace Operation Pac Pac Component Producer Query Rule Snippet Sparql Fragment Sparql Operation Template Update Uri Forced Binding data type default value graph template binding graph URI graph URI template has binding has binding set has component has forced binding has multiple forced bindings has namespace includes operation is operation of performs query performs subscription performs update prefix reads from graph snippet body sparql subscribes to graph template body uses snippet uses template variable name writes to graph

Range includes xsd:string

Version	`1.0.0`
Version IRI	`https://onto.vaimee.com/pac/1.0.0#`

Introduction

Namespaces

Version