http://www.loa-cnr.it/ontologies/DOLCE-Lite#total-constant-participant-in
DOMAIN | PROPERTY | RANGE |
---|---|---|
dol:endurant | dol:total-constant-participant-in | dol:perdurant |
@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#> .
dol:total-constant-participant-in a owl:ObjectProperty ;
rdfs:domain dol:endurant ;
rdfs:range dol:perdurant ;
rdfs:subPropertyOf dol:constant-participant-in ;
owl:inverseOf dol:total-constant-participant .