Universal Open Game Theory Ontology (UOGTO)
type: Ontology
creator: UOGTO Contributors
description: The core release ontology for modeling games, strategies, actions, outcomes, payoffs, equilibria, execution traces, and extensible game-theoretic semantics.
license: https://creativecommons.org/licenses/by/4.0/
preferred namespace prefix: uogto
preferred namespace uri: https://w3id.org/uogto/core#
label: UOGTO Alignment with Model Context Protocol
label: UOGTO Alignment with Open Games
label: UOGTO Alignment with PROV-O
label: UOGTO Alignment with Schema.org
label: UOGTO Alignment with W3C Web of Things Thing Description
label: UOGTO Core - Actions Module
label: UOGTO Core - Agents Module
label: UOGTO Core - Dynamics Module
label: UOGTO Core - Equilibria Module
label: UOGTO Core - Games Module
label: UOGTO Core - Information Module
label: UOGTO Core - Outcomes Module
label: UOGTO Core - Payoffs Module
label: UOGTO Core - Rules Module
label: UOGTO Core - Strategies Module
label: UOGTO Extension - Algorithmic Game Theory
label: UOGTO Extension - Auctions
label: UOGTO Extension - Bargaining
label: UOGTO Extension - Behavioural Games
label: UOGTO Extension - Causal Games
label: UOGTO Extension - Compositional Open Games
label: UOGTO Extension - Computational Social Choice
label: UOGTO Extension - Congestion Routing Games
label: UOGTO Extension - Contract Theory
label: UOGTO Extension - Cooperative Games
label: UOGTO Extension - Deontic Logic
label: UOGTO Extension - Differential Hybrid Games
label: UOGTO Extension - Digital Twin Games
label: UOGTO Extension - Epistemic Games
label: UOGTO Extension - Evolutionary Games
label: UOGTO Extension - Game Description Languages
label: UOGTO Extension - Information Design
label: UOGTO Extension - Institutional Economics
label: UOGTO Extension - Kg Execution Bindings
label: UOGTO Extension - Learning In Games
label: UOGTO Extension - Llm Agent Games
label: UOGTO Extension - Marl
label: UOGTO Extension - Matching Allocation
label: UOGTO Extension - Mean Field Games
label: UOGTO Extension - Mechanism Design
label: UOGTO Extension - Network Games
label: UOGTO Extension - Petri Net Devs Hla
label: UOGTO Extension - Privacy Disclosure
label: UOGTO Extension - Security Games
label: UOGTO Extension - Trust Reputation Provenance
label: UOGTO Extension - Verification Games
label: Universal Open Game Theory Ontology (UOGTO) Core
imports: core
version info: 1.0.0
definition: The core schema for modeling games, strategies, actions, outcomes, and payoffs.

Action
type: Class
subclass of: Activity
subclass of: Action
subclass of: Game Entity
definition: A single choice or move available to a player at a decision point.

Action Profile
type: Class
subclass of: Game Entity
definition: A combination of actions chosen simultaneously by all players.

Agent
type: Class
subclass of: Agent
subclass of: Client
subclass of: Game Entity
definition: An automated or rational actor operating inside a game.

Artificial Agent
type: Class
subclass of: Agent
definition: A software agent participating in a game.

Belief
type: Class
subclass of: Game Entity
definition: A probability distribution over states in an information set.

Cardinal Payoff
type: Class
subclass of: Payoff
definition: A payoff representing quantitative measurements of utility.

Chance Node
type: Class
subclass of: Game Node
definition: A game node where transition outcomes are decided stochastically.

Coalition
type: Class
subclass of: Game Entity
definition: A group of players cooperating to achieve payoffs.

Constitutive Rule
type: Class
subclass of: Rule
definition: Rules that create or define new forms of activity.

Continuous Dynamics
type: Class
subclass of: Transition Function
definition: State transitions occurring over continuous time flows.

Decision Node
type: Class
subclass of: Game Node
definition: A game node controlled by a specific player.

Deterministic Outcome
type: Class
subclass of: Outcome
definition: An outcome determined strictly by player actions.

Discrete Dynamics
type: Class
subclass of: Transition Function
definition: State transitions occurring in discrete time steps.

Equilibrium
type: Class
subclass of: Game Entity
definition: A strategy profile matching equilibrium conditions (e.g. Nash).

Event Trace
type: Class
subclass of: Game Entity
definition: A history of state transitions and actions in a session.

Execution Model
type: Class
subclass of: Game Entity
definition: A compilation of the game ontology to an executable simulator.

Finite Game
type: Class
subclass of: Game Specification
definition: A game with a finite number of players, strategies, and outcomes.

Game Entity
type: Class
definition: The base class for all game-theoretic elements.

Game Instance
type: Class
subclass of: Game Entity
definition: A concrete realization of a GameSpecification, preparing or binding parameters for play.

Game Node
type: Class
subclass of: Game Entity
definition: A state configuration node within dynamic/extensive games.

Game Specification
type: Class
subclass of: Game Entity
definition: The structural rules, players, actions, and utilities defining a game.

Human Player
type: Class
subclass of: Player
definition: A human agent participating in a game.

Imperfect Information
type: Class
subclass of: Information Set
definition: Information configuration where some past actions are hidden.

Infinite Game
type: Class
subclass of: Game Specification
definition: A game featuring infinite player or strategy spaces.

Information Set
type: Class
subclass of: Game Entity
definition: A set of decision states indistinguishable to a player.

Initial State
type: Class
subclass of: State
definition: The start state of the game.

Institution
type: Class
subclass of: Game Entity
definition: An organizational frame or system governing game norms.

Mixed Strategy
type: Class
subclass of: Strategy
definition: A probability distribution over pure strategies.

Nash Equilibrium
type: Class
subclass of: Equilibrium
definition: A strategy profile where no player has a unilateral incentive to deviate.

Norm
type: Class
subclass of: Game Entity
definition: A social constraint or expectation in institutional games.

Ordinal Payoff
type: Class
subclass of: Payoff
definition: A payoff representing relative preference rankings.

Outcome
type: Class
subclass of: Entity
subclass of: Game Entity
definition: The end consequence of action choices.

Payoff
type: Class
subclass of: Game Entity
definition: The numerical rewards or utilities distributed to players for an outcome.

Payoff Profile
type: Class
subclass of: Game Entity
definition: Represents the aggregated profile of payoffs for all active players.

Perfect Information
type: Class
subclass of: Information Set
definition: Information configuration where all past actions are observed.

Play Session
type: Class
subclass of: Game Entity
definition: A session during which a game instance is played or simulated.

Player
type: Class
subclass of: Agent
subclass of: Game Entity
definition: An entity (human, LLM, robot, group) playing the game.

Player Payoff Link
type: Class
subclass of: Game Entity
definition: Connects a utility value directly to a player instance.

Preference Relation
type: Class
subclass of: Game Entity
definition: An ordinal ranking of outcomes by a player.

Pure Strategy
type: Class
subclass of: Strategy
definition: A strategy that defines a specific choice for all decision points.

Regulative Rule
type: Class
subclass of: Rule
definition: Rules that regulate pre-existing activities.

Role
type: Class
subclass of: Game Entity
definition: A position occupied by a player within a game specification.

Rule
type: Class
subclass of: Game Entity
definition: A structural constraint governing game play.

Sequential Action
type: Class
subclass of: Action
definition: An action taken in order during the game's sequence.

Signal
type: Class
subclass of: Game Entity
definition: An informational cue emitted to players.

Simultaneous Action
type: Class
subclass of: Action
definition: An action taken in synchrony with other players' choices.

Solver
type: Class
subclass of: Game Entity
definition: An algorithm designed to find game equilibria.

State
type: Class
subclass of: Game Entity
definition: A configuration node in extensive-form or dynamic games.

Stochastic Outcome
type: Class
subclass of: Outcome
definition: An outcome incorporating environmental randomness.

Strategy
type: Class
subclass of: Game Entity
definition: A complete plan of action for a player.

Strategy Profile
type: Class
subclass of: Game Entity
definition: A vector of strategies, one for each player.

Subgame Perfect Equilibrium
type: Class
subclass of: Equilibrium
definition: An equilibrium that constitutes a Nash equilibrium in every subgame.

Terminal Node
type: Class
subclass of: Game Node
definition: A terminal node in a game model mapping to payoffs.

Terminal State
type: Class
subclass of: State
definition: A leaf node representing game completion.

Transition
type: Class
subclass of: Game Entity
definition: A state change triggered by an action profile.

Transition Function
type: Class
subclass of: Game Entity
definition: A function defining the state transitions.

Utility Function
type: Class
subclass of: Game Entity
definition: A mapping from outcomes to real numbers for a player.

assigns payoff
type: ObjectProperty
definition: Links an outcome to the payoffs distributed.

belongs to information set
type: ObjectProperty
type: FunctionalProperty
domain: Decision Node
range: Information Set
definition: Functional relation linking a decision node to its single containing information set.

compiled to execution model
type: ObjectProperty
definition: Links a game to its executable representation.

comprises strategy
type: ObjectProperty
domain: Strategy Profile
range: Strategy
definition: Links a strategy profile to the specific individual strategies.

confidence
type: DatatypeProperty
range: double
definition: Belief confidence score.

controls node
type: ObjectProperty
domain: Player
range: Decision Node
definition: Links a player to the decision node they control.

description
type: DatatypeProperty
range: string
definition: Human-readable description.

emits event trace
type: ObjectProperty
definition: Connects a play session to its event log.

governed by norm
type: ObjectProperty
definition: Norms governing an institution.

governed by rule
type: ObjectProperty
definition: Rules governing a specification or instance.

has available action
type: ObjectProperty
definition: Lists actions available to a player in a state.

has belief
type: ObjectProperty
definition: Links a player's information set to their belief state.

has equilibrium
type: ObjectProperty
definition: Connects a game to its computed equilibrium profile.

has information set
type: ObjectProperty
definition: Relates states to an information set.

has initial state
type: ObjectProperty
definition: Declares the initial state.

has payoff
type: ObjectProperty
domain: Strategy Profile
range: Payoff Profile
definition: Links a strategy profile to its corresponding reified payoff profile.

has payoff for player
type: ObjectProperty
domain: Payoff Profile
range: Player Payoff Link
definition: Links a payoff profile to individual player-utility mappings.

has player
type: ObjectProperty
definition: Associates a game specification or instance with its players.

has role
type: ObjectProperty
definition: Assigns a role to a player.

has state
type: ObjectProperty
definition: Relates a game instance or specification to a state.

has strategy
type: ObjectProperty
definition: Links a player to their selected or available strategy.

has strategy profile
type: ObjectProperty
definition: Links a game equilibrium to its constituent strategy profile.

has terminal state
type: ObjectProperty
definition: Declares a terminal state.

has transition
type: ObjectProperty
definition: Links states or actions to a transition.

has utility function
type: ObjectProperty
definition: Assigns a utility function to a player role.

identifier
type: DatatypeProperty
range: string
definition: A unique string identifying a game component.

name
type: DatatypeProperty
range: string
definition: The name of a game component.

observes
type: ObjectProperty
definition: Links an agent to an observed signal or state.

participates in
type: ObjectProperty
definition: Associates a player with a game session or specification.

payoff player
type: ObjectProperty
domain: Player Payoff Link
range: Player
definition: Associates the player payoff mapping back to the player.

payoff value
type: DatatypeProperty
range: double
definition: Numeric value of a player's payoff.

probability
type: DatatypeProperty
range: double
definition: Transition or signal probability value (0 to 1).

produces outcome
type: ObjectProperty
definition: Relates actions or states to an outcome.

selects action
type: ObjectProperty
definition: Relates a player or agent to the action they choose.

solved by
type: ObjectProperty
definition: Identifies the solver that calculated the equilibrium.

source reference
type: DatatypeProperty
range: anyURI
definition: URI to external citations or source data.

time index
type: DatatypeProperty
range: integer
definition: Discrete time step identifier.

timestamp
type: DatatypeProperty
range: dateTime
definition: Real-world time log of an event.

transitions from
type: ObjectProperty
definition: Starting state of a transition.

transitions to
type: ObjectProperty
definition: Target state of a transition.

utility value
type: DatatypeProperty
range: double
definition: Calculated utility value of an outcome.

version
type: DatatypeProperty
range: string
definition: Ontology version metadata.

ActionAffordance
type: Class
subclass of: Action
definition: Writable control capabilities exposed by a Digital Twin.

ActionAttribution
type: Class
subclass of: Action
definition: Links an action instance to a signature identity.

ActionSpace
type: Class
subclass of: Action
definition: The set of all possible environment actions.

AgentCapability
type: Class
subclass of: Agent
definition: Declared functionality of an LLM agent.

AgentMessage
type: Class
subclass of: Agent
definition: A structural message emitted by an LLM agent.

AgentProtocolSession
type: Class
subclass of: Agent
definition: A session structured via communication protocols.

AgentRole
type: Class
subclass of: Agent
definition: The strategic contractor accepting terms.

AlgorithmicGame
type: Class
subclass of: Game Specification
definition: A game evaluated under computational complexity metrics.

Algorithmic Solver
type: Class
subclass of: Solver
definition: An algorithmic solver resolving game theoretic equilibrium.

Allocation
type: Class
subclass of: Game Entity
definition: An assignment of goods or resources to agents.

AllocationRule
type: Class
subclass of: Rule
definition: A rule mapping agent reports to an allocation of goods or resources.

ApproximationGuarantee
type: Class
subclass of: Game Entity
definition: The precision bounds of approximate solvers.

AttackVector
type: Class
subclass of: Game Entity
definition: The path selected by the attacker.

Attacker
type: Class
subclass of: Game Entity
definition: The player attacking resources.

Auction
type: Class
subclass of: Game Entity
definition: A mechanism for selling or buying goods via bidding.

AuditEvent
type: Class
subclass of: Game Entity
definition: Log entry reporting compliance violations.

Ballot
type: Class
subclass of: Game Entity
definition: A profile of voter preferences.

BargainingGame
type: Class
subclass of: Game Specification
definition: A cooperative scenario where players negotiate a division of resources.

BargainingProtocol
type: Class
subclass of: Game Entity
definition: Rules defining sequence of offers and counter-offers.

Bargaining Solution
type: Class
label: BargainingSolution
subclass of: Equilibrium
definition: A payoff allocation resolving strategic negotiation.
definition: An equilibrium outcome resolving strategic negotiation.

BehaviouralGame
type: Class
subclass of: Game Specification
definition: A game modeling human-like decisions violating classical rationality.

BeliefHierarchy
type: Class
subclass of: Game Entity
definition: An infinite hierarchy of beliefs about beliefs.

BlockingPair
type: Class
subclass of: Game Entity
definition: A pair of agents who prefer each other to their matches.

BoundedRationalityModel
type: Class
subclass of: Game Entity
definition: Models capturing cognitive resource bounds.

Candidate
type: Class
subclass of: Game Entity
definition: An option or entity being voted on.

CausalGame
type: Class
subclass of: Game Specification
definition: A game specifying causal dependencies between actions and payoffs.

CausalGraph
type: Class
subclass of: Game Entity
definition: A directed acyclic graph representing causal paths.

CausalModel
type: Class
subclass of: Game Entity
definition: A model encapsulating structural causal equations.

CausalPayoffModel
type: Class
subclass of: Game Entity
definition: A causal specification of payoff functions.

Characteristic Function
type: Class
subclass of: Game Entity
definition: A mapping from coalitions to their security payoffs.

Coalition Game
type: Class
subclass of: Cooperative Game
definition: A cooperative game focusing on coalition formations.

CognitiveHierarchyModel
type: Class
subclass of: Game Entity
definition: Model tracking continuous hierarchies of player thinking depth.

CollectiveChoiceArena
type: Class
subclass of: Game Entity
definition: An arena where rules are written or amended.

CommonKnowledge
type: Class
subclass of: Game Entity
definition: A property defining mutual knowledge of all orders.

ComplexityClass
type: Class
subclass of: Game Entity
definition: The complexity classification (e.g. PPAD, NP).

ComplianceState
type: Class
subclass of: State
definition: A state marking compliance with norms.

CompositionalGame
type: Class
subclass of: Game Specification
definition: A composite game formed by monoidal paths.

ComputationalProblem
type: Class
subclass of: Game Entity
definition: A problem computing strategic options.

CondorcetWinner
type: Class
subclass of: Game Entity
definition: A candidate winning majority preferences head-to-head.

CongestionGame
type: Class
subclass of: Game Specification
definition: A game where player payoffs depend on resource load.

ConsentBoundary
type: Class
subclass of: Game Entity
definition: Boundaries limiting LLM agent actions.

ConsentPolicy
type: Class
subclass of: Strategy
definition: Rule specifying agent approval for disclosure.

ConstraintViolation
type: Class
subclass of: Game Entity
definition: Output logs reporting model schema errors.

ContextWindow
type: Class
subclass of: Game Entity
definition: The input history buffer of a language model.

ContinuousTimeGame
type: Class
subclass of: Game Specification
definition: A game modeling continuous state variables and decisions.

Contract
type: Class
subclass of: Game Entity
definition: The binding document detailing incentives.

ContractGame
type: Class
subclass of: Game Specification
definition: A game modeling strategic principal-agent contracts.

ControlVariable
type: Class
subclass of: Game Entity
definition: A decision variable continuously adjusted over time.

Cooperative Game
type: Class
subclass of: Game Specification
definition: A game where players can negotiate binding agreements.

CoplayFunction
type: Class
subclass of: Game Entity
definition: The function implementing game backward utility transfers.

Core Solution
type: Class
subclass of: Equilibrium
definition: A payoff distribution where no coalition has incentive to deviate.

CounterexampleTrace
type: Class
subclass of: Game Entity
definition: A trace refuting a temporal property.

CounterfactualOutcome
type: Class
subclass of: Outcome
definition: An outcome mapping alternate worlds.

CoverageSchedule
type: Class
subclass of: Game Entity
definition: The randomized allocation of defensive resources.

Credential
type: Class
subclass of: Game Entity
definition: Cryptographic authorization ticket.

CyberPhysicalState
type: Class
subclass of: State
definition: The joint physical and digital state configuration.

CyberSecurityGame
type: Class
subclass of: Game Specification
definition: A security game mapping digital network threats.

DEVSAtomicModel
type: Class
subclass of: Game Entity
definition: Discrete Event System specification atomic block.

DEVSCoupledModel
type: Class
subclass of: Game Entity
definition: DEVS block formed by composition.

Defender
type: Class
subclass of: Game Entity
definition: The player defending resources.

DeonticLogicSystem
type: Class
subclass of: Game Entity
definition: A normative system formalizing modalities of obligation, permission, and prohibition.

DeonticModality
type: Class
subclass of: Game Entity
definition: The structural category of the deontic rule.

DifferentialGame
type: Class
subclass of: Game Specification
definition: A game modeled via ordinary differential equations.

DifferentialPrivacyMechanism
type: Class
subclass of: Game Entity
definition: Noise algorithm (Laplace, Gaussian) shielding attributes.

DiffusionGame
type: Class
subclass of: Game Specification
definition: A game modeling information or adoption spread.

DigitalTwin
type: Class
subclass of: Game Entity
definition: The digital replica mapping physical device parameters.

DigitalTwinGame
type: Class
subclass of: Game Specification
definition: A game modeling physical devices via digital replicas.

DirectMechanism
type: Class
subclass of: Game Entity
definition: A mechanism where agents directly report their private types.

DisclosureAction
type: Class
subclass of: Action
definition: Action exposing private attributes.

DisclosurePolicy
type: Class
subclass of: Strategy
definition: Rules defining information disclosure bounds.

DistributionalState
type: Class
subclass of: State
definition: The mathematical distribution of agent characteristics.

DutchAuction
type: Class
subclass of: Game Entity
definition: A descending price auction.

EnforcementMechanism
type: Class
subclass of: Game Entity
definition: A mechanism applying sanctions to rule violations.

EnglishAuction
type: Class
subclass of: Game Entity
definition: An ascending open-cry auction.

EnvyFreeAllocation
type: Class
subclass of: Game Entity
definition: An allocation where no agent prefers another's bundle.

EpistemicGame
type: Class
subclass of: Game Specification
definition: A game formalizing beliefs and common knowledge.

EquilibriumComputationProblem
type: Class
subclass of: Equilibrium
definition: The specific task of finding game equilibria.

EquilibriumPredicate
type: Class
subclass of: Equilibrium
definition: Predicate defining local equilibrium conditions.

EventAffordance
type: Class
subclass of: Game Entity
definition: Unsolicited notification streams emitted by a Digital Twin.

EvolutionarilyStableStrategy
type: Class
subclass of: Game Entity
definition: A strategy resistant to mutation invasion.

EvolutionaryGame
type: Class
subclass of: Game Specification
definition: A game modeling biological or social strategy evolution.

ExecutableGameGraph
type: Class
subclass of: Game Specification
definition: A knowledge graph containing executable semantic rules.

ExecutionBinding
type: Class
subclass of: Game Entity
definition: Mappers mapping ontology elements to software execution objects.

ExperimentalProtocol
type: Class
subclass of: Game Entity
definition: The laboratory setup instructions testing behavioural choices.

ExploitabilityMetric
type: Class
subclass of: Game Entity
definition: Metric tracking how close a joint policy is to a Nash equilibrium.

FairnessCriterion
type: Class
subclass of: Game Entity
definition: A metric assessing fairness properties of allocations.

FairnessPreference
type: Class
subclass of: Game Entity
definition: Preferences incorporating inequity aversion.

Federate
type: Class
subclass of: Game Entity
definition: An HLA distributed simulation execution node.

FederationObjectModel
type: Class
subclass of: Game Entity
definition: HLA simulation protocol catalog (FOM).

FictitiousPlay
type: Class
subclass of: Game Entity
definition: A learning process where players best-respond to empirical strategy distributions of opponents.

FirstPriceAuction
type: Class
subclass of: Game Entity
definition: An auction where the highest bidder wins and pays their bid.

FitnessFunction
type: Class
subclass of: Game Entity
definition: A function mapping strategy outcomes to biological reproductive success.

GDLGame
type: Class
subclass of: Game Specification
definition: A game defined using GDL syntax.

GDLII Game
type: Class
subclass of: Game Specification
definition: A game defined using GDL-II (imperfect information).

GameDescriptionLanguage
type: Class
subclass of: Game Specification
definition: The description language vocabulary (GDL).

GoalRule
type: Class
subclass of: Rule
definition: Rules defining player score achievements.

GovernanceMechanism
type: Class
subclass of: Game Entity
definition: A system overseeing rule compliance.

GraphPlayer
type: Class
subclass of: Game Entity
definition: A node in a network game.

Hamiltonian
type: Class
subclass of: Game Entity
definition: The mathematical function modeling optimal control paths.

HiddenAction
type: Class
subclass of: Action
definition: An action unobserved by the principal (moral hazard).

HiddenInformation
type: Class
subclass of: Game Entity
definition: A type unobserved by the principal (adverse selection).

HybridGame
type: Class
subclass of: Game Specification
definition: A game combining continuous dynamics and discrete mode transitions.

IdentityClaim
type: Class
subclass of: Game Entity
definition: Declared cryptographic identifier of an agent.

IncentiveCompatibilityConstraint
type: Class
subclass of: Game Entity
definition: A constraint ensuring truthful reporting is a Nash equilibrium.

IncentiveScheme
type: Class
subclass of: Game Entity
definition: A system tying payments to performance indicators.

IndividualRationalityConstraint
type: Class
subclass of: Game Entity
definition: A constraint ensuring voluntary participation yields non-negative utility.

InfluenceGame
type: Class
subclass of: Game Specification
definition: A game modeling strategy pressure from peers.

InformationDesignGame
type: Class
subclass of: Game Specification
definition: A game modeling how information is formatted and disclosed.

InformationDesigner
type: Class
subclass of: Game Entity
definition: An agent (sender) committing to a signal structure.

InformationLeakage
type: Class
subclass of: Game Entity
definition: Calculated index of disclosure levels.

Institution
type: Class
subclass of: Game Entity
definition: A set of formal or informal rules structure.

InstitutionalEconomicsGame
type: Class
subclass of: Game Specification
definition: A game modeling transactions, property rights, and governance.

InstitutionalRule
type: Class
subclass of: Rule
definition: A rule defined by an institution.

InteractionAffordance
type: Class
subclass of: Game Entity
subclass of: InteractionAffordance
definition: Action capabilities exposed by a Digital Twin.

Intervention
type: Class
subclass of: Game Entity
definition: An active manipulation of a causal variable (do-calculus).

IsaacsCondition
type: Class
subclass of: Game Entity
definition: Conditions matching saddle point existence in differential play.

JointPolicy
type: Class
subclass of: Strategy
definition: A combination of policies for all agents in a MARL system.

KalaiSmorodinskySolution
type: Class
subclass of: Equilibrium
definition: A bargaining solution maintaining utility ratios relative to ideal options.

LLMAgent
type: Class
subclass of: Agent
definition: A language model agent behaving strategically.

LLMInteractionGame
type: Class
subclass of: Game Specification
definition: A game modeling interactions among language models.

LatencyFunction
type: Class
subclass of: Game Entity
definition: A function mapping resource load to latency costs.

LearningAlgorithm
type: Class
subclass of: Game Entity
definition: An algorithm (e.g. Q-learning, PPO) updating policy parameters.

LearningProcess
type: Class
subclass of: Game Entity
definition: An iterative process of strategy updates in repeated play.

LegalMoveRule
type: Class
subclass of: Rule
definition: Rules defining valid moves.

Lens
type: Class
subclass of: Game Entity
definition: A bidirectional mapping transferring play and coplay parameters.

LevelKModel
type: Class
subclass of: Game Entity
definition: Model tracking hierarchies of step-by-step thinking.

LivenessProperty
type: Class
subclass of: Game Entity
definition: A property checking that a good state is eventually reached.

LocalInteraction
type: Class
subclass of: Game Entity
definition: A local game specification among neighboring players.

LudiiGame
type: Class
subclass of: Game Specification
definition: A game defined using the Ludii system format.

ManipulationProblem
type: Class
subclass of: Game Entity
definition: A problem evaluating strategic voter manipulation.

Marking
type: Class
subclass of: Game Entity
definition: The state vector of token locations across places.

MarkovGame
type: Class
subclass of: Game Specification
definition: A multi-agent extension of Markov Decision Processes.

Matching
type: Class
subclass of: Game Entity
definition: A mapping of agents on one side of the market to another.

MatchingMarket
type: Class
subclass of: Game Entity
definition: A market matching demand and supply agents.

MeanFieldEquilibrium
type: Class
subclass of: Equilibrium
definition: The fixed point of population dynamics and agent policies.

MeanFieldGame
type: Class
subclass of: Game Specification
definition: A game modeling interactions in infinite agent populations.

Mechanism
type: Class
subclass of: Game Entity
definition: A system specifying rules for mapping agent messages to allocations and payments.

MemoryState
type: Class
subclass of: State
definition: Stored variables representing conversational history.

ModelCheckingTask
type: Class
subclass of: Game Entity
definition: A model verification execution run.

MonitoringTechnology
type: Class
subclass of: Game Entity
definition: A mechanism observing indicators.

MonoidalComposition
type: Class
subclass of: Game Entity
definition: The compositional operator combining games.

MultiAgentEnvironment
type: Class
subclass of: Agent
definition: The simulator environment containing states and transition dynamics.

MutationOperator
type: Class
subclass of: Game Entity
definition: Rules specifying strategy mutation rates.

NashBargainingSolution
type: Class
subclass of: Equilibrium
definition: A bargaining solution maximizing the product of utilities.

NeighborSet
type: Class
subclass of: Game Entity
definition: The set of immediate neighbors of a graph node.

NetworkEdge
type: Class
subclass of: Game Entity
definition: A connection linking players in the network.

NetworkFlow
type: Class
subclass of: Game Entity
definition: The distribution of player routes in a network.

NetworkGame
type: Class
subclass of: Game Specification
definition: A game played over a social or physical network graph.

Non-Transferable Utility Game
type: Class
subclass of: Cooperative Game
definition: A cooperative game where payoffs cannot be transferred.

Norm
type: Class
subclass of: Game Entity
definition: A norm rule containing deontic modalities.

Obligation
type: Class
subclass of: Game Entity
definition: A deontic state requiring specific action.

ObservationSpace
type: Class
subclass of: Game Entity
definition: The set of all possible environment observations.

OpenGame
type: Class
subclass of: OpenGame
subclass of: Game Specification
definition: A game block that can compose with other games.

ParticipationConstraint
type: Class
subclass of: Game Entity
definition: Condition ensuring the agent accepts the contract.

PaymentRule
type: Class
subclass of: Rule
definition: A rule mapping agent reports to payments required from agents.

Permission
type: Class
subclass of: Game Entity
definition: A deontic state allowing specific action.

PersuasionMechanism
type: Class
subclass of: Game Entity
definition: A mechanism modeling Bayesian persuasion.

PetriNet
type: Class
subclass of: Game Entity
definition: The discrete-event bipartite graph representation.

PetriNetGame
type: Class
subclass of: Game Specification
definition: A game modeled using Petri Net structures.

Place
type: Class
subclass of: Game Entity
definition: Graph node representing local states or resources.

PlayFunction
type: Class
subclass of: Game Entity
definition: The function implementing game forward execution.

Policy
type: Class
subclass of: Strategy
definition: A mapping from observations to actions for a single MARL agent.

Population
type: Class
subclass of: Game Entity
definition: The group of agents evolving strategies.

PopulationPolicy
type: Class
subclass of: Strategy
definition: The generalized strategy profile of the population.

PopulationState
type: Class
subclass of: State
definition: A continuous distribution of players across states.

PosteriorBelief
type: Class
subclass of: Game Entity
definition: A receiver belief updating after signals.

PotentialGame
type: Class
subclass of: Game Specification
definition: A game possessing a global potential function.

PreferenceProfile
type: Class
subclass of: Game Entity
definition: The collected preferences of all voters.

PriceOfAnarchy
type: Class
subclass of: Game Entity
definition: The ratio of worst-case Nash utility to social optimum.

PriceOfStability
type: Class
subclass of: Game Entity
definition: The ratio of best-case Nash utility to social optimum.

Principal
type: Class
subclass of: Game Entity
definition: The contract designer offering terms.

PrincipalAgentGame
type: Class
subclass of: Game Specification
definition: A game with hidden action or hidden information.

PrivacyBudget
type: Class
subclass of: Game Entity
definition: Numeric index tracking epsilon differential privacy bounds.

PrivateAttribute
type: Class
subclass of: Game Entity
definition: Data field subject to disclosure protection.

PrivateSignal
type: Class
subclass of: Game Entity
definition: A private information signal.

Prohibition
type: Class
subclass of: Game Entity
definition: A deontic state forbidding specific action.

PromptState
type: Class
subclass of: State
definition: The context input prompt representing agent context.

PropertyAffordance
type: Class
subclass of: Game Entity
definition: Read-only attributes exposed by a Digital Twin.

PropertyRight
type: Class
subclass of: Game Entity
definition: Rules mapping ownership of game assets.

ProportionalAllocation
type: Class
subclass of: Game Entity
definition: An allocation giving each agent their fair share.

ProtocolBinding
type: Class
subclass of: Game Entity
definition: Network connection settings (HTTP, MQTT).

ProvenanceTrace
type: Class
subclass of: Game Entity
definition: Lineage records tracking action histories (PROV).

QLearning
type: Class
subclass of: Game Entity
definition: A reinforcement learning process updating action-value estimates.

QuantalResponseEquilibrium
type: Class
subclass of: Equilibrium
definition: Equilibrium incorporating logit decision noise.

Rationalizability
type: Class
subclass of: Game Entity
definition: The set of actions surviving iterated dominance under beliefs.

ReachabilityProperty
type: Class
subclass of: Game Entity
definition: A property checking if a state is reachable.

ReceiverBelief
type: Class
subclass of: Game Entity
definition: The belief state of the target audience.

RegretMatching
type: Class
subclass of: Game Entity
definition: A learning process updating actions based on cumulative regrets.

RegretMetric
type: Class
subclass of: Game Entity
definition: Metric tracking the difference between actual and optimal decisions.

ReplicatorDynamic
type: Class
subclass of: Game Entity
definition: Differential equations mapping strategy population shares over time.

ReplicatorLearning
type: Class
subclass of: Game Entity
definition: An evolutionary learning process modeling relative success.

RepresentativeAgent
type: Class
subclass of: Agent
definition: An agent representing average player dynamics.

ReputationScore
type: Class
subclass of: Game Entity
definition: Models statistical estimation of agent trustworthiness.

Resource
type: Class
subclass of: Game Entity
definition: An asset consumed or shared by players.

ResourceEdge
type: Class
subclass of: Game Entity
definition: A network edge segment acting as a congestion resource.

RewardFunction
type: Class
subclass of: Game Entity
definition: A function returning rewards based on joint actions and states.

RoutingGame
type: Class
subclass of: Game Specification
definition: A congestion game played over a network flow path.

RuleEncodedGame
type: Class
subclass of: Game Specification
definition: A game completely defined by syntax rules.

RulePredicate
type: Class
subclass of: Rule
definition: A logical statement in a rule model.

RuntimeBinding
type: Class
subclass of: Game Entity
definition: Bindings linking parameters to live environments.

SPARQLExecutionQuery
type: Class
subclass of: Game Entity
definition: SPARQL statement executing model updates.

SafetyProperty
type: Class
subclass of: Game Entity
definition: A property checking that a bad state is never reached.

Sanction
type: Class
subclass of: Game Entity
definition: A punishment applied to violations.

SecondPriceAuction
type: Class
subclass of: Game Entity
definition: An auction where the highest bidder wins and pays the second-highest bid.

SecurityGame
type: Class
subclass of: Game Specification
definition: A game modeling strategic defense and attacks.

SelfPlay
type: Class
subclass of: Game Entity
definition: A training protocol where agents learn by playing copies of themselves.

Shapley Value
type: Class
subclass of: Equilibrium
definition: A unique distribution of cooperative surplus based on marginal contributions.

SignalStructure
type: Class
subclass of: Game Entity
definition: A mapping from state of nature to signals.

SimulationBinding
type: Class
subclass of: Game Entity
definition: Bindings linking model nodes to DEVS/HLA simulators.

SocialChoiceFunction
type: Class
subclass of: Game Entity
definition: A mapping from voting profiles to selections.

SolverBinding
type: Class
subclass of: Game Entity
definition: Bindings linking model nodes to optimization engines.

StableMatching
type: Class
subclass of: Game Entity
definition: A matching without blocking pairs.

StackelbergSecurityGame
type: Class
subclass of: Game Specification
definition: A security game where defender commits first.

StateEquation
type: Class
subclass of: State
definition: A differential equation defining state updates.

StochasticDifferentialGame
type: Class
subclass of: Game Specification
definition: A differential game incorporating stochastic noise.

StrategicFormula
type: Class
subclass of: Game Entity
definition: A temporal logic formula mapping strategy requirements.

StrategyLens
type: Class
subclass of: Game Entity
definition: A lens translating strategy parameters.

StructuralEquation
type: Class
subclass of: Game Entity
definition: An equation mapping endogenous variables to exogenous factors.

Target
type: Class
subclass of: Game Entity
definition: The target resource with defense payoffs.

TemporalProperty
type: Class
subclass of: Game Entity
definition: Properties modeling time dimensions (CTL, ATL).

TerminalRule
type: Class
subclass of: Rule
definition: Rules defining final states.

Thing
type: Class
subclass of: Game Entity
subclass of: Thing
definition: The physical device or asset counterpart.

ThreatModel
type: Class
subclass of: Game Entity
definition: Specifies adversary capabilities.

Token
type: Class
subclass of: Game Entity
definition: Marking entities residing in places.

ToolInvocation
type: Class
subclass of: Game Entity
definition: An agent action invoking external APIs.

TransactionCost
type: Class
subclass of: Game Entity
definition: Utility costs associated with trade execution.

Transferable Utility Game
type: Class
subclass of: Cooperative Game
definition: A cooperative game where players can freely transfer utility values.

TransitionNode
type: Class
subclass of: Game Entity
definition: Graph node representing event transitions.

TransitionRule
type: Class
subclass of: Rule
definition: Rules mapping action configurations to next states.

TrustRelation
type: Class
subclass of: Game Entity
definition: Models relative trust parameters among agents.

Type
type: Class
subclass of: Game Entity
definition: An agent type representing beliefs and preferences.

TypeSpace
type: Class
subclass of: Game Entity
definition: A space grouping player types.

ValidationShape
type: Class
subclass of: Game Entity
definition: SHACL validation schema applied at runtime.

VerificationGame
type: Class
subclass of: Game Specification
definition: A game modeling formal specification checks.

VickreyAuction
type: Class
subclass of: Game Entity
definition: A sealed-bid second-price auction.

Violation
type: Class
subclass of: Game Entity
definition: An event trace marking rule breach.

Voter
type: Class
subclass of: Game Entity
definition: A player expressing choices over candidates.

VotingGame
type: Class
subclass of: Game Specification
definition: A game representing voting procedures and aggregation.

VotingRule
type: Class
subclass of: Rule
definition: The formal algorithm aggregation of ballots.

WardropEquilibrium
type: Class
subclass of: Equilibrium
definition: The network equilibrium condition where route costs equalize.

WitnessStrategy
type: Class
subclass of: Game Entity
definition: A strategy proving a temporal property.

capacityValue
type: DatatypeProperty
domain: Resource
range: double
definition: Numeric capacity maximum limit.

coalition value value
type: DatatypeProperty
domain: Characteristic Function
range: double
definition: Numerical value associated with a coalition.

cognitiveLevel
type: DatatypeProperty
domain: Player
range: integer
definition: Integer level parameter in Level-K models.

concessionRate
type: DatatypeProperty
domain: BargainingGame
range: double
definition: Numeric rate at which players concede during bargaining.

costValue
type: DatatypeProperty
domain: TransactionCost
range: double
definition: Numeric transaction cost values.

degreeValue
type: DatatypeProperty
domain: GraphPlayer
range: integer
definition: Numeric property representing number of graph edges.

densityValue
type: DatatypeProperty
domain: PopulationState
range: double
definition: Numeric population density value.

disagreementPoint
type: DatatypeProperty
domain: BargainingGame
range: double
definition: Assigns a utility value representing the outcome of negotiation failure.

discountFactor
type: DatatypeProperty
domain: LearningProcess
range: double
definition: Temporal discount factor for future rewards.

driftRate
type: DatatypeProperty
domain: StateEquation
range: double
definition: Numeric drift value.

entropyValue
type: DatatypeProperty
domain: SignalStructure
range: double
definition: Numeric information metric value.

epsilonValue
type: DatatypeProperty
domain: PrivacyBudget
range: double
definition: Numeric epsilon privacy parameter value.

explorationRate
type: DatatypeProperty
domain: LearningProcess
range: double
definition: Epsilon probability of random exploration.

formulaString
type: DatatypeProperty
domain: StrategicFormula
range: string
definition: Syntax string of the formula.

hasActionSpace
type: ObjectProperty
domain: Agent
range: ActionSpace
definition: Links an agent to their action space.

hasAffordance
type: ObjectProperty
domain: DigitalTwin
range: InteractionAffordance
definition: Links a digital twin to affordances.

hasAgentRole
type: ObjectProperty
domain: ContractGame
range: AgentRole
definition: Links a game to its agent role.

hasAllocation
type: ObjectProperty
domain: MatchingMarket
range: Allocation
definition: Links a market to allocations.

hasAllocationRule
type: ObjectProperty
domain: Mechanism
range: AllocationRule
definition: Links a mechanism to its allocation rule.

hasAttacker
type: ObjectProperty
domain: SecurityGame
range: Attacker
definition: Links a security game to its attacker.

hasBallot
type: ObjectProperty
domain: Voter
range: Ballot
definition: Links a voter to their ballot.

hasBargainingProtocol
type: ObjectProperty
domain: BargainingGame
range: BargainingProtocol
definition: Links a game to its negotiation protocol.

hasBargainingSolution
type: ObjectProperty
domain: BargainingGame
range: Bargaining Solution
definition: Assigns a bargaining solution to a bargaining problem.

hasBeliefHierarchy
type: ObjectProperty
domain: Type
range: BeliefHierarchy
definition: Links a type to its belief hierarchy.

hasBiddingRule
type: ObjectProperty
domain: Auction
range: Rule
definition: Rules defining valid bids.

hasBlockingPair
type: ObjectProperty
domain: Matching
range: BlockingPair
definition: Links a matching to its blocking pairs.

hasBoundedModel
type: ObjectProperty
domain: Player
range: BoundedRationalityModel
definition: Links a player to bounded models.

hasCandidate
type: ObjectProperty
domain: VotingGame
range: Candidate
definition: Links a voting game to options.

hasCausalGraph
type: ObjectProperty
domain: CausalModel
range: CausalGraph
definition: Links a causal model to its DAG graph.

hasCausalModel
type: ObjectProperty
domain: CausalGame
range: CausalModel
definition: Links a game to its structural causal model.

has characteristic function
type: ObjectProperty
domain: Cooperative Game
range: Characteristic Function
definition: Links cooperative game to its characteristic function.

has coalition
type: ObjectProperty
domain: Cooperative Game
range: Coalition
definition: Links a game to active coalitions.

hasComplexityClass
type: ObjectProperty
domain: EquilibriumComputationProblem
range: ComplexityClass
definition: Links computation to complexity classes.

hasComposition
type: ObjectProperty
domain: CompositionalGame
range: MonoidalComposition
definition: Links composite games to elements.

hasConsentBoundary
type: ObjectProperty
domain: ToolInvocation
range: ConsentBoundary
definition: Links tool calls to boundaries.

hasConsentPolicy
type: ObjectProperty
domain: DisclosureAction
range: ConsentPolicy
definition: Links disclosure actions to policies.

hasContract
type: ObjectProperty
domain: ContractGame
range: Contract
definition: Links a principal-agent game to its contract.

hasControlVariable
type: ObjectProperty
domain: Player
range: ControlVariable
definition: Links a player to their control variables.

hasCoplayFunction
type: ObjectProperty
domain: OpenGame
range: CoplayFunction
definition: Links an open game to backward functions.

has core solution
type: ObjectProperty
domain: Cooperative Game
range: Core Solution
definition: Links a cooperative game to its core solutions.

hasCounterexample
type: ObjectProperty
domain: ModelCheckingTask
range: CounterexampleTrace
definition: Links task run to counterexamples.

hasCounterfactualOutcome
type: ObjectProperty
domain: Play Session
range: CounterfactualOutcome
definition: Links a session to hypothetical outcomes.

hasCoverageSchedule
type: ObjectProperty
domain: Defender
range: CoverageSchedule
definition: Links defender to a schedule.

hasCredential
type: ObjectProperty
domain: Player
range: Credential
definition: Links a player to credentials.

hasDPMechanism
type: ObjectProperty
domain: DisclosureAction
range: DifferentialPrivacyMechanism
definition: Links disclosure to DP mechanisms.

hasDefender
type: ObjectProperty
domain: SecurityGame
range: Defender
definition: Links a security game to its defender.

hasDesigner
type: ObjectProperty
domain: InformationDesignGame
range: InformationDesigner
definition: Links information design to its designer.

hasDigitalTwin
type: ObjectProperty
domain: DigitalTwinGame
range: DigitalTwin
definition: Links a game to its digital twins.

hasDisclosurePolicy
type: ObjectProperty
domain: InformationDesignGame
range: DisclosurePolicy
definition: Links design to policies.

hasDistributionalState
type: ObjectProperty
domain: PopulationState
range: DistributionalState
definition: Links a population state to distributions.

hasESS
type: ObjectProperty
domain: EvolutionaryGame
range: EvolutionarilyStableStrategy
definition: Links an evolutionary game to its stable strategies.

hasEnforcementMechanism
type: ObjectProperty
domain: Institution
range: EnforcementMechanism
definition: Links an institution to enforcement.

hasEquilibriumPredicate
type: ObjectProperty
domain: OpenGame
range: EquilibriumPredicate
definition: Links an open game to its local equilibria.

hasExecutionBinding
type: ObjectProperty
domain: ExecutableGameGraph
range: ExecutionBinding
definition: Links an executable graph to execution mappings.

hasFitnessFunction
type: ObjectProperty
domain: Population
range: FitnessFunction
definition: Links a population to its fitness model.

hasFormula
type: ObjectProperty
domain: ModelCheckingTask
range: StrategicFormula
definition: Links a model checker to formulas.

hasGDLDescription
type: DatatypeProperty
domain: RuleEncodedGame
range: string
definition: Links a game to GDL script content.

hasGoalRule
type: ObjectProperty
domain: RuleEncodedGame
range: GoalRule
definition: Links a game to goal rules.

hasGraphPlayer
type: ObjectProperty
domain: NetworkGame
range: GraphPlayer
definition: Links a network game to its player nodes.

hasHamiltonian
type: ObjectProperty
domain: ContinuousTimeGame
range: Hamiltonian
definition: Links state analysis to its Hamiltonian.

hasHighestBidder
type: ObjectProperty
domain: Auction
range: Player
definition: Identifies the highest bidder in an auction.

hasIdentityClaim
type: ObjectProperty
domain: Player
range: IdentityClaim
definition: Links a player to identity claims.

hasIncentiveConstraint
type: ObjectProperty
domain: Mechanism
range: IncentiveCompatibilityConstraint
definition: Links a mechanism to incentive constraints.

hasIncentiveScheme
type: ObjectProperty
domain: Contract
range: IncentiveScheme
definition: Links a contract to incentives.

hasInstitution
type: ObjectProperty
domain: InstitutionalEconomicsGame
range: Institution
definition: Links a game to governing institutions.

hasIntervention
type: ObjectProperty
domain: Play Session
range: Intervention
definition: Links a session to an intervention.

hasLatencyFunction
type: ObjectProperty
domain: Resource
range: LatencyFunction
definition: Links a resource to latency functions.

hasLearningAlgorithm
type: ObjectProperty
domain: MultiAgentEnvironment
range: LearningAlgorithm
definition: Links a training run to its algorithm.

hasLearningProcess
type: ObjectProperty
domain: Play Session
range: LearningProcess
definition: Links a game session to its learning process.

hasLegalMoveRule
type: ObjectProperty
domain: RuleEncodedGame
range: LegalMoveRule
definition: Links a game to move rules.

hasLens
type: ObjectProperty
domain: OpenGame
range: Lens
definition: Links an open game to its lens.

hasLocalInteraction
type: ObjectProperty
domain: GraphPlayer
range: LocalInteraction
definition: Links a player node to local games.

hasMarking
type: ObjectProperty
domain: PetriNet
range: Marking
definition: Links a net model to its current marking state.

hasMatching
type: ObjectProperty
domain: MatchingMarket
range: Matching
definition: Links a market to matching assignments.

hasMatchingMarket
type: ObjectProperty
domain: Play Session
range: MatchingMarket
definition: Links a session to a market.

hasMeanFieldEquilibrium
type: ObjectProperty
domain: MeanFieldGame
range: MeanFieldEquilibrium
definition: Links a game to its equilibria.

hasMemoryState
type: ObjectProperty
domain: LLMAgent
range: MemoryState
definition: Links an LLM agent to memory.

hasMutationOperator
type: ObjectProperty
domain: Population
range: MutationOperator
definition: Links a population to mutation rates.

hasNegotiator
type: ObjectProperty
domain: BargainingGame
range: Player
definition: Identifies negotiators involved.

hasNeighborSet
type: ObjectProperty
domain: GraphPlayer
range: NeighborSet
definition: Links a node to neighbors.

hasNetworkEdge
type: ObjectProperty
domain: NetworkGame
range: NetworkEdge
definition: Links a network game to its structural edges.

hasNetworkFlow
type: ObjectProperty
domain: RoutingGame
range: NetworkFlow
definition: Links a routing game to flows.

hasObligation
type: ObjectProperty
domain: ComplianceState
range: Obligation
definition: Links a compliance state to obligations.

hasObservationSpace
type: ObjectProperty
domain: MultiAgentEnvironment
range: ObservationSpace
definition: Links an environment to its observation space.

hasParticipationConstraint
type: ObjectProperty
domain: Mechanism
range: IndividualRationalityConstraint
definition: Links a mechanism to participation constraints.

hasPaymentRule
type: ObjectProperty
domain: Mechanism
range: PaymentRule
definition: Links a mechanism to its payment rule.

hasPermission
type: ObjectProperty
domain: ComplianceState
range: Permission
definition: Links a compliance state to permissions.

hasPetriNet
type: ObjectProperty
domain: PetriNetGame
range: PetriNet
definition: Links a Petri Net game to its net model.

hasPhysicalThing
type: ObjectProperty
domain: DigitalTwin
range: Thing
definition: Links a digital twin to its physical source.

hasPlace
type: ObjectProperty
domain: PetriNet
range: Place
definition: Links a net model to places.

hasPlayFunction
type: ObjectProperty
domain: OpenGame
range: PlayFunction
definition: Links an open game to forward play functions.

hasPolicy
type: ObjectProperty
domain: Agent
range: Policy
definition: Links an agent to their current policy.

hasPopulation
type: ObjectProperty
domain: EvolutionaryGame
range: Population
definition: Links an evolutionary game to its populations.

hasPopulationState
type: ObjectProperty
domain: MeanFieldGame
range: PopulationState
definition: Links a game to population states.

hasPosteriorBelief
type: ObjectProperty
domain: Player
range: PosteriorBelief
definition: Links a receiver to their posterior belief.

hasPriceOfAnarchy
type: ObjectProperty
domain: AlgorithmicGame
range: PriceOfAnarchy
definition: Links a game to its anarchy index.

hasPriceOfStability
type: ObjectProperty
domain: AlgorithmicGame
range: PriceOfStability
definition: Links a game to its stability index.

hasPrincipal
type: ObjectProperty
domain: ContractGame
range: Principal
definition: Links a game to its principal.

hasPrivacyBudget
type: ObjectProperty
domain: Player
range: PrivacyBudget
definition: Links an agent to their privacy budget.

hasPrivateAttribute
type: ObjectProperty
domain: Player
range: PrivateAttribute
definition: Links an agent to private attributes.

hasPrivateSignal
type: ObjectProperty
domain: Type
range: PrivateSignal
definition: Links a player type to signals.

hasProhibition
type: ObjectProperty
domain: ComplianceState
range: Prohibition
definition: Links a compliance state to prohibitions.

hasPromptState
type: ObjectProperty
domain: LLMAgent
range: PromptState
definition: Links an LLM agent to prompt states.

hasPropertyRight
type: ObjectProperty
domain: Player
range: PropertyRight
definition: Links a player to their assets.

hasProtocolBinding
type: ObjectProperty
domain: InteractionAffordance
range: ProtocolBinding
definition: Links affordances to protocols.

hasProvenanceTrace
type: ObjectProperty
domain: Play Session
range: ProvenanceTrace
definition: Links a session to lineage logs.

hasQRE
type: ObjectProperty
domain: BehaviouralGame
range: QuantalResponseEquilibrium
definition: Links a game to QRE profiles.

hasQTable
type: ObjectProperty
domain: LearningProcess
range: State
definition: Identifies value state tables.

hasReplicatorDynamic
type: ObjectProperty
domain: Population
range: ReplicatorDynamic
definition: Links a population to its replicator equations.

hasRepresentativeAgent
type: ObjectProperty
domain: MeanFieldGame
range: RepresentativeAgent
definition: Links a game to its representative agent.

hasReputationScore
type: ObjectProperty
domain: Player
range: ReputationScore
definition: Links a player to their score.

hasReservePrice
type: DatatypeProperty
domain: Auction
range: double
definition: Declares the reserve price of an auction.

hasResource
type: ObjectProperty
domain: CongestionGame
range: Resource
definition: Links a congestion game to its resources.

hasRulePredicate
type: ObjectProperty
domain: RuleEncodedGame
range: RulePredicate
definition: Links rules to GDL predicates.

hasRuntimeBinding
type: ObjectProperty
domain: ExecutionBinding
range: RuntimeBinding
definition: Links a mapping to runtime bindings.

hasSanction
type: ObjectProperty
domain: Violation
range: Sanction
definition: Links a violation to sanctions.

hasSecondHighestBid
type: DatatypeProperty
domain: Auction
range: double
definition: Identifies the second highest bid amount.

has Shapley value
type: ObjectProperty
domain: Cooperative Game
range: Shapley Value
definition: Assigns a Shapley value profile.

hasSignalStructure
type: ObjectProperty
domain: InformationDesignGame
range: SignalStructure
definition: Links design to signal structures.

hasSimulationBinding
type: ObjectProperty
domain: ExecutionBinding
range: SimulationBinding
definition: Links a mapping to simulators.

hasSocialChoiceFunction
type: ObjectProperty
domain: VotingGame
range: SocialChoiceFunction
definition: Links a voting game to aggregation functions.

hasSolverBinding
type: ObjectProperty
domain: ExecutionBinding
range: SolverBinding
definition: Links a mapping to optimization bindings.

hasStateEquation
type: ObjectProperty
domain: ContinuousTimeGame
range: StateEquation
definition: Links a game to its dynamics equations.

hasStructuralEquation
type: ObjectProperty
domain: CausalModel
range: StructuralEquation
definition: Links a model to equations.

hasTarget
type: ObjectProperty
domain: SecurityGame
range: Target
definition: Links a security game to target nodes.

hasTerminalRule
type: ObjectProperty
domain: RuleEncodedGame
range: TerminalRule
definition: Links a game to terminal rules.

hasToolInvocation
type: ObjectProperty
domain: AgentMessage
range: ToolInvocation
definition: Links an agent message to tool calls.

hasTransactionCost
type: ObjectProperty
domain: GameInstance
range: TransactionCost
definition: Links a trade to its cost.

hasTransitionNode
type: ObjectProperty
domain: PetriNet
range: TransitionNode
definition: Links a net model to transition nodes.

hasType
type: ObjectProperty
domain: Player
range: Type
definition: Links a player to a type space type.

hasTypeSpace
type: ObjectProperty
domain: EpistemicGame
range: TypeSpace
definition: Links an epistemic game to type spaces.

hasVoter
type: ObjectProperty
domain: VotingGame
range: Voter
definition: Links a voting game to its voters.

hasWardropEquilibrium
type: ObjectProperty
domain: RoutingGame
range: WardropEquilibrium
definition: Links a routing game to its equilibria.

hasWinningBid
type: DatatypeProperty
domain: Auction
range: double
definition: Identifies the winning bid amount.

hasWitnessStrategy
type: ObjectProperty
domain: ModelCheckingTask
range: WitnessStrategy
definition: Links task run to witness strategies.

inequityAversionAlpha
type: DatatypeProperty
domain: FairnessPreference
range: double
definition: Alpha parameter representing envy preferences.

isCompliant
type: DatatypeProperty
domain: ComplianceState
range: boolean
definition: Boolean mapping compliance.

isVerified
type: DatatypeProperty
domain: ModelCheckingTask
range: boolean
definition: Boolean flag indicating validation success.

learningRate
type: DatatypeProperty
domain: LearningProcess
range: double
definition: Numeric rate parameter for parameter updates.

poaValue
type: DatatypeProperty
domain: PriceOfAnarchy
range: double
definition: Numeric POA ratio value.

posValue
type: DatatypeProperty
domain: PriceOfStability
range: double
definition: Numeric POS ratio value.

queryText
type: DatatypeProperty
domain: SPARQLExecutionQuery
range: string
definition: Syntax string of the execution query.

rationalityParameter
type: DatatypeProperty
domain: BoundedRationalityModel
range: double
definition: Lambda value representing decision noise scaling.

rationalizableActions
type: ObjectProperty
domain: Type
range: Action
definition: Links types to actions.

regretValue
type: DatatypeProperty
domain: RegretMetric
range: double
definition: Numeric value tracking cumulative regret.

revenueValue
type: DatatypeProperty
domain: Mechanism
range: double
definition: Numeric property representing expected mechanism revenue.

samplingInterval
type: DatatypeProperty
domain: DigitalTwin
range: double
definition: Numeric monitoring refresh interval.

scoreValue
type: DatatypeProperty
domain: ReputationScore
range: double
definition: Numeric score estimate between 0 and 1.

temperatureValue
type: DatatypeProperty
domain: LLMAgent
range: double
definition: Numeric temperature configuration.

threatScore
type: DatatypeProperty
domain: Target
range: double
definition: Numeric value estimating target threat.

timeHorizon
type: DatatypeProperty
domain: ContinuousTimeGame
range: double
definition: Numeric maximum continuous time index.

tokenCount
type: DatatypeProperty
domain: Place
range: integer
definition: Integer number of tokens in a place.

valuationValue
type: DatatypeProperty
domain: Allocation
range: double
definition: Numeric valuation assigned to an allocation.

voteCount
type: DatatypeProperty
domain: Candidate
range: integer
definition: Integer number of votes counted.

wageValue
type: DatatypeProperty
domain: IncentiveScheme
range: double
definition: Numeric property representing agent payments.