(New page: {{Include Image |ImageName=componency.jpg }} {{Content OP Proposal Template |SubmittedBy=User:ValentinaPresutti |Name=componency |AlsoKnownAs=composition |Intent=To represent (non-transiti...) |
|||
| Line 7: | Line 7: | ||
|AlsoKnownAs=composition | |AlsoKnownAs=composition | ||
|Intent=To represent (non-transitively) that objects either are proper parts of other objects, or have proper | |Intent=To represent (non-transitively) that objects either are proper parts of other objects, or have proper | ||
| − | parts. | + | parts. |
| − | + | ||
|Domain=Community:Parts and Collections | |Domain=Community:Parts and Collections | ||
| − | |CompetencyQuestion=What is this object component of? What are the components of this object? | + | |CompetencyQuestion=What is this object component of? What are the components of this object? |
| − | + | ||
|ReusableOWLBuildingBlock=http://www.ontologydesignpatterns.org/cp/owl/componency.owl | |ReusableOWLBuildingBlock=http://www.ontologydesignpatterns.org/cp/owl/componency.owl | ||
| − | |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 [[Submissions:PartOf| part of]] relation, which is ''transitive''. Temporal indexing is not expressible. To solve this issue see the [[Submissions:TimeIndexedPartOf| time indexed part of]] Content OP. | + | |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 [[Submissions:PartOf| part of]] relation, which is ''transitive''. Temporal indexing is not expressible. To solve this issue see the [[Submissions:TimeIndexedPartOf| time indexed part of]] Content OP. |
| − | + | ||
|Scenario=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. | |Scenario=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. | ||
|ExtractedFrom=http://www.loa-cnr.it/ontologies/DUL.owl | |ExtractedFrom=http://www.loa-cnr.it/ontologies/DUL.owl | ||
| Line 20: | Line 17: | ||
}} | }} | ||
{{Element list header}} | {{Element list header}} | ||
| + | {{Has Element Template | ||
| + | |HasElement=Object | ||
| + | }} | ||
| + | {{Has Element Template | ||
| + | |HasElement=hasComponent | ||
| + | }} | ||
| + | {{Has Element Template | ||
| + | |HasElement=isComponentOf | ||
| + | }} | ||
{{Reviews about me}} | {{Reviews about me}} | ||
This Content OP defines the above elements, it also includes the elements of [[Submissions:PartOf| part of]] Content OP. | This Content OP defines the above elements, it also includes the elements of [[Submissions:PartOf| part of]] Content OP. | ||
| Name: | componency |
|---|---|
| Submitted by: | User:ValentinaPresutti |
| Also Known As: | |
| Intent: | To represent (non-transitively) that objects either are proper parts of other objects, or have proper
parts. |
| Domains: | |
| Competency Questions: | |
| Solution description: | |
| Reusable OWL Building Block: | 1 (628) |
| 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. |
| Known Uses: | |
| Web References: | |
| Other References: | |
| Examples (OWL files): | |
| Extracted From: | |
| Reengineered From: | |
| Has Components: | |
| Specialization Of: | |
| Related CPs: |
The Componency Content OP locally defines the following ontology elements:
Object (owl:Class) Any physical, social, or mental object, or a substance. Can be component only of other objects, and can be composed of only other objects.
Object page
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.
hasComponent page isComponentOf (owl:ObjectProperty) The inverse of the hasComponent object property.
isComponentOf pageThis revision (revision ID 1305) takes in account the reviews: none
Other info at evaluation tab
This Content OP defines the above elements, it also includes the elements of part of Content OP.
'Ontology Design Patterns'