Taxonomie je praxe a věda klasifikace. Slovo pochází z řeckého τάξις, taxis, ‚order‘ + νόμος, nomos, ‚law‘ nebo ‚science‘. Taxonomie, neboli taxonomická schémata, se skládají z taxonomických jednotek známých jako taxa (singulární taxon), nebo druhů věcí, které jsou často uspořádány v hierarchické struktuře, typicky spojené vztahy subtyp-supertyp, také nazývané vztahy mezi rodiči a dětmi. V takovém vztahu subtyp-supertyp má subtyp věc z definice stejné mantinely jako nadtyp věci plus jedno nebo více dodatečných mantinelů. Například auto je podtyp vozidla. Takže každé auto je také vozidlo, ale ne každé vozidlo je auto. Takže věc musí splňovat více mantinelů, aby byla autem, než aby byla vozidlem.
Původně se termín taxonomie vztahoval ke klasifikaci živých organismů (nyní známá jako alfa taxonomie); nyní se však tento termín používá v širším, obecnějším smyslu a nyní může odkazovat ke klasifikaci věcí, stejně jako k zásadám, na nichž je taková klasifikace založena.
Téměř cokoliv – animované objekty, neživé objekty, místa, pojmy, události, vlastnosti a vztahy – může být klasifikováno podle nějakého taxonomického schématu.
Pojem taxonomie se může vztahovat i na jiné systémy vztahů než hierarchie rodič-dítě, jako jsou síťové struktury s jinými typy vztahů. Taxonomie mohou zahrnovat svobodné děti s více rodiči, například „Car“ se může objevit s oběma rodiči „Vehicle“ a „Steel Mechanisms“; pro některé to však pouze znamená, že „car“ je součástí několika různých taxonomií.
Taxonomie může být také jednoduchá organizace druhů věcí do skupin, nebo dokonce abecední seznam. Nicméně termín slovní zásoba je pro takový seznam vhodnější. V současném použití v rámci „Knowledge Management“ jsou taxonomie vnímány jako méně široké než ontologie, protože ontologie uplatňují větší rozmanitost typů vztahů.
Hierarchická taxonomie je matematicky stromová struktura klasifikací pro danou množinu objektů. Také se nazývá Hierarchie kontejnmentu. Na vrcholu této struktury je jediná klasifikace, kořenový uzel, který platí pro všechny objekty. Uzly pod tímto kořenem jsou konkrétnější klasifikace, které platí pro podskupiny celkové množiny klasifikovaných objektů. Takže například v běžných schématech vědecké klasifikace organismů se kořen nazývá „Organismus“ následovaný uzly pro taxonomické řady: Doména, království, kmen, třída, atd.
Taxonomie a mentální klasifikace
Antropologové zaznamenali, že taxonomie jsou obecně zakotveny v místních kulturních a společenských systémech a slouží různým společenským funkcím. Snad nejznámější a nejvlivnější studií lidových taxonomií je kniha Émila Durkheima The Elementary Forms of Religious Life (Základní formy náboženského života). Novější zpracování lidových taxonomií (včetně výsledků několikaletého empirického výzkumu) a diskuse o jejich vztahu k vědecké taxonomii lze nalézt v knize Scotta Atrana Cognitive Foundations of Natural History (Kognitivní základy přírodní historie). Bylo zjištěno, že lidová taxonomie organismů z velké části souhlasí s vědeckou klasifikací, alespoň u větších a nápadnějších druhů, což znamená, že neplatí, že by lidová taxonomie byla založena čistě na utilitárních charakteristikách.
V sedmnáctém století se německý matematik a filozof Gottfried Leibniz v návaznosti na práci Majorkánského filozofa Ramona Llulla ze třináctého století na svém Ars generalis ultima, systému pro procedurální generování pojmů kombinováním pevné množiny myšlenek, snažil vyvinout abecedu lidského myšlení. Leibniz zamýšlel, aby jeho characteristica universalis byla „algebra“ schopná vyjádřit veškeré konceptuální myšlení. Koncept vytvoření takového „univerzálního jazyka“ byl v sedmnáctém století často zkoumán, také zejména anglickým filozofem Johnem Wilkinsem v jeho práci An Essay towards a Real Character and a Philosophical Language (1668), z níž nakonec vychází klasifikační schéma v Rogetově Thesaurovi.
Vztahy Is-a a Has-a
Dva z převládajících typů vztahů ve znalostních reprezentačních systémech jsou predikace a univerzálně kvantifikovaný podmíněný. Predikační vztahy vyjadřují představu, že jednotlivá entita je příkladem určitého typu (například Jan je svobodný mládenec), zatímco univerzálně kvantifikované podmíněné vyjadřují představu, že určitý typ je podtypem jiného typu (například Pes je savec).
Zde je řada taxonomií nebo seznamů významných klinických jevů:
Ve fylogenetické taxonomii (nebo kladistické taxonomii) mohou být organismy klasifikovány podle kladů, které jsou založeny na evolučním seskupování podle rodových znaků. Použitím kladů jako kritérií pro separaci může kladistická taxonomie pomocí kladogramů zařadit taxony do nekankovaných skupin.
V numerické taxonomii nebo taximetrii se obor řešení nebo nejvhodnější řešení numerických rovnic, které charakterizují všechny měřitelné veličiny množiny objektů, nazývá clusterová analýza.
Jiné taxonomie, například ty analyzované Durkheimem a Lévi-Straussem, jsou někdy nazývány lidovými taxonomiemi, aby se odlišily od vědeckých taxonomií, které tvrdí, že jsou odtrženy od společenských vztahů, a tedy objektivní a univerzální.