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" .