Ontologies.final.models.list.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 owl:  .
@prefix rdf:  .
@prefix xml:  .
@prefix xsd:  .
@prefix list:  .
@prefix rdfs:  .

# Ontology for list of elements in next/previous order
list:hasNext a owl:ObjectProperty ;
	owl:inverseOf list:hasPrevious ;
	a owl:TransitiveProperty .

list:hasPrevious a owl:ObjectProperty .

list:PriorityInContext a owl:Class .

list:hasPriority a owl:DatatypeProperty .
list:inContext a owl:ObjectProperty .

list:hasPriorityInContext a owl:ObjectProperty .