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 <[email protected]>: > > 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. > >
_______________________________________________ Wikidata-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-l
