New Search

Item 1 of 1 (back to results)

Reasoning About Product Completeness

Current search:

20. Product Design and Development: Product Design and Development > Reasoning About Product Completeness
×

Select any link to see items in a related category.

more general categories    information about this item
20. Product Design and Development 
20. Product Design and Development
 Product Design and Development (23) 
 Reasoning About Product Completeness (1)
description  Ontomatica's Reasoning About Product Completeness Data Application integrates relevant ontology rules (items, properties, relationships and constraints) with relevant data sets. The Reasoning About Product Completeness Data Application is used to evaluate completeness of a product specification as compared with similar products. Background: In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). The most familiar example is the completeness of the real numbers. A special use of the term refers to complete partial orders or complete lattices. However, many other interesting notions of completeness exist. The motivation for considering completeness properties derives from the great importance of suprema (least upper bounds, joins, " ") and infima (greatest lower bounds, meets, " ") to the theory of partial orders. Finding a supremum means to single out one distinguished least element from the set of upper bounds. On the one hand, these special elements often embody certain concrete properties that are interesting for the given application (such as being the least common multiple of a set of numbers or the union of a collection of sets). On the other hand, the knowledge that certain types of subsets are guaranteed to have suprema or infima enables us to consider the computation of these elements as total operations on a partially ordered set. For this reason, posets with certain completeness properties can often be described as algebraic structures of a certain kind. In addition, studying the properties of the newly obtained operations yields further interesting subjects.