dol:spatio-temporal-particular


URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#spatio-temporal-particular

Label

spatio-temporal-particular

Description

Dummy class for optimizing some property universes. It includes all entities that are not reifications of universals ('abstracts'), i.e. those entities that are in space-time.

Usage

Instances of dol:spatio-temporal-particular can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE

Implementation

@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

dol:spatio-temporal-particular a owl:Class ;
    rdfs:comment "Dummy class for optimizing some property universes. It includes all entities that are not reifications of universals ('abstracts'), i.e. those entities that are in space-time."^^xsd:string ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( [ a owl:Class ;
                        owl:unionOf ( dol:endurant dol:perdurant dol:quality ) ] dol:particular ) ] .