terminated by event
Property
http://proethica.org/ontology/core#terminatedByEvent
Class Hierarchy
- terminated by event
Definition
Event Calculus termination: relates a State to the Event whose occurrence ends the State (the end boundary of the fluent).
Mappings & provenance
source
source
@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 .