manuel84/abrupt

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