@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix olo: <http://purl.org/ontology/olo/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .

<http://purl.org/ontology/olo/core#> a owl:Ontology ;
	dc:creator <http://foaf.me/zazi#me> , "Samer Abdallah"^^xsd:string ;
	dc:date "2010-07-23T13:30:52+01:00"^^xsd:dateTime ;
	dc:description """The Ordered Lists Ontology Specification provides basic concepts and properties 
for describing ordered lists as semantic graph. This document contains a RDF description of the Ordered Lists Ontology
as proposed by Samer Abdallah."""@en ;
	dc:title "The Ordered Lists Ontology"@en ;
	owl:imports <http://purl.org/dc/elements/1.1/> , <http://www.w3.org/2003/06/sw-vocab-status/ns> ;
	owl:versionInfo "0.72"^^xsd:decimal .

olo:OrderedList a rdfs:Class , owl:Class ;
	rdfs:comment "An ordered list with a given length an indexed items."@en ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "Ordered List"@en ;
	rdfs:subClassOf owl:Thing , _:node17168luaux6 .

_:node17168luaux6 a owl:Restriction ;
	owl:cardinality "1"^^xsd:nonNegativeInteger ;
	owl:onProperty olo:length .

olo:OrderedList vs:term_status "stable"@en .

olo:Slot a owl:Class , rdfs:Class ;
	rdfs:comment "A slot in an ordered list with a fixed index."@en ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "Slot"@en ;
	rdfs:subClassOf owl:Thing , _:node17168luaux7 .

_:node17168luaux7 a owl:Restriction ;
	owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onProperty olo:next .

olo:Slot rdfs:subClassOf _:node17168luaux8 .

_:node17168luaux8 a owl:Restriction ;
	owl:cardinality "1"^^xsd:nonNegativeInteger ;
	owl:onProperty olo:index .

olo:Slot rdfs:subClassOf _:node17168luaux9 .

_:node17168luaux9 a owl:Restriction ;
	owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onProperty olo:ordered_list .

olo:Slot rdfs:subClassOf _:node17168luaux10 .

_:node17168luaux10 a owl:Restriction ;
	owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
	owl:onProperty olo:previous .

olo:Slot vs:term_status "stable"@en .

olo:index a owl:FunctionalProperty , rdf:Property , owl:DatatypeProperty ;
	rdfs:comment "An index of a slot in an ordered list."@en ;
	rdfs:domain olo:Slot ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has index"@en ;
	rdfs:range xsd:positiveInteger ;
	vs:term_status "stable"@en .

olo:item a rdf:Property ;
	rdfs:comment "An item of a slot in an ordered list."@en ;
	rdfs:domain olo:Slot ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has item"@en ;
	vs:term_status "stable"@en .

olo:length a owl:FunctionalProperty , rdf:Property , owl:DatatypeProperty ;
	rdfs:comment "The length of an ordered list."@en ;
	rdfs:domain olo:OrderedList ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has length"@en ;
	rdfs:range xsd:nonNegativeInteger ;
	vs:term_status "stable"@en .

olo:next a owl:FunctionalProperty , rdf:Property ;
	rdfs:comment "Associates the next slot in an ordered list."@en ;
	rdfs:domain olo:Slot ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has next"@en ;
	rdfs:range olo:Slot ;
	vs:term_status "testing"@en .

olo:ordered_list a owl:FunctionalProperty , rdf:Property ;
	rdfs:comment "An ordered list of an slot."@en ;
	rdfs:domain olo:Slot ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has ordered list"@en ;
	rdfs:range olo:OrderedList ;
	owl:inverseOf olo:slot ;
	vs:term_status "testing"@en .

olo:previous a owl:InverseFunctionalProperty , rdf:Property ;
	rdfs:comment "Associates the previous slot in an ordered list"@en ;
	rdfs:domain olo:Slot ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has previous"@en ;
	rdfs:range olo:Slot ;
	owl:inverseOf olo:next ;
	vs:term_status "testing"@en .

olo:slot a owl:ObjectProperty , rdf:Property ;
	rdfs:comment "A slot in an ordered list."@en ;
	rdfs:domain olo:OrderedList ;
	rdfs:isDefinedBy <http://purl.org/ontology/olo/core#> ;
	rdfs:label "has slot"@en ;
	rdfs:range olo:Slot ;
	vs:term_status "stable"@en .