@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#> .

owl:allValuesFrom a rdf:Property ;
    rdfs:label "allValuesFrom"^^rdf:string ;
    rdfs:comment "The property that determines the class that a universal property restriction refers to."^^rdf:string ;
    rdfs:domain owl:Restriction ;
    rdfs:isDefinedBy owl: ;
    rdfs:range rdfs:Class .