About: has part

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: has part

An Entity of Type : ObjectProperty, within Data Space : lodserver.iula.upf.edu
Start faceted browsing from this Type

A schematic relation between any entities, e.g. 'the human body has a brain as part', '20th century contains year 1923', 'World War II includes the Pearl Harbour event'. Subproperties and restrictions can be used to specialize hasPart for objects, events, etc.

Attributes	Values
type	owl:ObjectProperty owl:TransitiveProperty owl:ReflexiveProperty
label	has part ha parte
domain	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Entity
range	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Entity
isDefinedBy	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl
comment	A schematic relation between any entities, e.g. 'the human body has a brain as part', '20th century contains year 1923', 'World War II includes the Pearl Harbour event'. Subproperties and restrictions can be used to specialize hasPart for objects, events, etc. A schematic relation between any entities, e.g. 'the human body has a brain as part', '20th century contains year 1923', 'World War II includes the Pearl Harbour event'. Parthood should assume the basic properties of mereology: transitivity, antisymmetry, and reflexivity (propert Parthood of course misses reflexivity). However, antisymmetry is not supported in OWL2 explicitly, therefore DUL has to adopt one of two patterns: 1) dropping asymmetry axioms, while granting reflexivity: this means that symmetry is not enforced, but permitted for the case of reflexivity. Of course, in this way we cannot prevent symmetric usages of hasPart; 2) dropping the reflexivity axiom, and enforce asymmetry: in this case, we would prevent all symmetric usages, but we loose the possibility of enforcing reflexivity, which is commonsensical in parthood. In DUL, we adopt pattern #1 for partOf, and pattern #2 for properPartOf, which seems a good approximation: due to the lack of inheritance of property characteristics, each asymmetric hasPropertPart assertion would also be a reflexive hasPart assertion (reflexive reduction design pattern). Subproperties and restrictions can be used to specialize hasPart for objects, events, etc.
subPropertyOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#associatedWith
owl:inverseOf	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#isPartOf
owl:propertyChainAxiom	nodeID://b960439 nodeID://b960745 nodeID://b960885 nodeID://b961025 nodeID://b961165 nodeID://b961305 nodeID://b961445 nodeID://b961585 nodeID://b961887
is first of	nodeID://b961021 nodeID://b961161 nodeID://b960741 nodeID://b961301 nodeID://b960881 nodeID://b961441 nodeID://b961581 nodeID://b961883
is subPropertyOf of	http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasComponent http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#hasProperPart dbpedia-owl:film
is owl:onProperty of	nodeID://b940900 nodeID://b940910 nodeID://b940919 nodeID://b940952 nodeID://b940956 nodeID://b940963 nodeID://b940973 nodeID://b940980 nodeID://b940984 nodeID://b940996 nodeID://b941005 nodeID://b939881 nodeID://b939891 nodeID://b939900 nodeID://b939933 nodeID://b939937 nodeID://b939944 nodeID://b939954 nodeID://b939961 nodeID://b939965 nodeID://b939977 nodeID://b939986 nodeID://b940036 nodeID://b940046 nodeID://b940055 nodeID://b940088 nodeID://b940092 nodeID://b940099 nodeID://b940109 nodeID://b940116 nodeID://b940120 nodeID://b940132 nodeID://b940141 nodeID://b961062 nodeID://b961067 nodeID://b961072 nodeID://b961084 nodeID://b961088 nodeID://b961095 nodeID://b961102 nodeID://b961111 nodeID://b961113 nodeID://b961119 nodeID://b961123 nodeID://b961128 nodeID://b961202 nodeID://b961207 nodeID://b961212 nodeID://b961224 nodeID://b961228 nodeID://b961235 nodeID://b961242 nodeID://b961251 nodeID://b961253 nodeID://b961259 nodeID://b961263 nodeID://b961268 nodeID://b960782 nodeID://b960787 nodeID://b960792 nodeID://b960804 nodeID://b960808 nodeID://b960815 nodeID://b960822 nodeID://b960831 nodeID://b960833 nodeID://b960839 nodeID://b960843

This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 06.01.3127, on Linux (x86_64-pc-linux-gnu), Standard Edition
Copyright © 2009-2011 OpenLink Software