dol:generic-dependent leaf node


URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#generic-dependent

Label

generic-dependent

Description

The dependence on an individual of a given type at some time. This is traditionally a relation between particulars and universals, but this one states that x generically depends on y if a z different from y, but with the same properties, can be equivalently its depend-on.This is a temporally-indexed relation (embedded in this syntax).

Inherits from

Usage

DOMAINPROPERTYRANGE
dol:particular dol:generic-dependent dol:particular

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:generic-dependent a owl:ObjectProperty ;
    rdfs:comment "The dependence on an individual of a given type at some time. This is traditionally a relation between particulars and universals, but this one states that x generically depends on y if a z different from y, but with the same properties, can be equivalently its depend-on.This is a temporally-indexed relation (embedded in this syntax)."^^xsd:string ;
    rdfs:domain dol:particular ;
    rdfs:range dol:particular ;
    rdfs:subPropertyOf dol:immediate-relation ;
    owl:inverseOf dol:generically-dependent-on .