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

dol:identity-n leaf node

URI

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

Label

identity-n

Description

Any pair of individuals are notionally identical iff they instantiate all and only the same concepts.

Inherits from

  • dol:immediate-relation

    • Usage

    DOMAINPROPERTYRANGE
    dol:particular dol:identity-n 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-n a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:comment "Any pair of individuals are notionally identical iff they instantiate all and only the same concepts."^^xsd:string ;
    rdfs:domain dol:particular ;
    rdfs:range dol:particular ;
    rdfs:subPropertyOf dol:immediate-relation ;
    owl:inverseOf dol:identity-n .