# Base: http://example.org/elementIDREFS.owl
@prefix ns1: .
@prefix xs: .
@prefix ns2: .
@prefix rdfs: .
@prefix daml: .
@prefix rdf: .
@prefix xs_: .
@prefix : <#> .
@prefix owl: .
ns2:list
a owl:ObjectProperty ;
rdfs:range
[ a owl:Class ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:allValuesFrom rdf:List ;
owl:onProperty ns2:bar
] ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:cardinality "1"^^xs_:int ;
owl:onProperty ns2:bar
]
] .
ns2:bar
a owl:ObjectProperty , rdf:Property .
<> a owl:Ontology .