Difference between revisions of "Submissions:Componency/hasComponent" < Submissions:Componency

Latest revision as of 17:45, 4 March 2010

hasComponent has Category:OntologyElement and is an element of Componency

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.

@@ Line 1: / Line 1: @@
-{{Element of}}
 {{Content OP Element
 |Name=hasComponent
 |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.
-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:Componenct| componency]] Content OP.
+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.
 }}