owlsubClassOf
owl:subClassOf, written with the IRI http://www.w3.org/2002/07/owl#subClassOf, is an OWL object property used to express a subclass relationship between two class expressions. It asserts that every instance of the subclass is also an instance of the superclass, forming a hierarchical taxonomy within an ontology. The relation can be stated between named classes or more complex class expressions (for example, intersections or unions).
In practice, the axiom C owl:subClassOf D says that C is included in D. If x is
owl:subClassOf is part of OWL’s richer class-expression framework, alongside constructs like owl:equivalentClass, owl:disjointWith, and various restrictions.
Examples of usage include declaring that :Dog SubClassOf :Mammal in Manchester or RDF/Turtle syntax as :Dog