Digichecks ontology
language en

Digichecks ontology

Release: 08-07-2025

Latest version:
https://data.digichecks.eu/def/
Revision:
1.0
Authors:
DigiChecks
Imported Ontologies:
rdf-schema#
owl
shacl#
Download serialization:
JSON-LD RDF/XML N-Triples TTL
License:
http://insertlicenseURIhere.example.org
Visualization:
Visualize with WebVowl
Cite as:
DigiChecks. Revision: 1.0.
Ontology Specification Draft

Abstract

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.

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.

Namespace declarations

Table 1: Namespaces used in the document
dcterms<http://purl.org/dc/terms/>
digic:<https://data.digichecks.eu/def>
gis<http://www.opengis.net/ont/geosparql#>
idsa<https://w3id.org/idsa/core/>
ns<http://www.w3.org/2006/vcard/ns#>
owl<http://www.w3.org/2002/07/owl#>
prov<http://www.w3.org/ns/prov#>
rdf<http://www.w3.org/1999/02/22-rdf-syntax-ns#>
rdfs<http://www.w3.org/2000/01/rdf-schema#>
sh<http://www.w3.org/ns/shacl#>
skos<http://www.w3.org/2004/02/skos/core#>
sml<https://w3id.org/sml/def#>
xml<http://www.w3.org/XML/1998/namespace>
xsd<http://www.w3.org/2001/XMLSchema#>

Digichecks: Overview back to ToC

This ontology has the following classes and properties.

Classes

Object Properties

Named Individuals

Digichecks: Description back to ToC

The top-level permit ontology contains the relevant terminology related to permitting processes. Based on Semantic Modelling and Linking (SML, EN 17632), it contains the core terminology for DigiChecks services to communicate unambiguously about a permitting process.

Cross-reference for Digichecks classes, object properties and data properties back to ToC

This section provides details for each class and property defined by Digichecks.

Classes

Allocationc back to ToC or Class ToC

IRI: https://data.digichecks.eu/def/Allocation

has super-classes
Information Object 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

Generic Requirementc back to ToC or Class ToC

IRI: https://data.digichecks.eu/def/GenericRequirement

has super-classes
Requirement c
is also defined as
named individual

Information Objectc back to ToC or Class ToC

IRI: https://w3id.org/sml/def#InformationObject

has super-classes
Object c
has sub-classes
Allocation c, Association c, Document c, Machine readable rule c, Permit c, Permit request c, Representation c, Requirement c

Machine readable rulec back to ToC or Class ToC

IRI: https://data.digichecks.eu/def/MachineReadableRule

has super-classes
Information Object 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
Entitiy c
is also defined as
named individual

Project Requirementc back to ToC or Class ToC

IRI: https://data.digichecks.eu/def/ProjectRequirement

has super-classes
Requirement 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
has sub-classes
Generic Requirement c, Project Requirement 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 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

Named Individuals

Allocationni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Allocation

has facts
pref label dp "Allocation"
is also defined as
class

Decisionni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Decision

has facts
pref label dp "Decision"
is also defined as
class

decision outcomeni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/decisionOutcome

has facts
pref label dp "decision outcome"
is also defined as
object property, data property

Documentni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Document

has facts
pref label dp "Document"
is also defined as
class

Generic Requirementni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/GenericRequirement

has facts
pref label dp "Generic Requirement"
is also defined as
class

has as outputni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/hasAsOutput

has facts
pref label dp "has as output"
is also defined as
object property

has parcelni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/hasParcel

has facts
pref label dp "has parcel"
is also defined as
object property

has permit requestni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/hasPermitRequest

has facts
pref label dp "has permit request"
is also defined as
object property

has requirementni back to ToC or Named Individual ToC

IRI: https://w3id.org/sml/def#hasRequirement

has facts
pref label dp "has requirement"
is also defined as
object property

has sourceni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/hasSource

has facts
pref label dp "has source"
is also defined as
object property

has verification methodni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/hasVerificationMethod

has facts
pref label dp "has verification method"
is also defined as
object property

is address forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isAddressFor

has facts
pref label dp "is address for"
is also defined as
object property

is allocation forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isAllocationfor

has facts
pref label dp "is allocation for"
is also defined as
object property

is collected inni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isCollectedIn

has facts
pref label dp "is collected in"
is also defined as
object property

is controlled byni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isControlledBy

has facts
pref label dp "is controlled by"
is also defined as
object property

is decision forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isDecisionFor

has facts
pref label dp "is decision for"
is also defined as
object property

is derived inni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isDerivedIn

has facts
pref label dp "is derived in"
is also defined as
object property

is expressed asni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isExpressedAs

has facts
pref label dp "is expressed as"
is also defined as
object property

is geometry ofni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isGeometryOf

has facts
pref label dp "is geometry of"
is also defined as
object property

is input forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isInputFor

has facts
pref label dp "is input for"
is also defined as
object property

is made byni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isMadeBy

has facts
pref label dp "is made by"
is also defined as
object property

is parcel forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isParcelFor

has facts
pref label dp "is parcel for"
is also defined as
object property

is permit forni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isPermitFor

has facts
pref label dp "is permit for"
is also defined as
object property

is permit for requestni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isPermitForRequest

has facts
pref label dp "is permit for request"
is also defined as
object property

is request for permitni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isRequestForPermit

has facts
pref label dp "is request for permit"
is also defined as
object property

is submitted byni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isSubmittedBy

has facts
pref label dp "is submitted by"
is also defined as
object property

is verified inni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/isVerifiedIn

has facts
pref label dp "is verified in"
is also defined as
object property

logical operatorni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/logicalOperator

has facts
pref label dp "logical operator"
is also defined as
object property, data property

Logical operator list for requirementsni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/95414b38-5a62-3cf9-beed-42cbc73f4b9e

has facts
pref label dp "Logical operator list for requirements"

Machine readable ruleni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/MachineReadableRule

has facts
pref label dp "Machine readable rule"
is also defined as
class

outcomes for Decision for permitsni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/34e82a97-fdd5-3176-ab61-f75c778939ca

has facts
pref label dp "outcomes for Decision for permits"

Parcelni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Parcel

has facts
pref label dp "Parcel"
is also defined as
class

Permitni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Permit

has facts
pref label dp "Permit"
is also defined as
class

Permit requestni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/PermitRequest

has facts
pref label dp "Permit request"
is also defined as
class

Projectni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Project

has facts
pref label dp "Project"
is also defined as
class

Project Requirementni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/ProjectRequirement

has facts
pref label dp "Project Requirement"
is also defined as
class

Requirementni back to ToC or Named Individual ToC

IRI: https://w3id.org/sml/def#Requirement

has facts
pref label dp "Requirement"
is also defined as
class

roleni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/role

has facts
pref label dp "role"
is also defined as
data property

shall be compliant withni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/shallBeCompliantWith

has facts
pref label dp "shall be compliant with"
is also defined as
object property

Top Conceptni back to ToC or Named Individual ToC

IRI: https://w3id.org/sml/def#TopConcept

has facts
pref label dp "Top Concept"
is also defined as
class

Verificationni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/Verification

has facts
pref label dp "Verification"
is also defined as
class

Verification methodni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/VerificationMethod

has facts
pref label dp "Verification method"
is also defined as
class

was described byni back to ToC or Named Individual ToC

IRI: https://data.digichecks.eu/def/wasDescribedBy

has facts
pref label dp "was described by"
is also defined as
object property

Legend back to ToC

c: Classes
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.