Ontologies.hlo.HigherLevelOntologyOWLInstantiation.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 hlo: .
@prefix owl:  .
@prefix rdfs:  .
@prefix xsd: .
@prefix pac: .
@prefix pcm:  .

# This is an instantiation ontology which abides to HigherLevelOntologyOWL.ttl.
# It follows the OWL semantics (almost) and can be understood by an OWL reasoner.

# All ABACRule instances should be connected with exactly one instance of
# Relational via the hasControlledObject property.
# This is OWL-compliant.
pac:ABACRule rdfs:subClassOf
              [ a hlo:ExactlyPropertyConstraint ;
                hlo:onProperty pac:hasControlledObject ;
                hlo:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                hlo:onClass pcm:Relational
              ] .

# ABACPolicySet should have only one instance.
# This is not OWL-compliant. Its semantics will be understood only by our reasoner.
pac:ABACPolicySet rdfs:subClassOf
              [ a hlo:ExactlyInstancesConstraint ;
                hlo:qualifiedCardinality "1"^^xsd:nonNegativeInteger
              ] .

# Authorisation class consists of only two instances; positive and negative.
# This is OWL-compliant.
pac:Authorisation owl:equivalentClass 
			  [ a hlo:EnumeratedClassConstraint;
				hlo:oneOf (pac:positive pac:negative)
			  ] .              

pac:positive a pac:Authorisation.
pac:negative a pac:Authorisation.