because there are a few constraints in OWL which can't be declared by the current JSON Schema spec., I think.
Question:
Currently I am thinking about the "4. 4 Logical characteristics of properties" -
could fit: "allow description of parent-child relationship"
OWL:
"that if a pair (x,y) is an instance of P, and the pair (y,z) is also instance of P, then we can infer the the pair (x,z) is also an instance of P"
and
"a property for which holds that if the pair (x,y) is an instance of P, then the pair (y,x) is also an instance of P"
In OWL theory a property link can be both, Transitive AND Symmetric. I found an example in
<rdf:type rdf:resource="owl:SymmetricProperty"/>
<rdf:type rdf:resource="owl:TransitiveProperty"/>
<rdfs:label>associatedWith</rdfs:label>
<rdfs:comment rdf:datatype="xsd:string">A catch-all object property, useful for alignment and querying purposes.</rdfs:comment>
<rdfs:range rdf:resource="owl:Thing"/>
<rdfs:domain rdf:resource="owl:Thing"/>
</owl:ObjectProperty>
JSON Schema:
The "propertyLinks" proposal allows only one ref per property.
So: How could we say that a property has both refs, ...#TransitiveProperty and ...#SymmetricProperty ?