Ravi, Chris, and David,
Basic point: a single-inheritance tree is not adequate to
represent the open-ended variety of ways of classifying anything.
RS
> I thought ontologies would be helpful if cross linkages were
> found using them among phylum, genera, species, etc.?
Names, such as phylum, etc., are useful for the levels of
the single-inheritance trees used in biology. But that is
only one way of classifying living things.
Note that the words 'tree' and 'bush' describe the physical forms.
But the same plant can be trimmed as a bush or allowed to grow
into a tree.
Many other classifications are orthogonal to the genetic trees:
evergreen vs deciduous, annual vs perennial, crop vs weed, etc.
In general, any plant that grows where you don't want it can be
called a weed. A dandelion can be a weed or a salad green.
For example, the single family called Rosaceae (the rose family)
has over 2,000 species. Some are evergreen, deciduous, annuals,
perennials, trees, shrubs, herbs, delicious fruits, ornamental
flowers, crops, or noxious weeds.
Examples: roses, apples, pears, cherries, plums, peaches,
raspberries, strawberries, almonds, hawthorns...
Note that farmers, who work with plants and animals every day, normally
use the more specialized classifications. They're more interested in
the crops, weeds, and pests they encounter every day than the complete
classification of every living thing.
CM
> This figure shows some of the HGT (Horizontal Gene Transfers) early in
Thanks for the reference. That's a good diagram and an interesting
article. But note that most of those transfers are from bacteria to
more complex life forms. None of those possibilities were imagined
until late in the 20th century.
At the higher levels of plants and animals, trees are still
the primary way of classifying inheritance. But every domain
of interest requires multiple classifications of living things
that cut across the trees in multiple ways for different purposes.
DP
> We have been having lots of success with what have been called
> "Aristotelian Definitions", where all classes are all defined in
> terms of a genus (a superclass) and diffentia (what differentiates
> this class from other subclasses). This typically does not lead
> to a tree, but to a lattice-like structure...
Yes. You need multiple-inheritance, which leads to a general
partial order.
DP
> (it isn't a lattice as as not all properties are defined for
> all classes). This is a natural way to define many ontologies.
Actually, you can still get a lattice, even if many properties
are undefined for many of the classes. The algorithms for
Formal Concept Analysis (FCA), will always generate a lattice.
See the FCA homepage for more info, open source software, etc:
http://www.fcahome.org.uk/fca.html
In fact, it's fun to play around with the FCA lattices generated
from WordNet and Roget's Thesaurus. You can pick any word and
get a little lattice for the WordNet neighborhood or the Roget
neighborhood around that word. Go to either or both of
http://www.ketlab.org.uk/wordnet.html
http://www.ketlab.org.uk/roget.html
Pick any English word and compare the lattices generated for
WordNet and Roget's Thesaurus.
You could download the software and generate similar lattices
for the terms in your ontologies. If you have any questions,
contact Uta Priss (on cc list above).
John