For a maybe more example, this paper follow that path, and gives example (and in the same time proves the approach is fully compatible with OWL2 reasoning).

2014-06-11 15:23 GMT+02:00 Thomas Douillard <thomas.douillard@gmail.com>:

A subclass of B

A instance of 'type of B'

B subclass of 'C'

B instance of 'type of C'

C subclass of 'D'

C instance of 'type of D'

It's a bit more subtle than that, as, let's take the Taxonomy example, and take the <animal> class.

Old classifications used to take <fish> as a taxon. It is proved right now that fish is not a clade. It's still a subclass of <animal> though.

I claim <fish> subclass of <animal> is still correct.

<fish> is an old taxon. But <fish> instance of <clade> is not true.

If someone want to search for direct subclasses of "animal", he would still have "fish" as a result, maybe. Although if he is interested in clades only my approach works, and he would get a closer approximation of what modern taxonomy tree is.