ended at time

• CURIE: gmeow:endedAtTime
• IRI: https://blackcatinformatics.ca/gmeow/endedAtTime
• Category: property
• Defined by: gmeow:slices/temporal

The instant at which a time interval ends; absent if the interval is still open.

Structure

Property shape: datatype property; gmeow:TimeInterval -> xsd:dateTime; functional

Practical Pattern

Use gmeow:endedAtTime from gmeow:TimeInterval to xsd:dateTime when the relationship itself belongs in the native GMEOW graph.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Belief Revision

• Source: slices/core/inference/examples/belief-revision.ttl
• Examples catalog: open in catalog#example-slices-core-inference-examples-belief-revision

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — BELIEF REVISION as SUPPRESSION (Principle 10), the headline.
#
# An agent inductively concluded "the printer is broken" from "it did not print".
# Later a defeater arrives — "the document was never sent to the queue" — an
# UNDERCUTTING defeater (Pollock): it does not assert the negation, it removes
# the warrant (the failure no longer licenses 'broken'). Revision does NOT delete
# anything:
#   * the conclusion-claim is set gmeow:displayable false (suppressed from view);
#   * the gmeow:InferenceTenure is CLOSED (an gmeow:endedAtTime on its interval);
#   * the gmeow:InferenceCommitment is RETAINED as audit.
# The whole episode remains queryable — how the agent believed, and why it stopped.

ex:tenureInterval a gmeow:TimeInterval ;
    gmeow:startedAtTime "2026-06-15T11:00:00Z"^^xsd:dateTime ;
    gmeow:endedAtTime   "2026-06-15T11:18:00Z"^^xsd:dateTime .  # closed when the defeater fired

Common Companion Terms

gmeow:TimeInterval

Projects To

External Equivalences

Equivalent or closely aligned targets: prov

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Projection Coverage

Usage Advice

Use when

• Use to stamp the close of a gmeow:TimeInterval as a single crisp dateTime; omit it entirely to model an interval that is still running.

Avoid when

• Avoid when the end needs its own frame, granularity, or EDTF value (promote to gmeow:hasEndInstant) and avoid an xsd:date literal — base-triple time is xsd:dateTime (P3).

How to use

• Write a full xsd:dateTime in the interval's gmeow:hasTemporalFrame; absence (not a sentinel value) is how an open-ended interval is expressed.

Examples

• ex:tenureInterval gmeow:endedAtTime "2023-09-30T23:59:59Z"^^xsd:dateTime.