Ontologies.policy-models.abacRulesViolating1.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 rdfs:  .
@prefix ex1: .
@prefix pac: .
@prefix ppm:  .
@prefix pcm:  .
@prefix foaf:  .
@prefix gr:  .
@prefix schema:  .

### This is a portion of the Car Park security use case we present
### in D2.2
### Instantiated ABAC rule template ################################
ex1:ABACRule_1 a pac:ABACRule;
	pac:hasControlledObject ex1:PaymentsTable;
	pac:hasAuthorisation pac:positive;
	pac:hasAction ex1:Read;
	pac:hasActor ex1:ParkingEmployee;
	pac:hasContextExpression ex1:expr, ex1:expr2. # This should have cardinality of 1

ex1:PaymentsTable a pcm:Relationa.	# This typo causes a validation error

ex1:Read a ppm:DatastorePermission.

ex1:ParkingEmployee a pcm:Person.
#############################################################################

### Context expression for  ex1:ABACRule_1 #############
ex1:expr a pac:ANDContextExpression;
	pac:hasParameter ex1:EmployeeWorkingHours, ex1:expr1 .

ex1:EmployeeWorkingHours a pcm:DateTimeInterval.

ex1:expr1 a pac:ORContextExpression;
	pac:hasParameter ex1:Parking1, ex1:Parking2.

ex1:Parking1 a pcm:Point.

ex1:Parking2 a pcm:Point.

ex1:expr2 a pac:ContextExpression.
#############################################################################