@prefix : <http://foo.example/bar#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://foo.example/bar#> .

<http://foo.example/bar#> rdf:type owl:Ontology .

:ObjProp rdf:type owl:ObjectProperty ;
          rdfs:range :VTBase .

:VS1 owl:oneOf ( :V1 :V2 :V3 ) .

:VSProp rdf:type owl:ObjectProperty ;
   rdfs:range :VS1 .

:shoeSize a owl:DatatypeProperty .
#      rdfs:range xsd:integer .

:X rdf:type owl:Class .
:Y rdf:type owl:Class ; rdfs:subClassOf :X .

:A rdf:type owl:Class ; rdfs:subClassOf :Y ;
  rdfs:subClassOf [
    owl:onProperty :ObjProp ;
    owl:allValuesFrom :VT-A 
  ], [
    owl:onProperty :shoeSize ;
    owl:allValuesFrom xsd:byte
  ], [
    owl:onProperty :VSProp ;
    owl:maxCardinality 1
  ].


:amy a :A ;
  :ObjProp :someVT-A ;
  :shoeSize "127"^^xsd:byte ;
  :VSProp :V4 .

[] owl:DisjointUnionOf (
  :V1 :V2 :V3 :V4
) .

:someVT-A a :VT-A .

:B rdf:type owl:Class ; rdfs:subClassOf :Y ;
  rdfs:subClassOf [
    owl:onProperty :ObjProp ;
    owl:allValuesFrom :VT-B 
  ] .


:VTBase rdf:type owl:Class .
:VT-A rdf:type owl:Class ; rdfs:subClassOf :VTBase .
:VT-B rdf:type owl:Class ; rdfs:subClassOf :VTBase .


###  Generated by the OWL API (version 4.2.6.20160910-2108) https://github.com/owlcs/owlapi