Ontologies.subsumptive.ComplexContextExpression.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 pbe: .
@prefix pcm:  .
@prefix pdm:  .
@prefix pbdfd: .
@prefix pac: .
@prefix ppm:  .
@prefix xsd: .
@prefix owl:  .

#pac:ContextExpression owl:hasKey ( pac:hasParameter ) .

ex1:expr a pac:ContextExpression;
	pac:hasParameter ex1:EmployeeWorkingHours, ex1:InSEERCPremises .
	
#[owl:oneOf (ex1:param)] rdfs:subClassOf [owl:oneOf (ex1:EmployeeWorkingHours ex1:InSEERCPremises)].

#ex1:expr1 a pac:ContextExpression;
#	owl:intersectionOf (
#		[owl:oneOf (
#			[a pac:ContextExpression;
#			pac:hasParameter ex1:EmployeeWorkingHours]
#		)]
#		[owl:unionOf (
#			[owl:oneOf (
#				[a pac:ContextExpression;
#				pac:hasParameter ex1:Parking1]
#			)]
#			[owl:oneOf (
#				[a pac:ContextExpression;
#				pac:hasParameter ex1:Parking2]
#			)]
#		)]
#	) .

ex1:expr2 a pac:ContextExpression;
	pac:hasParameter ex1:EmployeeWorkingHours, ex1:EmployeeWorkingHours2.

ex1:EmployeeWorkingHours a pcm:DateTimeInterval .
ex1:EmployeeWorkingHours2 a pcm:DateTimeInterval .
ex1:InSEERCPremises a pcm:SecurityContextElement.

ex1:Parking1 a pcm:Point.

ex1:Parking2 a pcm:Point.