manuel84/abrupt

View on GitHub
assets/rules/production/state_has_no_link.ttl

Summary

Maintainability
Test Coverage
@prefix : <http://wba.cs.hs-rm.de/AbRUPt/> .
@base <http://wba.cs.hs-rm.de/AbRUPt/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

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