AEC3PO: Check Method

A piece of information that operationalizes check statements in documents, usually executed in order to control the conformance of some entity. A Check Method is re-usable, and may be executed several times.

• operationalizes ^op
• hasNestedValue ^op

• is operationalized by ^op
• hasNestedTarget ^op

• Procedural Check Method ^c
• Declarative Check Method ^c
• Check for Concept ^c
• Numerical Check Method ^c
• Certificate Check Method ^c
• Category Check Method ^c
• Component Check Method ^c
• Boolean Check Method ^c
• Function Check Method ^c

Procedural check methods 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.

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.

• SPARQL Check Method ^c
• SHACL Check Method ^c
• SWRL Check Method ^c
• Composite Check Method ^c
• Jena Check Method ^c

Concept check method refers to a process of evaluating and verifying the validity and applicability of concepts used in construction projects. It involves a systematic examination of the concepts and ideas proposed for the design, construction, or management of a building or infrastructure to ensure they are appropriate, compliant, and align with industry standards.

Numerical check method refers to a type of check that involves assessing and verifying numerical data or values for accuracy and adherence to specific criteria or standards. This method typically includes comparing numerical inputs to predefined rules, constraints, or mathematical calculations to ensure data integrity and correctness.

Certificate check method is a formal process used to verify and validate the authenticity and compliance of certificates related to construction projects. It involves a systematic review and examination of certificates issued by authorised entities to ensure that they meet all the necessary regulatory requirements, standards, and specifications.

A validation type that involves comparing content against a textual concept.

Refers to a process of inspecting and verifying specific components or elements of a building or infrastructure to ensure they meet the required standards, specifications, and regulations. This method is used to assess the quality, functionality, and safety of individual components used in construction projects. Formally defined as checks for some feature of interest

Refers to a validation process that ensures compliance of data with a predefined SPARQL query, stored in aec3po:asText

Refers to a validation process that ensures compliance of data with predefined SHACL shapes, constraints, and rules.

A check method implemented using SWRL rules.

A check implemented by grouping and nesting other checks using the ACCORD rule language.

A check implemented using the Jena rule language.

Boolean check method refers to a type of validation method that checks whether a certain condition or property is either true or false. It is a simple binary check that evaluates the compliance or non-compliance of a specific aspect in the construction process.

Methods of check defined by functions. The function can be general purpose, not tied to specific project and reused i.e. getArea(), getVolume(). This concept is equivalent to the Execution class in the Function ontology: https://fno.io/spec/

Links a check method to a check statement in a document that it operationalizes.

Links a check statement in a document to a check method that operationalize it.

Links a numerical check method to the check method comparator it uses (=, <, >, etc.)

The target refers to either the name of an object, the name of property or a function.

TBD

TBD

the hasUnit property is used to link a specific property or feature of interest to its corresponding unit of measurement. For example, it could be a property related to physical quantities, such as temperature, length, or weight.

Links a boolean check method to the check method operator it uses (exists, for all, etc.)

The target refers to either the name of an object, the name of property or a function.

TBD

the hasUnit property is used to link a specific property or feature of interest to its corresponding unit of measurement. For example, it could be a property related to physical quantities, such as temperature, length, or weight.