SpeciesIn biology, a species (: species) is often defined as the largest group of organisms in which any two individuals of the appropriate sexes or mating types can produce fertile offspring, typically by sexual reproduction. It is the basic unit of classification and a taxonomic rank of an organism, as well as a unit of biodiversity. Other ways of defining species include their karyotype, DNA sequence, morphology, behaviour, or ecological niche. In addition, paleontologists use the concept of the chronospecies since fossil reproduction cannot be examined.
HolotypeA holotype is a single physical example (or illustration) of an organism used when the species (or lower-ranked taxon) was formally described. It is either the single such physical example (or illustration) or one of several examples, but explicitly designated as the holotype. Under the International Code of Zoological Nomenclature (ICZN), a holotype is one of several kinds of name-bearing types. In the International Code of Nomenclature for algae, fungi, and plants (ICN) and ICZN, the definitions of types are similar in intent but not identical in terminology or underlying concept.
Web Ontology LanguageThe Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies and classification networks, essentially defining the structure of knowledge for various domains: the nouns representing classes of objects and the verbs representing relations between the objects. Ontologies resemble class hierarchies in object-oriented programming but there are several critical differences.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Database designDatabase design is the organization of data according to a database model. The designer determines what data must be stored and how the data elements interrelate. With this information, they can begin to fit the data to the database model. A database management system manages the data accordingly. Database design involves classifying data and identifying interrelationships. This theoretical representation of the data is called an ontology. The ontology is the theory behind the database's design.
Zoological specimenA zoological specimen is an animal or part of an animal preserved for scientific use. Various uses are: to verify the identity of a (species), to allow study, increase public knowledge of zoology. Zoological specimens are extremely diverse. Examples are bird and mammal study skins, mounted specimens, skeletal material, casts, pinned insects, dried material, animals preserved in liquid preservatives, and microscope slides. Natural history museums are repositories of zoological specimens Taxidermy Bird and mammal specimens are conserved as dry study skins, a form of taxidermy.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Property taxA property tax (whose rate is expressed as a percentage or per mille, also called millage) is an ad valorem tax on the value of a property. The tax is levied by the governing authority of the jurisdiction in which the property is located. This can be a national government, a federated state, a county or other geographical region, or a municipality. Multiple jurisdictions may tax the same property. Often a property tax is levied on real estate. It may be imposed annually or at the time of a real estate transaction, such as in real estate transfer tax.
Raw dataRaw data, also known as primary data, are data (e.g., numbers, instrument readings, figures, etc.) collected from a source. In the context of examinations, the raw data might be described as a raw score (after test scores). If a scientist sets up a computerized thermometer which records the temperature of a chemical mixture in a test tube every minute, the list of temperature readings for every minute, as printed out on a spreadsheet or viewed on a computer screen are "raw data".
DataIn common usage and statistics, data (USˈdætə; UKˈdeɪtə) is a collection of discrete or continuous values that convey information, describing the quantity, quality, fact, statistics, other basic units of meaning, or simply sequences of symbols that may be further interpreted formally. A datum is an individual value in a collection of data. Data is usually organized into structures such as tables that provide additional context and meaning, and which may themselves be used as data in larger structures.
Type (biology)In biology, a type is a particular specimen (or in some cases a group of specimens) of an organism to which the scientific name of that organism is formally associated. In other words, a type is an example that serves to anchor or centralizes the defining features of that particular taxon. In older usage (pre-1900 in botany), a type was a taxon rather than a specimen.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
