requires capability
Property
http://proethica.org/ontology/core#requiresCapability
Class Hierarchy
- requires capability
Definition
Relates an obligation to a capability its discharge presupposes. An obligation can be discharged only by an agent that possesses the required capability, the ought-implies-can principle of deontic logic (Kant's dictum, whose computational analogue Stenseke 2024 develops as moral tractability); in this framework an agent that lacks the required capability leaves the obligation subject to override, recorded via defeasibleUnder.
Properties
@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:requiresCapability a owl:ObjectProperty ;
rdfs:label "requires capability"@en ;
rdfs:comment "Relates an obligation to a capability its discharge presupposes. An obligation can be discharged only by an agent that possesses the required capability, the ought-implies-can principle of deontic logic (Kant's dictum, whose computational analogue Stenseke 2024 develops as moral tractability); in this framework an agent that lacks the required capability leaves the obligation subject to override, recorded via defeasibleUnder."@en ;
rdfs:domain proeth-core:Obligation ;
rdfs:range proeth-core:Capability ;
skos:changeNote "v2.8.0: Promoted to core and re-domained from Role to Capability (intermediate) to Obligation to Capability. The intermediate Role-domain proeth:requiresCapability is deprecated separately (since deleted 2026-07-04 with the other v2.8.0-superseded intermediate stubs)."@en ;
skos:definition "Relates an Obligation to a Capability its discharge presupposes."@en .