dol:temporary-proper-part


URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#temporary-proper-part

Label

temporary-proper-part

Description

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.

Usage

DOMAINPROPERTYRANGE
dol:endurant dol:temporary-proper-part dol:endurant

Implementation

@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 .