http://www.loa-cnr.it/ontologies/DOLCE-Lite#generic-dependent
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).
DOMAIN | PROPERTY | RANGE |
---|---|---|
dol:particular | dol:generic-dependent | dol:particular |
@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 .