Draw set theory patterns for rdfs:subPropertyOf

[anatoly-scherbakov]

If at all necessary.

[anatoly-scherbakov]

Correspondence with functions

Let us use operator notation for properties, for example: a ⋆ b where ⋆ is a property. If ∗ is another property, then equivalence of these properties can be expressed as ⋆ ≡ ∗.