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