1. Home
  2. Entities
  3. Properties
  4. dol:proper-part

dol:proper-part

URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#proper-part

Label

proper-part

Description

The proper part relation: irreflexive, antisymmetric, and transitive.

Inherits from

  • dol:part
  • dol:immediate-relation

    • Sub Property

  • dol:boundary
  • dol:temporary-proper-part

    • Usage

    DOMAINPROPERTYRANGE
    dol:particular dol:proper-part 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:proper-part a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:comment "The proper part relation: irreflexive, antisymmetric, and transitive."^^xsd:string ;
    rdfs:domain dol:particular ;
    rdfs:range dol:particular ;
    rdfs:subPropertyOf dol:part ;
    owl:inverseOf dol:proper-part-of .