Submissions:Componency/hasComponent
From Odp
< Submissions:Componency(Difference between revisions)
(New page: {{Element of}} {{Content OP Element |Name=hasComponent |ElementType=owl:ObjectProperty |Description=The hasPart relation without transitivity, holding betwe...) |
Current revision (17:45, 4 March 2010) (view source) m (Text replace - '{{Element of}}' to '') |
||
| (One intermediate revision not shown.) | |||
| Line 1: | Line 1: | ||
| - | + | ||
{{Content OP Element | {{Content OP Element | ||
|Name=hasComponent | |Name=hasComponent | ||
|ElementType=owl:ObjectProperty | |ElementType=owl:ObjectProperty | ||
|Description=The [[Submissions:PartOf/hasPart| hasPart]] relation without transitivity, holding between an [[Submissions:Componency/Object| Object]] (the system) and another (the component), and assuming a Design that structures the system Object. | |Description=The [[Submissions:PartOf/hasPart| hasPart]] relation without transitivity, holding between an [[Submissions:Componency/Object| Object]] (the system) and another (the component), and assuming a Design that structures the system Object. | ||
| - | The componency Content OP uses the transitive reduction [[:Category:LogicalOP| logical pattern]] to preserve transitive on the superproperty from the [[Submissions:PartOf|part of]] Content OP. In practice, the [[Submissions:PartOf|part of]] acts here as the transitive reduction of the [[Submissions: | + | The componency Content OP uses the transitive reduction [[:Category:LogicalOP| logical pattern]] to preserve transitive on the superproperty from the [[Submissions:PartOf|part of]] Content OP. In practice, the [[Submissions:PartOf|part of]] acts here as the transitive reduction of the [[Submissions:Componency| componency]] Content OP. |
}} | }} | ||
Current revision
hasComponent has Category:OntologyElement and is an element of Componency
Name: hasComponent
Type: owl:ObjectProperty
Description: 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.
