Author: zaltenbach

Description:
In SMW the annotation for assigning a category to a super-category is the same as for assigning an instance to a category.

E.g. on the page Category:User you write [[Category:Person]] for making 'User' a sub-category of 'Person'. Likewise, if you have a page 'Denny' you write [[Category:Person]] in order to assert 'Denny' to the category 'Person'.

This annotation style has however the sideeffect, that when you query
{{#ask: [[Category:Person]] }} you get instances (e.g. 'Denny') as well as sub-categories (e.g. 'User') of the category 'Person'.

I would therefore recommend to implement and use a distinct annotation for sub-categories, e.g. [[subcategory of::Category:Person]]. This would be consistent with the annotation for sub-properties (e.g. [[subproperty of::SomeProperty]]) as well as with the OWL/RDF annotation owl:subClassOf.

However, one have to think about downward compatibility with existing annotations...

Version: unspecified
Severity: enhancement