@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix iao: <http://purl.obolibrary.org/obo/IAO_> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix proeth-core: <http://proethica.org/ontology/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

proeth-core:terminatedByEvent a owl:ObjectProperty ;
    rdfs:label "terminated by event"@en ;
    iao:0000119 "Berreby et al. (2017). A declarative modular framework for representing and applying ethical principles. Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2017): 96-104 (doi:10.65109/hhri9090).",
        "Kowalski and Sergot (1986). A logic-based calculus of events. New Generation Computing 4(1): 67-95 (doi:10.1007/BF03037383)." ;
    dcterms:source <https://doi.org/10.1007/BF03037383>,
        <https://doi.org/10.65109/hhri9090> ;
    rdfs:comment "Event Calculus termination: relates a State to the Event whose occurrence ends the State (the end boundary of the fluent)."@en ;
    rdfs:domain proeth-core:State ;
    rdfs:range proeth-core:Event ;
    rdfs:subPropertyOf [ owl:inverseOf proeth-core:terminates ] ;
    skos:changeNote "2026-07-06 (S properties review): rdfs:subPropertyOf the inverse of terminates asserted, mirroring activatedByEvent."@en ;
    skos:definition "Links a State to the Event that terminates it."@en .