Ontologies.constraints.rulesConstraints1.ttl Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of ic-query-validator Show documentation

The Integrity Constraints Query Validator component created by SEERC in the course of PaaSword project.

There is a newer version: 1.0.5

@prefix owl:  .
@prefix rdfs:  .
@prefix rdf:  .
@prefix xsd: .
@prefix pac: .
@prefix pwd: .
@prefix pcm:  .
@prefix ppm:  .
@prefix pcpm:  .

### We can now add additional constraints
pac:ABACRule rdfs:subClassOf
              [ a owl:Restriction ;
                owl:onProperty pac:hasContextExpression ;
                owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                owl:onClass pac:ContextExpression
              ] .