dol:relevant-part leaf node


URI

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

Label

relevant-part

Description

Features that are relevant parts of their host, like a bump or an edge.

Usage

Instances of dol:relevant-part can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE
From class dol:feature
dol:host owl:ObjectProperty The immediate relation holding for features and entities. dol:physical-endurant
From class dol:physical-endurant
dol:host-of owl:ObjectProperty dol:feature
dol:physical-location owl:ObjectProperty Analytical location holding between physical endurants and physical regions. dol:physical-region
From class dol:endurant
dol:life owl:FunctionalProperty Total constant participation applied to the mereological sum of the perdurants in which an endurant participates. dol:perdurant
dol:constant-participant-in owl:ObjectProperty dol:perdurant
dol:mereologically-coincides owl:ObjectProperty Having the same parts at time t. dol:endurant
dol:participant-in owl:ObjectProperty dol:perdurant
dol:temporary-atomic-part owl:ObjectProperty Having an atom as part at a time t. dol:endurant
dol:temporary-atomic-part-of owl:ObjectProperty dol:endurant
dol:temporary-part owl:ObjectProperty 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. dol:endurant
dol:temporary-part-of owl:ObjectProperty dol:endurant
dol:temporary-participant-in owl:ObjectProperty x participates in some of y's parts. dol:perdurant
dol:temporary-proper-part owl:ObjectProperty 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. dol:endurant
dol:temporary-proper-part-of owl:ObjectProperty dol:endurant
dol:total-constant-participant-in owl:ObjectProperty dol:perdurant
dol:total-temporary-participant-in owl:ObjectProperty dol:perdurant

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:relevant-part a owl:Class ;
    rdfs:comment "Features that are relevant parts of their host, like a bump or an edge."^^xsd:string ;
    rdfs:subClassOf dol:feature .