Could those knowledgeable about OWL or intending to use Wikidata's RDF / OWL exports please weigh in at https://www.wikidata.org/wiki/Wikidata:Property_proposal/Property_metadata#How_should_we_declare_that_a_property_is_transitive ? [1]

Being able to declare certain "properties of properties" is an essential building block for querying and inference.  However, the way to declare that a property is, say, transitive in OWL does not have a clear analog in Wikidata syntax.  We could certainly shoehorn such a statement into our existing model (and it looks like we'll need to), but it is important to do so in a way that complicate things as little as possible for downstream users, e.g. outside researchers or developers using the RDF exports and assuming standard OWL semantics.

Please make any comments on this on-wiki at the location linked above.  That way we can keep the discussion centralized.

Other discussions on that page could also benefit from input by people knowledgeable about Semantic Web vocabulary.

Thanks,
Eric

https://www.wikidata.org/wiki/User:Emw