statement u rdfs:subPropertyOf v statement v rdfs:subPropertyOf w statement u rdfs:subPropertyOf w statement u rdfs:subClassOf v statement v rdfs:subClassOf w statement u rdfs:subClassOf w statement s rdf:type rdfs:Class statement s rdfs:subClassOf rdfs:Resource statement s rdf:type rdfs:Datatype statement s rdfs:subClassOf rdfs:Literal statement s rdf:type owl:Class statement s rdfs:subClassOf owl:Thing statement s rdf:type owl:DataRange statement s rdfs:subClassOf rdfs:Literal statement s rdf:type owl:ObjectProperty statement u s v statement u rdf:type owl:Thing statement v rdf:type owl:Thing statement s rdf:type owl:DatatypeProperty statement u s v statement u rdf:type owl:Thing statement v rdf:type rdfs:Literal statement s rdf:type owl:AnnotationProperty statement u s v statement u rdf:type rdfs:Resource statement v rdf:type rdfs:Resource statement s rdf:type owl:OntologyProperty statement u s v statement u rdf:type owl:Ontology statement v rdf:type owl:Ontology statement s rdf:type owl:FunctionalProperty statement s rdf:type owl:ObjectProperty statement s rdf:type owl:DatatypeProperty statement s rdf:type owl:InverseFunctionalProperty statement s rdf:type owl:ObjectProperty statement s rdf:type owl:SymmetricProperty statement s rdf:type owl:ObjectProperty statement s rdf:type owl:TransitiveProperty statement s rdf:type owl:ObjectProperty statement u owl:equivalentClass v statement u rdf:type owl:Class statement v rdf:type owl:Class statement u owl:disjointWith v statement u rdf:type owl:Class statement v rdf:type owl:Class statement u owl:equivalentProperty v statement u rdf:type owl:ObjectProperty statement v rdf:type owl:ObjectProperty statement u rdf:type owl:DatatypeProperty statement v rdf:type owl:DatatypeProperty statement u owl:inverseOf v statement u rdf:type owl:ObjectProperty statement v rdf:type owl:ObjectProperty statement u owl:complementOf v statement u rdf:type owl:Class statement v rdf:type owl:Class statement u owl:unionOf v statement u rdf:type owl:Class statement v rdf:type owl:Class statement u owl:intersectionOf v statement u rdf:type owl:Class statement v rdf:type owl:Class statement u owl:oneOf v statement u rdf:type owl:Class statement v rdf:type owl:Thing statement u rdf:type rdfs:Datatype statement v rdf:type rdfs:Literal statement x owl:allValuesFrom y statement x owl:onProperty p statement x rdf:type owl:Restriction statement p rdf:type owl:ObjectProperty statement y rdf:type owl:Class statement p rdf:type owl:DatatypeProperty statement y rdf:type rdfs:Datatype statement x owl:someValuesFrom y statement x owl:onProperty p statement x rdf:type owl:Restriction statement p rdf:type owl:ObjectProperty statement y rdf:type owl:Class statement p rdf:type owl:DatatypeProperty statement y rdf:type rdfs:Datatype statement x owl:hasValue y statement x owl:onProperty p statement x rdf:type owl:Restriction statement p rdf:type owl:ObjectProperty statement y rdf:type owl:Thing statement p rdf:type owl:DatatypeProperty statement y rdf:type rdfs:Literal statement x owl:minCardinality y statement x owl:onProperty p statement x rdf:type owl:Restriction statement y rdf:type rdfs:Literal swrlb:greaterThanOrEqual y 0 statement p rdf:type owl:ObjectProperty statement p rdf:type owl:DatatypeProperty statement x owl:maxCardinality y statement x owl:onProperty p statement x rdf:type owl:Restriction statement y rdf:type rdfs:Literal swrlb:greaterThanOrEqual y 0 statement p rdf:type owl:ObjectProperty statement p rdf:type owl:DatatypeProperty statement x owl:cardinality y statement x owl:onProperty p statement x rdf:type owl:Restriction statement y rdf:type rdfs:Literal swrlb:greaterThanOrEqual y 0 statement p rdf:type owl:ObjectProperty statement p rdf:type owl:DatatypeProperty