In OWL this is done through "instance of" (i.e. rdf:type) pointing at a "Transitive Property" class (owl:TransitiveProperty). So the most similar representation of that in Wikidata would be to have an item for transitive property, and make an "instance of: transitive property" statement on the respective property.

Obvious caveat: for now this is just a syntactic marker, the system does not do anything special with it. But a SPARQL endpoint with an OWL-regime or an OWL reasoner could make the inferences if this statement is appropriately translated.

Hope that helps,
Denny

On Thu Dec 18 2014 at 7:45:43 PM Emw <emw.wiki@gmail.com> wrote:
Hi all,

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.


1.  Discussion permalink: https://www.wikidata.org/w/index.php?title=Wikidata:Property_proposal/Property_metadata&oldid=182088235#How_should_we_declare_that_a_property_is_transitive
_______________________________________________
Wikidata-l mailing list
Wikidata-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-l