@prefix eg: <http://example.org/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

eg:index
	a rdf:Property ;
	rdfs:label "index" .

eg:Thing
	a rdfs:Class ;
	rdfs:label "Thing" ;
	rdfs:subClassOf [
		a owl:Restriction ;
		owl:onProperty eg:index ;
		owl:allValuesFrom xsd:nonNegativeInteger
	] .

eg:s
	a eg:Thing ;
	eg:index 1.2 ,
		3 .