bim4Hex-An ontology for descripting BIM information for Hex module in HBC ontology

IRI:
https://w3id.org/ibp/hbc/bim4hex
Current version:
1.0
Authors:
Haonan Qiu
Other visualisation:
Ontology source

Abstract

building information ontology for human experience of IEQ. Axioms are reused from SAREF, SAREF4BLDG and BOT

Table of Content

  1. Classes
  2. Object Properties
  3. Named Individuals
  4. Annotation Properties
  5. General Axioms
  6. SWRL Rules
  7. Namespace Declarations

Classes

air terminalc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#AirTerminal

has super-classes
building devicec
has stateop only on off statec
has stateop some on off statec
is disjoint with
shading devicec, space heaterc

air terminal settingc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#AirTerminalSetting

is equivalent to
settingc and (has setting objectop some air terminalc) and (has setting stateop some on off statec)

buildingc back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#Building

has super-classes
spatial thingc
has spaceop only building spacec

building devicec back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#BuildingDevice

has super-classes
physical objectc
has stateop only statec
has sub-classes
air terminalc, shading devicec, space heaterc
is in range of
containsop
is disjoint with
windowc

building spacec back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#BuildingSpace

An entity used to define the physical spaces of the building. A building space contains devices or building objects.
has super-classes
spatial thingc
adjacent elementop only windowc
is space ofop only buildingc or building spacec
has spaceop only building spacec
containsop only building devicec
has sub-classes
space without windowc
is in domain of
adjacent elementop

close statec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#CloseState

has super-classes
open close statec
has members
close state instantni

deployed statec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#DeployedState

has super-classes
statec
has sub-classes
fully deployedc, not deployedc, partly deployedc
is disjoint with
on off statec, open close statec

fully deployedc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#FullyDeployed

has super-classes
deployed statec
has members
fully deployed state instni

not deployedc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#NotDeployed

has super-classes
deployed statec
has members
not deployed state instni

off statec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OffState

has super-classes
on off statec
has members
off state instni

on off statec back to ToC or Class ToC

IRI: https://w3id.org/saref#OnOffState

has super-classes
statec
has sub-classes
off statec, on statec
is disjoint with
deployed statec, open close statec

on statec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OnState

has super-classes
on off statec
has members
on state instni

open close statec back to ToC or Class ToC

IRI: https://w3id.org/saref#OpenCloseState

has super-classes
statec
has sub-classes
close statec, open statec
is disjoint with
deployed statec, on off statec

open statec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OpenState

has super-classes
open close statec
has members
open state instantni

partly deployedc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#PartlyDeployed

has super-classes
deployed statec
has members
partly deployed state instni

physical objectc back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#PhysicalObject

has super-classes
spatial thingc
is contained inop only building spacec or physical objectc
has sub-classes
building devicec, windowc
is in domain of
has stateop
is in range of
has setting objectop

settingc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#Setting

has super-classes
has setting stateop some statec
is in domain of
has setting objectop, has setting stateop

shading devicec back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#ShadingDevice

has super-classes
building devicec
has stateop only deployed statec
has stateop some deployed statec
is disjoint with
space heaterc, air terminalc

shading device settingc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#ShadingDeviceSetting

is equivalent to
settingc and (has setting objectop some shading devicec) and (has setting stateop some deployed statec)

space heaterc back to ToC or Class ToC

IRI: https://w3id.org/def/saref4bldg#SpaceHeater

has super-classes
building devicec
has stateop some on off statec
has stateop only on off statec
is disjoint with
shading devicec, air terminalc

space heater settingc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceHeaterSetting

is equivalent to
settingc and (has setting objectop some space heaterc) and (has setting stateop some on off statec)

space with air terminalc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithAirTerminal

is equivalent to
building spacec and (containsop some air terminalc)
is disjoint with
space without air terminalc

space with heaterc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithHeater

is equivalent to
building spacec and (containsop some space heaterc)
is disjoint with
space without heaterc

space with shading devicec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithShadingDevice

is equivalent to
building spacec and (containsop some shading devicec)
is disjoint with
space without shading devicec

space with windowc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithWindow

is equivalent to
building spacec and (adjacent elementop some windowc)
is disjoint with
space without windowc

space without air terminalc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithoutAirTerminal

is equivalent to
building spacec and (containsop only not (air terminalc))
is disjoint with
space with air terminalc

space without heaterc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithoutHeater

is equivalent to
building spacec and (containsop only not (space heaterc))
is disjoint with
space with heaterc

space without shading devicec back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithoutShadingDevice

is equivalent to
building spacec and (containsop only not (shading devicec))
is disjoint with
space with shading devicec

space without windowc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#SpaceWithoutWindow

is equivalent to
building spacec and (adjacent elementop only not (windowc))
has super-classes
building spacec
is disjoint with
space with windowc

windowc back to ToC or Class ToC

IRI: https://w3id.org/saref#Window

has super-classes
physical objectc
has stateop some open close statec
has stateop only open close statec
is in range of
adjacent elementop
is disjoint with
building devicec

window settingc back to ToC or Class ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#WindowSetting

is equivalent to
settingc and (has setting objectop some windowc) and (has setting stateop some open close statec)

Object Properties

adjacent elementop back to ToC or Object Property ToC

IRI: https://w3id.org/bot#adjacentElement

has domain
building spacec
has range
windowc

containsop back to ToC or Object Property ToC

IRI: https://w3id.org/def/saref4bldg#contains

has characteristics: transitive

has super-properties
top object property
has range
building devicec
is inverse of
is contained inop

has setting objectop back to ToC or Object Property ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#hasSettingObject

has characteristics: functional

has domain
settingc
has range
physical objectc

has setting stateop back to ToC or Object Property ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#hasSettingState

has characteristics: functional

has super-properties
top object property
has domain
settingc
has range
statec

has spaceop back to ToC or Object Property ToC

IRI: https://w3id.org/def/saref4bldg#hasSpace

has stateop back to ToC or Object Property ToC

IRI: https://w3id.org/saref#hasState

has domain
physical objectc
has range
statec

is contained inop back to ToC or Object Property ToC

IRI: https://w3id.org/def/saref4bldg#isContainedIn

is inverse of
containsop

is similar object toop back to ToC or Object Property ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#isSimilarObjectTo

has super-properties
top object property

is similar shading device toop back to ToC or Object Property ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#isSimilarShadingDeviceTo

has super-properties
top object property

is space ofop back to ToC or Object Property ToC

IRI: https://w3id.org/def/saref4bldg#isSpaceOf

has characteristics: transitive

has super-properties
top object property
is inverse of
is space ofop, is space ofop

Named Individuals

close state instantni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#CloseStateInstant

belongs to
close statec

fully deployed state instni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#FullyDeployedStateInst

belongs to
fully deployedc

not deployed state instni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#NotDeployedStateInst

belongs to
not deployedc

off state instni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OffStateInst

belongs to
off statec

on state instni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OnStateInst

belongs to
on statec

open state instantni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#OpenStateInstant

belongs to
open statec

partly deployed state instni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex#PartlyDeployedStateInst

belongs to
partly deployedc

room16.2.05ni back to ToC or Named Individual ToC

IRI: https://w3id.org/ibp/hbc/bim4hex/Abox#Room16.2.05

belongs to

Annotation Properties

creatorap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/creator

is rule enabledap back to ToC or Annotation Property ToC

IRI: http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled

licenseap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/license

rightsap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/rights

titleap back to ToC or Annotation Property ToC

IRI: http://purl.org/dc/elements/1.1/title

General Axioms

All Disjoint Classes back to ToC

deployed statec, on off statec, open close statec

All Disjoint Classes back to ToC

shading devicec, space heaterc, air terminalc

SWRL rules

Rule #1back to ToC

space without air terminalc(?x) , space without air terminalc(?y) -> is similar air terminal toop(?x,?y)

Rule #2back to ToC

space without shading devicec(?x) , space without shading devicec(?y) -> is similar shading device toop(?x,?y)

Rule #3back to ToC

space with windowc(?x) , space with windowc(?y) -> is similar window toop(?x,?y)

Rule #4back to ToC

space without heaterc(?x) , space without heaterc(?y) -> is similar space heater toop(?x,?y)

Rule #5back to ToC

space with air terminalc(?x) , space with air terminalc(?y) -> is similar air terminal toop(?x,?y)

Rule #6back to ToC

space without windowc(?x) , space without windowc(?y) -> is similar window toop(?x,?y)

Rule #7back to ToC

space with shading devicec(?x) , space with shading devicec(?y) -> is similar shading device toop(?x,?y)

Rule #8back to ToC

is similar air terminal toop(?x,?y) , is similar shading device toop(?x,?y) , is similar space heater toop(?x,?y) , is similar window toop(?x,?y) -> is similar object toop(?x,?y)

Rule #9back to ToC

space with heaterc(?x) , space with heaterc(?y) -> is similar space heater toop(?x,?y)

Namespace Declarations back to ToC

default namespace
https://w3id.org/ibp/hbc/bim4hex#
abox
https://w3id.org/ibp/hbc/bim4hex/Abox#
bot
https://w3id.org/bot#
dc
http://purl.org/dc/elements/1.1/
hbc
https://w3id.org/ibp/hbc/
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
saref
https://w3id.org/saref#
saref4bldg
https://w3id.org/def/saref4bldg#
swrl
http://www.w3.org/2003/11/swrl#
swrla
http://swrl.stanford.edu/ontologies/3.3/swrla.owl#
swrlb
http://www.w3.org/2003/11/swrlb#
wgs84-pos
http://www.w3.org/2003/01/geo/wgs84_pos#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.