activated by event
Property
http://proethica.org/ontology/core#activatedByEvent
Class Hierarchy
- activated by event
Definition
Event Calculus initiation: relates a State to the Event whose occurrence brings the State into being (the start 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:activatedByEvent a owl:ObjectProperty ;
rdfs:label "activated 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 initiation: relates a State to the Event whose occurrence brings the State into being (the start boundary of the fluent)."@en ;
rdfs:domain proeth-core:State ;
rdfs:range proeth-core:Event ;
rdfs:subPropertyOf [ owl:inverseOf proeth-core:initiates ] ;
skos:changeNote "2026-07-06 (S properties review): rdfs:subPropertyOf the inverse of initiates asserted, so the converse reading the v2.7.0 generalize note documented is reasoner-visible; the two families remain independently populated evidence channels with no materialized closure."@en ;
skos:definition "Links a State to the Event that initiates it."@en .