Ontologies.policy-models.Car-Park-Security-Extracted-Constraints-Simple.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 ex1: .
@prefix foaf:  .
@prefix schema:  .

@prefix rdfs: .
@prefix pwd: .
@prefix pbe: .
@prefix pbdfd: .
@prefix pac: .
@prefix rdf: .
@prefix usdl-core: .
@prefix usdl-business-roles: .
@prefix usdl-sec: .
@prefix orgX: . 
@prefix gr: . 
@prefix pcm:  .
@prefix pdm:  .
@prefix skos:  .
@prefix ppm:  .
@prefix pcpm:  .
@prefix xsd: .

ex1:MyPolicy a pac:ABACPolicy;
	pac:belongsToABACPolicySet ex1:MyPolicySet;
	pac:hasABACRule ex1:Rule1;
	pac:hasPolicyCombiningAlgorithm ex1:MyCombiningAlgorithm.

ex1:MyPolicySet a pac:ABACPolicySet;
	pac:hasPolicySetCombiningAlgorithm .

ex1:Rule1 a pac:ABACRule;
	pac:hasAction ex1:Read;
	pac:hasActor ex1:ParkingEmployee;
	pac:hasAuthorisation pac:positive;
	pac:hasControlledObject ex1:PaymentsTable;
	pac:hasContextExpression ex1:expr.

ex1:MyCombiningAlgorithm a pac:PolicyCombiningAlgorithms, pac:PolicySetCombiningAlgorithms.

ex1:Read a ppm:DatastorePermission.

ex1:ParkingEmployee a pcm:Person.

pac:positive a pac:Authorisation.

ex1:PaymentsTable a pcm:Relational.

ex1:expr a pac:ANDContextExpression;
	pac:refersTo ex1:ParkingEmployee;
	pac:hasParameter ex1:Parking1, ex1:expr1 .

ex1:Parking1 a pcm:Point.

ex1:Parking2 a pcm:Point.

ex1:expr1 a pac:ContextExpression;
	pac:hasParameter ex1:EmployeeWorkingHours.

ex1:EmployeeWorkingHours a pcm:DateTimeInterval.