Dear all,

First, sorry for sending an email: I want to help, but I don't have the time 
required to understand how the wiki RfC mechanism work [1]. More precisely that 
one seems really not the appropriate for a first dive :-(

In fact reading it I'm not even sure I understand the question anymore. To me 
the original question was about the properties P31 and P279 themselves (Eric's 
mail still list them as an option, albeit a popular one), ie, rather on how to 
represent a classification (independent from which one is chosen). But now I 
see plenty hardcore ontological discussions on the RfC page, which are indeed 
about getting a unified top-level ontology...

The basic question is, can you really get a unified, perfectly structured and 
clean classification of things?
I'm slightly surprised that Wikidata would go there. You want users to add 
classes in the future, no? Or to use the existing wikipedia categories as a 
source of classification?
In either case, you'd end up making weird inferences possible, if you apply the formal 
semantics of P31 and P279 as they're defined for rdf:type and rdfs:subClassOf [4,5]. 
Actually even if you invest time making a clean top-level, the lower-level parts of the 
classification will probably very soon diverge from formal ontology 
"meta-principles" that structure SUMO, DOLCE, BFO, etc.

And it's probably very alright, for most of your usage scenarios. Having 
simple, intuitive classification semantics is possible without the full formal 
ontology apparatus. Namely, you can use something that looks like 
rdf:type/rdfs:subClassOf, but with looser semantics.
1. you could use something like the dc:type property from the Dublin Core 
framework, instead of rdf:type. Possibly creating sub-properties of it, using a 
list like the one at [7] for input.
2. You could use something like skos:broader and skos:narrower [8] for the 
links between the 'looser classes'


Of course this does not correspond to formal ontological framework as in the 
Semantic Web sense. But well, if the 'classification' doesn't fit a 
super-formal framework, I see no reason to desperately try to shoehorn it into 
RDFS.

Note that I would quite disagree with the second part of the sentence from one 
of the RfC-related pages [9]:
"
There is a consensus on Wikidata against creating other properties which 
perform this function as it is felt a clean hierarchy of classes is in keeping 
with W3C recommendations and will make it easier to use the data here.
"
First, getting a clean hierarchy won't make things easier, if you end up with a 
too static/formal view on the world. Second, the feeling about the W3C 
recommendations is wrong. W3C has actually pushed SKOS to allow 'softer' 
classifications to be represented having to undergo the ordeals and dangers of 
RDFS/OWL...

But I realize all this might be regarded as questioning the decision you made 
earlier on using P31 and P279 instead of the GND type, so I'm going to stop 
bothering you ;-)

Best,

Antoine
---
Antoine Isaac
Scientific coordinator, Europeana.eu

[1] 
https://www.wikidata.org/wiki/Wikidata:Requests_for_comment/Migrating_away_from_GND_main_type
[2] http://lists.wikimedia.org/pipermail/wikidata-l/2013-September/002815.html
[3] http://lists.wikimedia.org/pipermail/wikidata-l/2013-September/002816.html
[4] http://www.w3.org/TR/rdf-schema/#ch_type
[5] http://www.w3.org/TR/rdf-schema/#ch_subclassof
[6] http://purl.org/dc/terms/type
[7] 
https://www.wikidata.org/wiki/Wikidata:Requests_for_comment/Migrating_away_from_GND_main_type#List_of_specialized_type_properties
[8] http://www.w3.org/TR/skos-primer/#secrel
[9] https://www.wikidata.org/wiki/Help:Modeling#Hierarchy_of_classes

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

Reply via email to