380 Foundations of Semantic Web Technologies
From rdfs:subClassOf rdfs:domain rdfs:Class .
and rdf:Alt rdfs:subClassOf rdfs:Container .
we can deduce us ing rdfs2 that
rdfs:Seq rdf:type rdfs:Class .
From rdfs:subClassOf rdfs:range rdfs:Class .
and rdf:Alt rdfs:subClassOf rdfs:Container .
we can deduce us ing rdfs3 that
rdfs:Container rdf:type rdfs:Class .
From rdfs:domain rdfs:range rdfs:Class .
and rdf:first rdfs:domain rdfs:List .
we can deduce us ing rdfs3 that
rdfs:List rdf:type rdfs:Class .
From rdfs:subClassOf rdfs:domain rdfs:Class .
and rdf:ContainerMembershipProperty
rdfs:subClassOf rdfs:Property .
we can deduce us ing rdfs2 that
rdf:ContainerMembershipProperty rdf:type rdfs:Class .
From rdfs:range rdfs:range rdfs:Class .
and rdfs:subPropertyOf rdfs:range ...