|Also Known As:||composition|
|Intent:|| To represent (non-transitively) that objects either are proper parts of other objects, or have proper
|Reusable OWL Building Block:||http://www.ontologydesignpatterns.org/cp/owl/componency.owl (136)|
|Consequences:||This Content OP allows designers to represent part-whole relations. It allows to distinguish between parts and proper parts. Relation of proper part is not transitive, and implies a simple part of relation, which is transitive. Temporal indexing is not expressible. To solve this issue see the time indexed part of Content OP.|
|Scenarios:||The turbine is a proper part of the engine, both are parts of a car. Furthermore, the engine and the battery are proper parts of the car.|
|Examples (OWL files):|
The Componency Content OP locally defines the following ontology elements:
hasComponent (owl:ObjectProperty) The hasPart relation without transitivity, holding between an Object (the system) and another (the component), and assuming a Design that structures the system Object. The componency Content OP uses the transitive reduction logical pattern to preserve transitive on the superproperty from the part of Content OP. In practice, the part of acts here as the transitive reduction of the componency Content OP.
isComponentOf (owl:ObjectProperty) The inverse of the hasComponent object property.
This Content OP defines the above elements, it also includes the elements of part of Content OP.