http://www.ontologydesignpatterns.org/cp/owl/componency.owl |
|
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#isSpecializationOf
|
PartOf
|
|
http://www.w3.org/2002/07/owl#imports
|
http://www.ontologydesignpatterns.org/cp/owl/partof.owl
|
|
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasConsequences
|
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.
|
|
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasIntent
|
To represent (non-transitively) that entities either are proper parts of other entities, or have proper parts.
|
|
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
|
http://www.w3.org/2002/07/owl#Ontology
|
|
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#extractedFrom
|
http://ontologydesignpatterns.org/ont/dul/DUL.owl
|
|
http://www.w3.org/2002/07/owl#versionInfo
|
1.1 added rdfs:isDefinedBy for all named entities |
| Created by Adlo Gangemi
|
|
http://www.w3.org/2000/01/rdf-schema#comment
|
The componency pattern, without temporal indexing.
This pattern re-uses the part of pattern and is extracted from DOLCE-UltraLite by partial clone.
|
|
http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#coversRequirements
|
What is this entity component of? What are the components of this entity?
|
http://www.ontologydesignpatterns.org/cp/owl/componency.owl#isComponentOf |
|
http://www.w3.org/2000/01/rdf-schema#range
|
http://www.w3.org/2002/07/owl#Thing
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
is component of
|
|
http://www.w3.org/2000/01/rdf-schema#domain
|
http://www.w3.org/2002/07/owl#Thing
|
|
http://www.w3.org/2000/01/rdf-schema#isDefinedBy
|
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
|
|
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
|
http://www.w3.org/2002/07/owl#ObjectProperty
|
|
http://www.w3.org/2000/01/rdf-schema#comment
|
The hasPart relation without transitivity, holding between an entity (the system) and another (the component), and assuming a design that structures the system. For an explicit pattern encoding design, see the 'designobject' pattern.
The componency pattern uses the transitive reduction logical pattern to preserve transitive on the superproperty from the partof pattern. In practice, the partof pattern acts here as the transitive reduction of the componency pattern.
|
|
http://www.w3.org/2000/01/rdf-schema#subPropertyOf
|
http://www.ontologydesignpatterns.org/cp/owl/partof.owl#isPartOf
|
http://www.ontologydesignpatterns.org/cp/owl/componency.owl#hasComponent |
|
http://www.w3.org/2000/01/rdf-schema#range
|
http://www.w3.org/2002/07/owl#Thing
|
|
http://www.w3.org/2000/01/rdf-schema#label
|
has component
|
|
http://www.w3.org/2000/01/rdf-schema#domain
|
http://www.w3.org/2002/07/owl#Thing
|
|
http://www.w3.org/2002/07/owl#inverseOf
|
http://www.ontologydesignpatterns.org/cp/owl/componency.owl#isComponentOf
|
|
http://www.w3.org/2000/01/rdf-schema#isDefinedBy
|
http://www.ontologydesignpatterns.org/cp/owl/componency.owl
|
|
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
|
http://www.w3.org/2002/07/owl#ObjectProperty
|
|
http://www.w3.org/2000/01/rdf-schema#comment
|
The hasPart relation without transitivity, holding between an entity (the system) and another (the component), and assuming a design that structures the system. For an explicit pattern encoding design, see the 'designobject' pattern.
The componency pattern uses the transitive reduction logical pattern to preserve transitive on the superproperty from the partof pattern. In practice, the partof pattern acts here as the transitive reduction of the componency pattern.
|
|
http://www.w3.org/2000/01/rdf-schema#subPropertyOf
|
http://www.ontologydesignpatterns.org/cp/owl/partof.owl#hasPart
|