✵✵✵✵✵ 5 STARS ✵✵✵✵✵
“a requires: if A and B, then C”
requirement | positer | Requirement_label | scope | condition | demand |
---|---|---|---|---|---|
ex:Req1 | ex:Boss | If rich and smart, be generous | ex:Rich | ex:Smart | ex:Generous |
ex:Req2 | ex:Boss | If poor, work hard | ex:Poor | ex:Industrious |
A reified requirement.
ex:Req1 a req:REQ_0011 ; rdfs:label "If rich and smart, be generous" ; req:REQ_0018 [ a req:REQ_0008 ; req:REQ_0019 ex:Smart ; req:REQ_0020 ex:Generous ; req:REQ_0021 ex:Rich ] ; req:REQ_0022 ex:Boss .
Requirement r = “a requires: if A and B, then C”
Applied, as a General Concept Inclusion axioms, for reasoning.
[ a owl:Axiom ; owl:annotatedProperty rdfs:subClassOf ; owl:annotatedSource [ a owl:Class ; rdfs:subClassOf req:REQ_0024 , ex:Generous ; owl:intersectionOf ( ex:Rich ex:Smart ) ] ; owl:annotatedTarget ex:Generous ; req:REQ_0002 ex:Req1 ] .
Templates that apply requirements as axioms