http://www.loa-cnr.it/ontologies/DOLCE-Lite#temporary-part
Being part at time t. It holds for endurants only. This is important to model parts that can change or be lost over time without affecting the identity of the whole. In FOL, this is expressed as a ternary relation, but in DLs we only can reason with binary relations, then only the necessary axiom of compresence is represented here.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| dol:endurant | dol:temporary-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-part a owl:ObjectProperty ;
rdfs:comment "Being part at time t. It holds for endurants only. This is important to model parts that can change or be lost over time without affecting the identity of the whole. In FOL, this is expressed as a ternary relation, but in DLs we only can reason with binary relations, then only the necessary axiom of compresence is represented here."^^xsd:string ;
rdfs:domain dol:endurant ;
rdfs:range dol:endurant ;
rdfs:subPropertyOf dol:part,
dol:partly-compresent ;
owl:inverseOf dol:temporary-part-of .