manuel84/abrupt

View on GitHub
doc/paper/listings/propositional_logic_rule.ttl

Summary

Maintainability
Test Coverage
a Checkbox
name agb
-> required true

[
    a owl:Restriction;
    owl:onProperty wdm:name;
    owl:hasValue "agb";
    rdfs:subClassOf wdm:RequiredFormElement
] .

wdm:required-true rdfs:samePropertyAs wdm:required;
    rdfs:domain wdm:RequiredFormElement;
    rdfs:range true^^boolean .