http://www.cs.ox.ac.uk/files/3129/paper.pdf (forgot the URL)
2014-06-11 16:43 GMT+02:00 Thomas Douillard thomas.douillard@gmail.com:
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.