prevails over
Property
http://proethica.org/ontology/core#prevailsOver
Class Hierarchy
- prevails over
Definition
Relates an obligation to another obligation that it defeats under the conditions of the case. The prevailing obligation retains its force; the defeated obligation is subordinated to it. Use together with defeasibleUnder to record the State that licenses the resolution.
Mappings & provenance
source
Properties
@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:prevailsOver a owl:AsymmetricProperty,
owl:IrreflexiveProperty,
owl:ObjectProperty ;
rdfs:label "prevails over"@en ;
iao:0000119 "Anderson and Anderson (2011). A Prima Facie Duty Approach to Machine Ethics: Machine Learning of Features of Ethical Dilemmas, Prima Facie Duties, and Decision Principles through a Dialogue with Ethicists. In Machine Ethics. Cambridge University Press: 476-492 (doi:10.1017/CBO9780511978036.032).",
"Ross and Stratton-Lake (2007). The Right and the Good. Clarendon Press." ;
dcterms:source <https://doi.org/10.1017/CBO9780511978036.032> ;
rdfs:comment "Relates an obligation to another obligation that it defeats under the conditions of the case. The prevailing obligation retains its force; the defeated obligation is subordinated to it. Use together with defeasibleUnder to record the State that licenses the resolution."@en ;
rdfs:domain proeth-core:Obligation ;
rdfs:range proeth-core:Obligation ;
skos:changeNote "2026-05-23: owl:AsymmetricProperty and owl:IrreflexiveProperty asserted so the reasoner checks the edge layer, not only the type layer (KI2026 hardening; the case-110 bidirectional artifact motivated it). The properties themselves date to v2.5.0."@en ;
skos:definition "Links a prevailing Obligation to a defeated Obligation within a specific case resolution."@en ;
skos:scopeNote "prevailsOver is not a logical override relation in OWL-DL. It records a case-specific resolution of an obligation competition; generalizing across cases is the job of an external non-monotonic engine. The directed resolution mirrors the prima facie account: the more stringent duty becomes the duty proper in the circumstances (Ross and Stratton-Lake 2007), and Anderson and Anderson (2011) learn decision principles that select the overriding duty."@en .