Una meronomía o partonomía es un tipo de jerarquía que se ocupa de las relaciones entre parte y todo, en contraste con una taxonomía cuya categorización se basa en conjuntos discretos . En consecuencia, la unidad de clasificación meronómica es meron , mientras que la unidad de clasificación taxonómica es taxon . Estas estructuras conceptuales se utilizan en lingüística e informática , con aplicaciones en biología . La relación parte-todo a veces se denomina HAS-A y corresponde a la composición de objetos en la programación orientada a objetos.. [1] El estudio de la meronomía se conoce como mereología , y en lingüística un merónimo es el nombre que se le da a una parte constituyente, una sustancia o un miembro de algo. "X" es un merónimo de "Y" si una X es parte de una Y. [2]
Ejemplo
- Los coches tienen partes: motor, faro, rueda.
- Los motores tienen partes: cárter, carburador
- Los faros tienen partes: bombilla de faro, reflector
En representación del conocimiento
En términos formales, en el contexto de la representación del conocimiento y las ontologías , una meronomía es un ordenamiento parcial de los tipos de conceptos por la relación parte-todo. [3]
El estudio clásico de las partes y, mereología , tiene tres axiomas : [4] la parte de relación es
- Transitivo - "Las partes de las partes son partes del todo" - si A es parte de B y B es parte de C, entonces A es parte de C.
- Reflexivo - "Todo es parte de sí mismo" - A es parte de A.
- Antisimétrico - "Nada es parte de sus partes" - si A es parte de B y A ≠ B, entonces B no es parte de A.
Las meronomías pueden estar representadas en lenguajes de la Web Semántica como OWL y SKOS . En los lenguajes naturales están representados por merónimos y holónimos .