AEC3PO

IRI:
https://w3id.org/lbd/aec3po/ontology
Contributors :
http://maxime-lefrancois.info/me#
https://w3id.org/lbd/aec3po/edlira
https://w3id.org/lbd/aec3po/etc
https://w3id.org/lbd/aec3po/pan
https://w3id.org/lbd/aec3po/thomas
Other visualisation :
Ontology source - WebVowl

Table of Content

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

Classes

And Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/AndCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
Check verified if and only if all of its sub-checks are verified.
has super-classes
checklist statementc
has sub checkop min 1

applicabilitiesc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Applicabilities

is disjoint with
Requirementc, Requirementc, Requirementc

category check statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/CategoryCheckStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
check check statementc

certificate check statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/CertificateCheckStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
check check statementc

Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Check

is defined by
https://w3id.org/lbd/aec3po/ontology
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.
has super-classes
methodc
has sub-classes
Component Checkc, Declarative Checkc, Procedural Checkc, numerical checkc
is in domain of
has sub checkop, operationalizesop
is in range of
checkedop, has sub checkop, is operationalized byop
is disjoint with
legal resourcec, Checkingc, Designc, Feature Of Interestc, Propertyc, Property Kindc, verifierc

check statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/CheckStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Statementc

Checkingc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Checking

is defined by
https://w3id.org/lbd/aec3po/ontology
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.
has super-classes
eventc
made byop some verifierc
checkedop min 1
is in domain of
checkedop, has evidenceop, made byop, satisfiedop
is disjoint with
legal resourcec, Checkc, Designc, Feature Of Interestc, Propertyc, Property Kindc, verifierc

checklist statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/ChecklistStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Statementc
has sub-classes
And Checkc, Or Checkc

classification designc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/ClassificationDesign

is defined by
https://w3id.org/lbd/aec3po/ontology
Designs that take values in classification schemes, described using SKOS
is equivalent to
conceptc and (in schemeop some concept schemec)

comparisonComparisonOperatorc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator

is defined by
https://w3id.org/lbd/aec3po/ontology
Formally defined as the set of skos:Concept in concept scheme aec3po:ComparisonOperatorTable
is equivalent to
conceptc and (in schemeop value comparison operator table)
has super-classes
conceptc
is in range of
has comparisonOperatorop
has members
comparison operator eqni, comparison operator geni, comparison operator gtni, comparison operator leni, comparison operator ltni

Component Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/ComponentCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
Formally defined as checks for some feature of interest
is equivalent to
Checkc and (for designop only inverse for designop only Feature Of Interestc)
has super-classes
Checkc

Declarative Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/DeclarativeCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
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.
has super-classes
Checkc
has sub-classes
i d s checkc

definition statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/DefinitionStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Statementc

Designc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Design

is defined by
https://w3id.org/lbd/aec3po/ontology
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.
has super-classes
designc
has sub-classes
property designc, property kind designc
is in range of
for designop, has designop
is disjoint with
legal resourcec, Checkc, Checkingc, Feature Of Interestc, Propertyc, Property Kindc, verifierc

Documentc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Document

is defined by
https://w3id.org/lbd/aec3po/ontology
A document representing AEC regulations, guidelines, building codes etc.
has sub-classes
Document Subdivisionc
is in domain of
Referencesop, has Partop

Document Subdivisionc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/DocumentSubdivision

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Documentc
has sub-classes
Statementc
is in range of
has Partop

Feature Of Interestc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/FeatureOfInterest

is defined by
https://w3id.org/lbd/aec3po/ontology
The object whose conformance against checks is verified.
has super-classes
objectc
is in domain of
has Propertyop
is disjoint with
legal resourcec, Checkc, Checkingc, Designc, Propertyc, Property Kindc, verifierc

human evaluated statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/HumanEvaluatedStatement

is defined by
https://w3id.org/lbd/aec3po/ontology
A type of check that is evaluated by a human. Those are primarily for issues of perception, e.g. "is aesthetically appropriate".
has super-classes
Statementc

i d s checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/IDSCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Declarative Checkc

Legal Verifierc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/LegalVerifier

is defined by
https://w3id.org/lbd/aec3po/ontology
has sub-classes
Private Verifierc, State Verifierc

numerical checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/NumericalCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
A check that involves checking one numerical property against another, i.e. x < y or similar.
has super-classes
Checkc

Or Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/OrCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
Check verified if and only if at least one of its sub-checks is verified.
has super-classes
checklist statementc
has sub checkop min 1

Private Verifierc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/PrivateVerifier

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Legal Verifierc

Procedural Checkc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/ProceduralCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
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.
has super-classes
Checkc

Propertyc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Property

is defined by
https://w3id.org/lbd/aec3po/ontology
An aspect of a feature of interest that is intrinsic to and cannot exist without the feature of interest.
has super-classes
qualityc
is in domain of
has property kindop
is in range of
has Propertyop
is disjoint with
legal resourcec, Checkc, Checkingc, Designc, Feature Of Interestc, Property Kindc, verifierc

property designc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/PropertyDesign

is defined by
https://w3id.org/lbd/aec3po/ontology
Designs that assign a value expressed as a literal to some property of a feature of interest.
has super-classes
Designc
inverse has designop only Propertyc
has valuedp exactly 1
is in domain of
has valuedp

Property Kindc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/PropertyKind

is defined by
https://w3id.org/lbd/aec3po/ontology
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
has super-classes
regionc
is in range of
for property kindop, has property kindop
has members
compressive forceni, cross sectionni, gamma mni, has requiredfc0kni, kmodni, system strengthni
is disjoint with
legal resourcec, Checkc, Checkingc, Designc, Feature Of Interestc, Propertyc, verifierc

property kind designc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/PropertyKindDesign

is defined by
https://w3id.org/lbd/aec3po/ontology
Designs that constrain the value for some property kind.
has super-classes
Designc
inverse has designop only Property Kindc
has comparisonOperatorop exactly 1
has valuedp exactly 1

Requirementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Appliances

Represents the Appliances tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.
has super-classes
Statementc
is disjoint with
Requirementc, Requirementc, Requirementc

Requirementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Exceptions

Represents the Exception tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.
has super-classes
Statementc
is disjoint with
Requirementc, applicabilitiesc, Requirementc, Requirementc

Requirementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Requirement

Represents the Requirement tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.
has super-classes
Statementc
is disjoint with
Requirementc, applicabilitiesc, Requirementc, Requirementc

Requirementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Selection

Represents the Selection tag in the semantic mark-up Requirement Applicabilities Selection and Exceptions (RASE)methodology.
has super-classes
Statementc
is disjoint with
Requirementc, applicabilitiesc, Requirementc, Requirementc

State Verifierc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/StateVerifier

is defined by
https://w3id.org/lbd/aec3po/ontology
has super-classes
Legal Verifierc

Statementc back to ToC or Class ToC

IRI: https://w3id.org/lbd/aec3po/Statement

is defined by
https://w3id.org/lbd/aec3po/ontology
Something said in a building compliance-related document
has super-classes
Document Subdivisionc
has sub-classes
Requirementc, Requirementc, Requirementc, Requirementc, check statementc, checklist statementc, definition statementc, human evaluated statementc
is in domain of
Sourceop

Object Properties

checkedop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/checked

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a checking act to the feature of interest, property, design, check, or legal resource, it verified.
has sub-properties
satisfiedop, unsatisfied checkop
has domain
Checkingc
has range
Checkc

for designop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/forDesign

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a check, verifier, or checking act, to the type of design it applies.
has domain
Checkc or Checkingc or verifierc
has range
Designc

for property kindop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/forPropertyKind

is defined by
https://w3id.org/lbd/aec3po/ontology
Links any entity (check, verification, procedure execution) to some property kind it is
has range
Property Kindc

has comparisonOperatorop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasComparisonOperator

is defined by
https://w3id.org/lbd/aec3po/ontology
The comparisonOperator of a property kind design; A set of values is defined by C3PO in the corresponding concept scheme.

has characteristics : functional

has super-properties
has designop
has range
comparisonComparisonOperatorc

has designop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasDesign

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a feature of interest or a property to a description of its design.
has sub-properties
has comparisonOperatorop
has domain
Feature Of Interestc or Propertyc
has range
Designc

has evidenceop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasEvidence

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a checking act to some evidence that demonstrates that this checking act is satisfied or unsatisfied.
has domain
Checkingc

has Partop back to ToC or Object Property ToC

IRI: http://purl.org/dc/terms/hasPart

A related resource that is included either physically or logically in the described resource.
has domain
Documentc
has range
Document Subdivisionc
is inverse of
is part ofop

has Propertyop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasProperty

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a feature of interest to one of its aspect that is intrinsic to and cannot exist without it.
has domain
Feature Of Interestc
has range
Propertyc

has property kindop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasPropertyKind

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a property of a feature of interest to its kind
has domain
Propertyc
has range
Property Kindc

has sub checkop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/hasSubCheck

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a AndCheck to the set of checks that all need to be verified. Links a OrCheck to the set of checks that at least one must verify.
has domain
Checkc
has range
Checkc

Identifierop back to ToC or Object Property ToC

IRI: http://purl.org/dc/terms/identifier

has domain
Documentc or Document Subdivisionc or Statementc
is also defined as
data property

is operationalized byop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/isOperationalizedBy

is defined by
https://w3id.org/lbd/aec3po/ontology
has domain
document subdivisionc
has range
Checkc
is inverse of
operationalizesop

is referenced byop back to ToC or Object Property ToC

IRI: http://purl.org/dc/terms/isReferencedBy

is inverse of
Referencesop

made byop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/madeBy

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a checking act to the verifier that made it.
has domain
Checkingc
has range
verifierc

operationalizesop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/operationalizes

is defined by
https://w3id.org/lbd/aec3po/ontology
has domain
Checkc
has range
document subdivisionc
is inverse of
is operationalized byop

Referencesop back to ToC or Object Property ToC

IRI: http://purl.org/dc/terms/references

has domain
Documentc
is inverse of
is referenced byop
is also defined as
data property

satisfiedop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/satisfied

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a checking act to a satisfied feature of interest, property, design, check, or legal resource.
has super-properties
checkedop
has domain
Checkingc
has range
legal resourcec or Checkc or Designc or Feature Of Interestc or Propertyc

Sourceop back to ToC or Object Property ToC

IRI: http://purl.org/dc/terms/source

has domain
Statementc
is also defined as
data property

unsatisfied checkop back to ToC or Object Property ToC

IRI: https://w3id.org/lbd/aec3po/unsatisfied

is defined by
https://w3id.org/lbd/aec3po/ontology
Links a checking act to an unsatisfied feature of interest, property, design, check, or legal resource.
has super-properties
checkedop

Data Properties

as textdp back to ToC or Data Property ToC

IRI: https://w3id.org/lbd/aec3po/asText

is defined by
https://w3id.org/lbd/aec3po/ontology
The text as written in a compliance related document or the content of a declarative or procedural check, that verifiers can use.
has domain
Declarative Checkc or Procedural Checkc or Statementc

has valuedp back to ToC or Data Property ToC

IRI: https://w3id.org/lbd/aec3po/hasValue

is defined by
https://w3id.org/lbd/aec3po/ontology
links a property design to the value of that property, expressed as a literal.

has characteristics : functional

has domain
property designc

Identifierop back to ToC or Data Property ToC

IRI: http://purl.org/dc/terms/identifier

has range
literal
is also defined as
object property

Referencesop back to ToC or Data Property ToC

IRI: http://purl.org/dc/terms/references

has range
literal
is inverse of
is referenced byop
is also defined as
object property

Sourceop back to ToC or Data Property ToC

IRI: http://purl.org/dc/terms/source

has range
literal
is also defined as
object property

Named Individuals

comparison operator eqni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator-eq

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
comparisonComparisonOperatorc
has facts
in schemeop Opeator table

comparison operator geni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator-ge

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
comparisonComparisonOperatorc
has facts
in schemeop Opeator table

comparison operator gtni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator-gt

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
comparisonComparisonOperatorc
has facts
in schemeop Opeator table

comparison operator leni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator-le

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
comparisonComparisonOperatorc
has facts
in schemeop Opeator table

comparison operator ltni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperator-lt

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
comparisonComparisonOperatorc
has facts
in schemeop Opeator table

compressive forceni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/CompressiveForce

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

cross sectionni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/CrossSection

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

gamma mni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/GammaM

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

has requiredfc0kni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/hasRequiredfc0k

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

kmodni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/kmod

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

Opeator tableni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/ComparisonOperatorTable

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
concept schemec

system strengthni back to ToC or Named Individual ToC

IRI: https://w3id.org/lbd/aec3po/SystemStrength

is defined by
https://w3id.org/lbd/aec3po/ontology
belongs to
conceptc
Property Kindc

Annotation Properties

broaderap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#broader

definitionap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#definition

exampleap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#example

has top conceptap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#hasTopConcept

noteap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#note

pref labelap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#prefLabel

top concept ofap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2004/02/skos/core#topConceptOf

General Axioms

All Disjoint Classes back to ToC

legal resourcec, Checkc, Checkingc, Designc, Feature Of Interestc, Propertyc, Property Kindc, verifierc

Namespace Declarations back to ToC

default namespace
https://w3id.org/lbd/aec3po/ontology#
aec3po
https://w3id.org/lbd/aec3po/
dul-owl
http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
ns
http://creativecommons.org/ns#
ontology
http://data.europa.eu/eli/ontology#
owl
http://www.w3.org/2002/07/owl#
quantitykind
http://qudt.org/vocab/quantitykind/
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
skos
http://www.w3.org/2004/02/skos/core#
terms
http://purl.org/dc/terms/
vann
http://purl.org/vocab/vann/
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 .