# Base: http://example.org/substitution.owl
@prefix ns1: .
@prefix xs: .
@prefix ns2: .
@prefix rdfs: .
@prefix daml: .
@prefix rdf: .
@prefix xs_: .
@prefix : <#> .
@prefix owl: .
ns1:Foobar
a owl:Class ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:maxCardinality "2"^^xs_:int ;
owl:onProperty ns1:foo
] ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:minCardinality "1"^^xs_:int ;
owl:onProperty ns1:foo
] ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:minCardinality "1"^^xs_:int ;
owl:onProperty ns1:bar
] ;
rdfs:subClassOf
[ a owl:Restriction ;
owl:maxCardinality "2"^^xs_:int ;
owl:onProperty ns1:bar
] .
<> a owl:Ontology .
ns1:bar
a rdf:Property ;
rdfs:subPropertyOf ns1:foo .
ns1:foobar
a owl:ObjectProperty ;
rdfs:range ns1:Foobar .
ns1:foo
a rdf:Property .