AEC3PO

Check verified if and only if all of its sub-checks are verified.

Represents the Appliances tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.

A piece of information that operationalizes a clause, usually executed in order to control the conformance of some entity against a design. A Check is re-usable, and may be executed several times.

Act of verifying a check to determine the conformance of some design. Links to Verifier that made the checking act ; Links to the checks that were verified, either satified, or unsatisfied; Links to the designs that were satisfied, or unsatisfied.

Designs that take values in classification schemes, described using SKOS

Formally defined as the set of skos:Concept in concept scheme aec3po:ComparisonOperatorTable

Formally defined as checks for some feature of interest

Declarative check, expressed in IDS, SPARQL, BimSPARQL (SPARQL with eg HDF5 for geometry access, with extra SPARQL functions), or any other declarative language.

The identifier of a Declarative Check is expected to be dereferenceable, potentially with mediatype-based content negotiation. The content type of the retrieved representation indicates which type of declaration language it uses. Alternatively, the check expression may be given using a property such as aec3po:asText.

A Description of some design of a feature of interest, in terms of structure, geometry, and function. May be linked to a feature of interest to describe the design it has, for example using the ClassificationDesign subclass. May be linked to a check, verifier, or check result, to describe the kind of design it is for.

Example: 
- the type of use of a building (Residential / Commercial)
- the type of structural material (steel/ RC / timber)
- the designed height of a building (High-rise, Mid-rise, Low-rise)
- the area of space abc in IFC model xyz is 14 m2

A document representing AEC regulations, guidelines, building codes etc.

Approved Document A, Eurocode, Finish Regulations...

Paragraph, section, definition...

Represents the Exception tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.

The object whose conformance against checks is verified.

A building, a building space, a building element, the set of columns in a building, ...

A type of check that is evaluated by a human. Those are primarily for issues of perception, e.g. "is aesthetically appropriate".

A check that involves checking one numerical property against another, i.e. x < y or similar.

Check verified if and only if at least one of its sub-checks is verified.

Procedural checks are semantically described but opaque modules, implemented in any language or as REST API, invoked by micro-services. Alternatively, the check procedure may be given using a property such as aec3po:asText.

An aspect of a feature of interest that is intrinsic to and cannot exist without the feature of interest.

The height of a building, the area of a space, the U-value of a wall

Designs that assign a value expressed as a literal to some property of a feature of interest.

Any region in a dimensional space, which can be used as a value for a quality of an entity. It is expected that the property kinds are organized in a hierarchy of concepts using skos:broader/skos:narrower. Property kinds may be taken from the QUDT Quantity Kind vocabulary http://qudt.org/2.1/vocab/quantitykind

Length, Area, U-Value.

Designs that constrain the value for some property kind.

Represents the Requirement tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.

Represents the Selection tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.

Something said in a building compliance-related document

Any  solar protection  solutions  in  the  building  shall  be  taken  into  account  in  the  calculation  of  solar energy gains for the building.