A meronomy or partonomy is a type of
hierarchy
A hierarchy (from Greek: , from , 'president of sacred rites') is an arrangement of items (objects, names, values, categories, etc.) that are represented as being "above", "below", or "at the same level as" one another. Hierarchy is an important ...
that deals with part–whole relationships, in contrast to a
taxonomy
Taxonomy is the practice and science of categorization or classification.
A taxonomy (or taxonomical classification) is a scheme of classification, especially a hierarchical classification, in which things are organized into groups or types. ...
whose categorisation is based on
discrete sets. Accordingly, the unit of meronomical
classification Classification is a process related to categorization, the process in which ideas and objects are recognized, differentiated and understood.
Classification is the grouping of related facts into classes.
It may also refer to:
Business, organizat ...
is meron, while the unit of taxonomical classification is
taxon
In biology, a taxon ( back-formation from '' taxonomy''; plural taxa) is a group of one or more populations of an organism or organisms seen by taxonomists to form a unit. Although neither is required, a taxon is usually known by a particular n ...
. These conceptual structures are used in
linguistics
Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Ling ...
and
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
, with applications in
biology
Biology is the scientific study of life. It is a natural science with a broad scope but has several unifying themes that tie it together as a single, coherent field. For instance, all organisms are made up of cells that process hereditary ...
. The part–whole relationship is sometimes referred to as ''HAS-A'', and corresponds to object composition in
object-oriented programming
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of ...
. The study of meronomy is known as ''
mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation bet ...
'', and in linguistics a ''meronym'' is the name given to a constituent part of, a substance of, or a member of something. "X" is a meronym of "Y" if an X is a part of a Y.
Example
*Cars have parts: engine, headlight, wheel
**Engines have parts: crankcase, carburetor
**Headlights have parts: headlight bulb, reflector
In knowledge representation
In formal terms, in the context of
knowledge representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medic ...
and
ontologies, a meronomy is a
partial order
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary ...
of concept types by the part–whole
relation.
In the classic study of parts and wholes,
mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation bet ...
, the three defining properties of a partial order serve as
axioms.
Simple part-whole relations in OWL Ontologies
/ref> They are are, respectively, that the part-of relation is
* Transitive – "Parts of parts are parts of the whole" (If ''A'' is part of ''B'' and ''B'' is part of ''C'', then ''A'' is part of ''C'');
* Reflexive – "Everything is part of itself" (''A'' is part of ''A''); and
* Antisymmetric – "Nothing is a part of its parts" (If ''A'' is part of ''B'' and ''A'' ≠ ''B'', then ''B'' is not part of ''A'').
Meronomies may be represented in semantic web languages such as OWL and SKOS
Simple Knowledge Organization System (SKOS) is a W3C recommendation designed for representation of thesauri, classification schemes, taxonomies, subject-heading systems, or any other type of structured controlled vocabulary. SKOS is part of th ...
. In natural language
In neuropsychology, linguistics, and philosophy of language, a natural language or ordinary language is any language that has evolved naturally in humans through use and repetition without conscious planning or premeditation. Natural languages ...
s they are represented by meronyms and holonyms.
See also
*Mereology
In logic, philosophy and related fields, mereology ( (root: , ''mere-'', 'part') and the suffix ''-logy'', 'study, discussion, science') is the study of parts and the wholes they form. Whereas set theory is founded on the membership relation bet ...
* Meronymy
References
{{reflist
External links
Introduction to WordNet: An On-line Lexical Database
W3C SKOS Home Page
Mereology
Hierarchy
Semantic relations