@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix uni: <foo://uni/>.
uni:Grades rdf:type owl:Class;
  owl:intersectionOf
  (<http://www.w3.org/2001/XMLSchema#int>
   [a owl:DataRange; owl:oneOf
    ("2.0"^^xsd:decimal "2.3"^^xsd:decimal "2.7"^^xsd:decimal)]).
 ### this is inconsistent !!!!!!!
uni:graded rdf:type owl:FunctionalProperty;
  rdf:type owl:DatatypeProperty; rdfs:range uni:Grades.
[ rdf:type uni:Thesis;
  uni:author <foo://bla/john>;
  uni:graded "2.5"^^xsd:decimal].