Species and Classification in Biology Barry Smith

Species and Classification in Biology

Barry Smithhttp://ifomis.org

http:// ifomis.org 2


DNA

10-9 m


DNA

Protein

Organelle

Cell

Tissue

Organ

Organism

10-5 m

10-1 m

10-9 m


New golden age of classification*

~ 30 million species30,000 genes in human200,000 proteins100s of cell types100,000s of disease types 1,000,000s of biochemical pathways

(including disease pathways)

*… legacy of Human Genome Project


DNA

Protein

Organelle

Cell

Tissue

Organ

Organism

10-5 m

10-1 m

10-9 m


FUNCTIONAL GENOMICS

proteomics, reactomics, metabonomics,

phenomics, behaviouromics,

toxicopharmacogenomics…


The incompatibilities between different scientific cultures and terminologies

immunologygenetics

cell biology


have resurrected the problem of the unity of science in a new guise:

The logical positivist solution to this problem addressed a world in which sciences are associated with printed texts.What happens when sciences are associated with databases?


… when each (chemical, pathological, immunological, toxicological) information system uses its own classifications

how can we overcome the incompatibilities which become apparent when data from distinct sources are combined?


Answer:

“Ontology”


= building software artefactsstandardized classification systems/

controlled vocabularies

so that data from one source should be expressed in a language which

makes it compatible with data from every other source


Google hits (in millions) 25.4.06

ontology 52.4ontology + philosophy 2.7ontology + information science 6.0

ontology + database 7.8


A Linnaean Species Hierarchy


(Small) Disease Hierarchy


Combining hierarchies

OrganismsDiseases


via Dependence Relations

Organisms Diseases


A Window on Reality


A Window on RealityOrganisms

Diseases


A Window on Reality


How to understand species (aka types, universals, kinds)

Species are something like invariants in reality which can be studied by science

Species have instances: this mouse, this cell, this cell membrane ...


Entity =def

anything which exists, including things and processes, functions and qualities, beliefs and actions, documents and software


Domain =def

a portion of reality that forms the subject-matter of a single science or technology or mode of study;

proteomicsradiologyviral infections in mouse


Representation =def

an image, idea, map, picture, name or description ... of some entity or entities.


Analogue representations


Representational units =def

terms, icons, photographs, identifiers ... which refer, or are intended to refer, to entities


Composite representation =def

representation (1) built out of representational units

which(2) form a structure that mirrors, or is intended to mirror, the entities in some domain


Periodic TableThe Periodic Table


Ontologies are here


Ontologies are representational artifacts


What do ontologies represent?


A 515287 DC3300 Dust Collector FanB 521683 Gilmer BeltC 521682 Motor Drive Belt


A 515287 DC3300 Dust Collector FanB 521683 Gilmer BeltC 521682 Motor Drive Belt

instances

types


Two kinds of composite representational artifacts

Databases, inventories: represent what is particular in reality = instances

Ontologies, terminologies, catalogs: represent what is general in reality = types


What do ontologies represent?


Ontologies do not represent concepts in people’s heads


Ontology is a tool of science

Scientists do not describe the concepts in scientists’ heads

They describe the types in reality, as a step towards finding ways to reason about (and treat) instances of these types


The biologist has a cognitive representation which involves theoretical knowledge

derived from textbooks


An ontology is like a scientific text; it is a representation of types in reality


Two kinds of composite representational artifacts

Databases represent instancesOntologies represent types


Instances stand in similarity relations

Frank and Bill are similar as humans, mammals, animals, etc.

Human, mammal and animal are types at different levels of granularity


siamese

mammal

cat

organism

substancetypes

animal

instances

frog


science needs to find uniform ways of representing types

ontology =def a representational artifact whose representational units (which may be drawn from a natural or from some formalized language) are intended to represent1. types in reality2. those relations between these types which obtain universally (= for all instances)

lung is_a anatomical structurelobe of lung part_of lung


is_a

A is_a B =def

For all x, if x instance_of A then x instance_of B

cell division is_a biological process


Entities


Entities

universals (species, types, taxa, …)

particulars (individuals, tokens, instances)


Canonical instances within the realm of individuals

= those individuals which 1. instantiate universals (entering into biological laws)2. are prototypical

Canonical Anatomy: no Siamese twins, no six-fingered giants, no amputation stumps, …


Entities

universals

instancesjunkjunk

junk

example of junk particulars: desk-mountain


Entities

human

Jane

inst


Ontologies are More than Just Taxonomies


The Gene Ontology

7 million google hits

a cross-species controlled vocabulary for annotations of genes and gene products

deeper than Darwinianism


When a gene is identified

three important types of questions need to be addressed:

1. Where is it located in the cell? 2. What functions does it have on the

molecular level? 3. To what biological processes do these

functions contribute?


GO has three ontologies

molecular functions

cellular components

biological processes


GO astonishingly influential

used by all major species genome projectsused by all major pharmacological research

groupsused by all major bioinformatics research

groups


GO part of the Open Biological Ontologies consortium

Fungal OntologyPlant Ontology Yeast OntologyDisease Ontology

Mouse Anatomy OntologyCell OntologySequence OntologyRelations Ontology


Each of GO’s ontologies

is organized in a graph-theoretical structure involving two sorts of links or edges:

is-a (= is a subtype of )(copulation is-a biological process)

part-of (cell wall part-of cell)


The Gene Ontology

a ‘controlled vocabulary’designed to standardize annotation of genes and gene productsused by over 20 genome database and many other groups in academia and industryand methodology much imitated


The Methodology of AnnotationsScientific curators use experimental observations

reported in the biomedical literature to link gene products with GO terms in annotations.

The gene annotations taken together yield a slowly growing computer-interpretable map of biological reality,

The process of annotating literature also leads to improvements and extensions of the ontology, which institutes a virtuous cycle of improvement in the quality and reach of future annotations and of the ontology itself.

The Gene Ontology as Cartoon


cellular componentsmolecular functions biological processes

1372 component terms7271 function terms8069 process terms


The Cellular Component Ontology (counterpart of anatomy)

membranenucleus


The Molecular Function Ontology

protein stabilization

The Molecular Function ontology is (roughly) an ontology of actions on the molecular level of granularity


Biological Process Ontology

death

An ontology of occurrents on the level of granularity of cells, organs and whole organisms


GO here an example

a. of the sorts of problems confronting life science data integration

b. of the degree to which formal methods are relevant to the solution of these problems


Each of GO’s ontologies

is organized in a graph-theoretical data structure involving two sorts of links or edges:

is-a (= is a subtype of )(copulation is-a biological process)

part-of (cell wall part-of cell)


Linnaeus


Entities


Entities

universals (kinds, types, taxa, …)

particulars (individuals, tokens, instances …)

Axiom: Nothing is both a universal and a particular


Entities

universals*

*natural, biological, kinds


Entities

universals

instances


universals are natural kinds

Instances are natural exemplars of natural kinds(problem of non-standard instances) Not all individuals are instances of universals


Entities

universals

instancesinstances

penumbra of borderline cases


Entities

universals

instancesjunkjunk

junk

example of junk: beachball-desk


Primitive relations: inst and part

inst(Jane, human being)part(Jane’s heart, Jane’s body)

A universal is anything that is instantiatedAn instance as anything (any individual) that

instantiates some universal


Entities

human

Jane

inst


A is_a B genus(B)

species(A)

instances


is-a

D3* e is a f =def universal(e) universal(f) x (inst(x, e) inst(x, f)).

genus(A)=def universal(A) B (B is a A B A)

species(A)=def universal(A) B (A is a B B A)


solve problem of false positives

insist that

A is_a B

holds always as a matter of scientific law


nearest species

nearestspecies(A, B)=def A is_a B &

C ((A is_a C & C is_a B) (C = A or C = B)

B

A


Definitions

highest genus

lowest species

instances


Lowest Species and Highest Genus

lowestspecies(A)=def

species(A) & not-genus(A)highestgenus(A)=def

genus(A) & not-species(A)

Theorem:universal(A) (genus(A) or

lowestspecies(A))


Axioms

Every universal has at least one instance

Distinct lowest species never share instances

SINGLE INHERITANCE: Every species is the nearest species to

exactly one genus


Axioms governing instgenus(A) & inst(x, A)

B nearestspecies(B, A) & inst(x, B) EVERY GENUS HAS AN INSTANTIATED

SPECIES

nearestspecies(A, B) A’s instances are properly included in B’s instances

EACH SPECIES HAS A SMALLER CLASS OF INSTANCES THAN ITS GENUS


Axiomsnearestspecies(B, A)

C (nearestspecies(C, A) & B C)EVERY GENUS HAS AT LEAST TWO CHILDREN

nearestspecies(B, A) & nearestspecies(C, A) & B C) not-x (inst(x, B) & inst(x, C))SPECIES OF A COMMON GENUS NEVER SHARE INSTANCES


Theorems

(genus(A) & inst(x, A)) B (lowestspecies(B) & B is_a A & inst(x, B))EVERY INSTANCE IS ALSO AN INSTANCE OF SOME LOWEST SPECIES

(genus(A) & lowestspecies(B) & x(inst(x, A) & inst(x, B)) B is_a A)IF AN INSTANCE OF A LOWEST SPECIES IS AN INSTANCE OF A GENUS THEN THE LOWEST SPECIES IS A CHILD OF THE GENUS


Theorems

universal(A) & universal(B) (A = B or A is_a B or B is_a A or not-x(inst(x, A) & inst(x, B)))

DISTINCT UNIVERSALS EITHER STAND IN A PARENT-CHILD RELATIONSHIP OR THEY HAVE NO INSTANCES IN COMMON


Theorems

A is_a B & A is_a C (B = C or B is_a C or C is_a

B)

UNIVERSALS WHICH SHARE A CHILD IN COMMON ARE EITHER IDENTICAL OR ONE IS SUBORDINATED TO THE OTHER


Theorems

(genus(A) & genus(B) & x(inst(x, A) & inst(x, B))) C(C is_a A & C is_a B)

IF TWO GENERA HAVE A COMMON INSTANCE THEN THEY HAVE A COMMON CHILD


Expanding the theory

Sexually reproducing organismsOrganisms in general

To take account of development (child, adult; larva, butterfly)

Biological processesBiological functions

-- at different levels of granularity


How to understand species (aka types, universals, kinds)

Species are something like invariants in reality which can be studied by science

Species have instances: this mouse, this cell, this cell membrane ...


Universal, Classes, Sets

A class is the extension of universal


Class =def

a maximal collection of particulars determined by a general term (‘cell’, ‘mouse’, ‘Saarländer’)

the class A = the collection of all particulars x for which ‘x is A’ is true


Universals and Classes vs. SumsThe former are marked by granularity: they divide up the domain into whole units, whose interior parts are traced over. The universal human being is instantiated only by human beings as single, whole units.

A mereological sum is not granular in this sense (molecules are parts of the mereological sum of human beings)


A bad solutionIdentify both universals and classes with sets in

the mathematical sense

Problem of false positives

adult childlion in Leipzig lionanimal owned by the Emporer mammalmammal weighing less than 200 Kg animal


Sets in the mathematical sense are marked by granularity

Granularity = each class or set is laid across reality like a grid consisting (1) of a number of slots or pigeonholes each (2) occupied by some member.

Each set is (1) associated with a specific number of slots, each of which (2) must be occupied by some specific member.

A class survives the turnover in its instances: both (1) the number of slots and (2) the individuals occupying these slots may vary with time


But sets are timelessA set is an abstract structure, existing outside time and space. The set of human beings existing at t is (timelessly) a different entity from the set of human beings existing at t because of births and deaths. Biological classes exist in timeDarwin: because the universals of which they are extensions exist in time

Species and Classification in Biology Barry Smith

Documents

Transcript of Species and Classification in Biology Barry Smith