Digichecks Ontology
Release: 01-06-2025
- This version:
- Latest version:
- https://data.digichecks.eu/def/
- Revision:
- 1.0
- Issued on:
- Date issued
- Contributors:
- Coen van Gruijthuijsen, Semmtech
- Jeroen Werbrouck, University of Ghent
- Ruben Verstraeten, University of Ghent
- Mathias Bonduel
- Imported Ontologies:
- rdf-schema#
- owl
- shacl#
- Extended Ontologies:
- Semantic modeling and Linking
- Download serialization:
- License:
- Visualization:
- Cite as:
- Coen van Gruijthuijsen, Jeroen Werbrouck, Ruben Verstraeten (2025). The DigiChecks Ontology: a Top-Level Ontology for Managing the Building Permit Process, Digital Building Permit Conference
Abstract
The building permit process involves complex regulatory requirements and stakeholder interactions. Digitizing this process requires the integration of data from divergent sources, such as Building Information Models (BIM) and documents from applicants, but also machine-readable translations of regulations.Introduction back to ToC
This is a place holder text for the introduction. The introduction should briefly describe the ontology, its motivation, state of the art and goals.Digichecks Ontology: Overview back to ToC
This ontology has the following classes and properties.Classes
- Agent
- Allocation
- Association
- Concept Type
- Concrete Concept
- Decision
- Document
- Event
- Geometric Entity
- Machine readable rule
- Objectification
- Permit
- Permit request
- Project
- Requirement
- Temporal Entity
- Type
- Verification
- Verification method
Object Properties
- decision outcome
- is address for
- is geometry of
- is parcel for
- is permit for
- is permit for request
- logical operator
- result
Data Properties
Digichecks Ontology: Description back to ToC
The DigiChecks Permit Ontology is a top-level ontology for describing permitting processes, requirements, and verification activities. The ontology is based on the Semantic Modelling and Linking (SML, EN 17632) framework and provides core terminology for DigiChecks services to communicate unambiguously about permitting processes.Cross-reference for Digichecks Ontology classes, object properties and data properties back to ToC
This section provides details for each class and property defined by Digichecks Ontology.Classes
- Agent
- Allocation
- Association
- Concept Type
- Concrete Concept
- Decision
- Document
- Event
- Geometric Entity
- Machine readable rule
- Objectification
- Permit
- Permit request
- Project
- Requirement
- Temporal Entity
- Type
- Verification
- Verification method
Agentc back to ToC or Class ToC
IRI: http://www.w3.org/ns/prov#Agent
- has super-classes
- Participant c
- is also defined as
- named individual
Allocationc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Allocation
- has super-classes
- Objectification c
- is also defined as
- named individual
Associationc back to ToC or Class ToC
IRI: http://www.w3.org/ns/prov#Association
- has super-classes
- Information Object c
- is also defined as
- named individual
Concept Typec back to ToC or Class ToC
IRI: https://w3id.org/sml/def#ConceptType
- has super-classes
- Type c
- is also defined as
- named individual
Concrete Conceptc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#ConcreteConcept
- has super-classes
- Top Concept c
- has sub-classes
- Event c
- is also defined as
- named individual
Decisionc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Decision
- has super-classes
- Activity c
- is also defined as
- named individual
Documentc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Document
- has super-classes
- Information Object c
- is also defined as
- named individual
Eventc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#Event
- has super-classes
- Concrete Concept c
- is also defined as
- named individual
Geometric Entityc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#GeometricEntity
- has super-classes
- Representation c
- is also defined as
- named individual
Machine readable rulec back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/MachineReadableRule
- has super-classes
- Abstract Concept c
- is also defined as
- named individual
Objectificationc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#Objectification
- has super-classes
- Abstract Concept c
- has sub-classes
- Allocation c
- is also defined as
- named individual
Permitc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Permit
- has super-classes
- Information Object c
- is also defined as
- named individual
Permit requestc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/PermitRequest
- has super-classes
- Information Object c
- is also defined as
- named individual
Projectc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Project
- has super-classes
- Entity c
- is also defined as
- named individual
Requirementc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#Requirement
- has super-classes
- Information Object c
- is also defined as
- named individual
Temporal Entityc back to ToC or Class ToC
IRI: https://w3id.org/sml/def#TemporalEntity
- has super-classes
- Representation c
- is also defined as
- named individual
Typec back to ToC or Class ToC
IRI: https://w3id.org/sml/def#Type
- has super-classes
- Abstract Concept c
- has sub-classes
- Concept Type c
- is also defined as
- named individual
Verificationc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/Verification
- has super-classes
- Activity c
- is also defined as
- named individual
Verification methodc back to ToC or Class ToC
IRI: https://data.digichecks.eu/def/VerificationMethod
- has super-classes
- Activity c
- is also defined as
- named individual
Object Properties
- decision outcome
- is address for
- is geometry of
- is parcel for
- is permit for
- is permit for request
- logical operator
- result
decision outcomeop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/decisionOutcome
- has range
- enumeration c
- is also defined as
- data property, named individual
is address forop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/isAddressFor
- is inverse of
- has Address op
- is also defined as
- named individual
is geometry ofop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/isGeometryOf
- is inverse of
- has geometry op
- is also defined as
- named individual
is parcel forop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/isParcelFor
- is inverse of
- has parcel op
- is also defined as
- named individual
is permit forop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/isPermitFor
- is inverse of
- is request for permit op
- is also defined as
- named individual
is permit for requestop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/isPermitForRequest
- is inverse of
- has permit request op
- is also defined as
- named individual
logical operatorop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/logicalOperator
- has range
- enumeration c
- is also defined as
- data property, named individual
resultop back to ToC or Object Property ToC
IRI: https://data.digichecks.eu/def/result
- has range
- enumeration c
- is also defined as
- data property, named individual
Data Properties
application datedp back to ToC or Data Property ToC
IRI: https://data.digichecks.eu/def/applicationDate
- has super-properties
- date dp
- has range
- date
- is also defined as
- named individual
commentdp back to ToC or Data Property ToC
IRI: http://www.w3.org/2000/01/rdf-schema#comment
- has range
- string
date dp back to ToC or Data Property ToC
IRI: https://data.digichecks.eu/def/date
- has sub-properties
- application date dp, expiration date dp, issue date dp
- has range
- date
- is also defined as
- named individual
expiration datedp back to ToC or Data Property ToC
IRI: https://data.digichecks.eu/def/expirationDate
- has super-properties
- date dp
- has range
- date
- is also defined as
- named individual
issue datedp back to ToC or Data Property ToC
IRI: https://data.digichecks.eu/def/issueDate
- has super-properties
- date dp
- has range
- date
- is also defined as
- named individual
pref labeldp back to ToC or Data Property ToC
IRI: http://www.w3.org/2000/01/rdf-schema#label
- has range
- string
versiondp back to ToC or Data Property ToC
IRI: https://data.digichecks.eu/def/version
- has range
- string
- is also defined as
- named individual
Legend back to ToC
op: Object Properties
dp: Data Properties
ni: Named Individuals
References back to ToC
Add your references here. It is recommended to have them as a list.Acknowledgments back to ToC
The authors would like to thank Silvio Peroni for developing LODE, a Live OWL Documentation Environment, which is used for representing the Cross Referencing Section of this document and Daniel Garijo for developing Widoco, the program used to create the template used in this documentation.