Submissions:Componency/hasComponent
From Odp
(Difference between revisions)
(New page: {{Element of}} {{Content OP Element |Name=hasComponent |ElementType=owl:ObjectProperty |Description=The hasPart relation without transitivity, holding betwe...) |
|||
| Line 4: | Line 4: | ||
|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. |
}} | }} | ||
Revision as of 14:18, 27 April 2008
hasComponent has Category:OntologyElement and is an element of Componency
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.
