1. Home
  2. Entities
  3. Properties
  4. DOLCEbasic:partOf

DOLCEbasic:partOf

URI

https://w3id.org/DOLCE/OWL/DOLCEbasic#partOf

Types

owl:Class, owl:Class, owl:ObjectProperty, owl:TransitiveProperty

Label

part of

Description

PartOf is a binary relation that is a partial ordering between abstract entities or between perdurants. It founds an extensional mereology on each of these two categories.

Inherits from

Sub Property

Usage

DOMAINPROPERTYRANGE
Blank node (see implementation) DOLCEbasic:partOf Blank node (see implementation)

Implementation

@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:partOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "part of" ;
    ace_lexicon:TV_pl "are part of" ;
    ace_lexicon:TV_sg "is part of" ;
    ace_lexicon:TV_vbg "divided into parts" ;
    rdfs:comment "PartOf is a binary relation that is a partial ordering between abstract entities or between perdurants. It founds an extensional mereology on each of these two categories." ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( :Abstract :Perdurant ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( :Abstract :Perdurant ) ] ;
    rdfs:subPropertyOf :overlaps .