solveit-analysis:contradictedBy leaf node


URI

https://ontology.solveit-df.org/solveit/analysis/contradictedBy

Label

contradicted by

Description

Links a HypothesisedEvent to artifacts that contradict the hypothesis.

Usage

DOMAINPROPERTYRANGE
solveit-analysis:HypothesisedEvent solveit-analysis:contradictedBy uco-observable:ObservableObject

Implementation

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix solveit-analysis: <https://ontology.solveit-df.org/solveit/analysis/> .
@prefix uco-observable: <https://ontology.unifiedcyberontology.org/uco/observable/> .

solveit-analysis:contradictedBy a owl:ObjectProperty ;
    rdfs:label "contradicted by"@en ;
    rdfs:comment "Links a HypothesisedEvent to artifacts that contradict the hypothesis."@en ;
    rdfs:domain solveit-analysis:HypothesisedEvent ;
    rdfs:range uco-observable:ObservableObject .