Contents

[
    rdfs:subClassOf :Problem;
    owl:intersectionOf ( :State
    [   a owl:Restriction ;
        owl:onProperty :hasLink ;
        owl:onClass :Link;
        owl:maxQualifiedCardinality 0;
    ]
    )
] .

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
abrupt-1.0.1	doc/paper/listings/production_rule.ttl
abrupt-1.0.0	doc/paper/listings/production_rule.ttl
abrupt-0.0.2	doc/paper/listings/production_rule.ttl