Ontologies.test.ContradictingRulesExample.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 test1: .
@prefix pcm:  .
@prefix pac: .
@prefix ppm:  .
@prefix xsd: .
@prefix usdl-core:  .
@prefix schema: .
@prefix pbe: .
@prefix pdm:  .
@prefix pbdfd: .

### Instantiated contradicting ABAC rules ################################
test1:ABACRule_1 a pac:ABACRule;
	pac:hasControlledObject test1:PaymentsTable;
	pac:hasAuthorisation pac:positive;			# positive authorisation
	pac:hasAction test1:Write;
	pac:hasActor test1:ParkingEmployee;
	pac:hasContextExpression test1:expr.

test1:ABACRule_2 a pac:ABACRule;
	pac:hasControlledObject test1:PaymentsTable;
	pac:hasAuthorisation pac:negative;			# negative authorisation -> contradiction
	pac:hasAction test1:Write;
	pac:hasActor test1:ParkingEmployee;
	pac:hasContextExpression test1:expr.