http://www.loa-cnr.it/ontologies/DOLCE-Lite#temporary-proper-part
Being proper part at time t. It holds for endurants only. This is important to model proper parts that can change or be lost over time without affecting the identity of the whole.
DOMAIN | PROPERTY | RANGE |
---|---|---|
dol:endurant | dol:temporary-proper-part | dol:endurant |
@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
dol:temporary-proper-part a owl:ObjectProperty ;
rdfs:comment "Being proper part at time t. It holds for endurants only. This is important to model proper parts that can change or be lost over time without affecting the identity of the whole."^^xsd:string ;
rdfs:domain dol:endurant ;
rdfs:range dol:endurant ;
rdfs:subPropertyOf dol:proper-part,
dol:temporary-part ;
owl:inverseOf dol:temporary-proper-part-of .