s4bldg:isSpaceOf — isSpaceOf

IRI
https://saref.etsi.org/saref4bldg/isSpaceOf
Is defined by
https://saref.etsi.org/saref4bldg/v1.1.2/
https://saref.etsi.org/saref4bldg/v2.1.1/
Is referenced by
https://saref.etsi.org/saref4bldg/v1.1.2/
https://saref.etsi.org/saref4bldg/v1.1.2/example/example1BLDG#
https://saref.etsi.org/saref4bldg/v2.1.1/
https://saref.etsi.org/saref4bldg/v2.1.1/example/example1BLDG#
Download serialization
License

Definition of s4bldg:isSpaceOf

Defined in https://saref.etsi.org/saref4bldg/v1.1.2/ as:

Relation between a building space and the building or building space it belongs to.

Description as an Object Property

has characteristics
transitive
is inverse of
s4bldg:hasSpace

Turtle

@prefix dct: <http://purl.org/dc/terms/> .
@prefix ns1: <http://www.w3.org/2004/02/skos/core#> .
@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 s4bldg: <https://saref.etsi.org/saref4bldg/> .

s4bldg:hasSpace owl:inverseOf s4bldg:isSpaceOf .

s4bldg:BuildingSpace rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf [ a rdf:List ;
                            rdf:first s4bldg:Building ;
                            rdf:rest [ a rdf:List ;
                                    rdf:first s4bldg:BuildingSpace ;
                                    rdf:rest () ] ] ] ;
            owl:onProperty s4bldg:isSpaceOf ] .

<https://saref.etsi.org/saref4bldg/v1.1.2/example/example1BLDG#> dct:references s4bldg:isSpaceOf .

<https://saref.etsi.org/saref4bldg/v2.1.1/example/example1BLDG#> dct:references s4bldg:isSpaceOf .

<https://saref.etsi.org/saref4bldg/v1.1.2/> dct:references s4bldg:isSpaceOf ;
    dct:subject s4bldg:isSpaceOf .

<https://saref.etsi.org/saref4bldg/v2.1.1/> dct:references s4bldg:isSpaceOf ;
    dct:subject s4bldg:isSpaceOf .

s4bldg:isSpaceOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "isSpaceOf"@en ;
    dct:isReferencedBy <https://saref.etsi.org/saref4bldg/v1.1.2/>,
        <https://saref.etsi.org/saref4bldg/v1.1.2/example/example1BLDG#>,
        <https://saref.etsi.org/saref4bldg/v2.1.1/>,
        <https://saref.etsi.org/saref4bldg/v2.1.1/example/example1BLDG#> ;
    rdfs:comment "Relation between a building space and the building or building space it belongs to."@en ;
    rdfs:isDefinedBy <https://saref.etsi.org/saref4bldg/v1.1.2/>,
        <https://saref.etsi.org/saref4bldg/v2.1.1/> ;
    rdfs:seeAlso <https://saref.etsi.org/saref4bldg/v1.1.2/>,
        <https://saref.etsi.org/saref4bldg/v2.1.1/> ;
    ns1:hiddenLabel "isSpaceOf" .