[Wikidata-l] How to declare a property is transitive, etc.

2014-12-18 Thread Emw
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.

Thanks,
Eric

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

1.  Discussion permalink:
https://www.wikidata.org/w/index.php?title=Wikidata:Property_proposal/Property_metadataoldid=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


Re: [Wikidata-l] How to declare a property is transitive, etc.

2014-12-18 Thread Denny Vrandečić
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.w...@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.

 Thanks,
 Eric

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

 1.  Discussion permalink: https://www.wikidata.org/w/
 index.php?title=Wikidata:Property_proposal/Property_
 metadataoldid=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

___
Wikidata-l mailing list
Wikidata-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikidata-l