Definition of s4bldg:hasSpace
Defined in https://saref.etsi.org/saref4bldg/v1.1.2/ as:
Relation between a building or a building space and the spaces it can be divided into.
Description as an Object Property
- has characteristics
- transitive
- is inverse of
- s4bldg:isSpaceOf
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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix s4bldg: <https://saref.etsi.org/saref4bldg/> .
s4bldg:Building rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom s4bldg:BuildingSpace ;
owl:onProperty s4bldg:hasSpace ] .
<https://saref.etsi.org/saref4inma/v2.1.1/example/Factory#> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_5_SLConfiguration#> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_6_GeneralSignals#> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4lift/v2.1.1/example/TS103735_Clause_6_5_SLConfiguration#> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4lift/v2.1.1/example/TS103735_Clause_6_6_GeneralSignals#> dct:references s4bldg:hasSpace .
s4bldg:BuildingSpace rdfs:subClassOf [ a owl:Restriction ;
owl:allValuesFrom s4bldg:BuildingSpace ;
owl:onProperty s4bldg:hasSpace ] .
<https://saref.etsi.org/saref4lift/v1.1.1/> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4lift/v2.1.1/> dct:references s4bldg:hasSpace .
<https://saref.etsi.org/saref4bldg/v1.1.2/> dct:references s4bldg:hasSpace ;
dct:subject s4bldg:hasSpace .
<https://saref.etsi.org/saref4bldg/v2.1.1/> dct:references s4bldg:hasSpace ;
dct:subject s4bldg:hasSpace .
s4bldg:hasSpace a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "has space"@en ;
dct:isReferencedBy <https://saref.etsi.org/saref4bldg/v1.1.2/>,
<https://saref.etsi.org/saref4bldg/v2.1.1/>,
<https://saref.etsi.org/saref4inma/v2.1.1/example/Factory#>,
<https://saref.etsi.org/saref4lift/v1.1.1/>,
<https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_5_SLConfiguration#>,
<https://saref.etsi.org/saref4lift/v1.1.1/example/TS103735_Clause_6_6_GeneralSignals#>,
<https://saref.etsi.org/saref4lift/v2.1.1/>,
<https://saref.etsi.org/saref4lift/v2.1.1/example/TS103735_Clause_6_5_SLConfiguration#>,
<https://saref.etsi.org/saref4lift/v2.1.1/example/TS103735_Clause_6_6_GeneralSignals#> ;
rdfs:comment "Relation between a building or a building space and the spaces it can be divided into."@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/>,
<https://saref.etsi.org/saref4inma/v2.1.1/>,
<https://saref.etsi.org/saref4lift/v1.1.1/>,
<https://saref.etsi.org/saref4lift/v2.1.1/> ;
owl:inverseOf s4bldg:isSpaceOf ;
ns1:hiddenLabel "hasSpace" .