1. Home
  2. Entities
  3. Properties
  4. dol:identity-c

dol:identity-c leaf node

URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#identity-c

Label

identity-c

Description

Any pair of individuals are ontologically identical if they are identical to themselves. Reflexive, symmetric, and transitive.

Inherits from

  • dol:immediate-relation

    • Usage

    DOMAINPROPERTYRANGE
    dol:particular dol:identity-c 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:identity-c a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:comment "Any pair of individuals are ontologically identical if they are identical to themselves. Reflexive, symmetric, and transitive."^^xsd:string ;
    rdfs:domain dol:particular ;
    rdfs:range dol:particular ;
    rdfs:subPropertyOf dol:immediate-relation ;
    owl:inverseOf dol:identity-c .