add critical infrastructure and BSI-KritisV sectors #1792

[viktorwichern]

Summary of the discussion

Some sectors that are part of the critical infrastructure as defined by the BSI-KritisV (see for example under: https://www.gesetze-im-internet.de/bsi-kritisv/BJNR095800016.html) were added, along with the concept of critical infrastructure.

BSI-KritisV sector division: The BSI-KritisV sector division is a sector division by the German regulation BSI-Kritisverordnung (BSI-KritisV) defining eight sectors that contain critical infrastructures. BSI-KritisV energy sector: The BSI-KritisV energy sector is an energy transformation sector defined by the BSI-KritisV sector division (§ 2 BSI-KritisV). BSI-KritisV transport sector: The BSI-KritisV transport sector is a transport sector defined by the BSI-KritisV sector division (§ 8 BSI-KritisV). critical infrastructure role: Critical infrastructure role is the role of artificial objects, such as plants and systems, that are assessed to be cruicial for the preservation of societal functions, health, safety and economical or social welfare. critical infrastructure: Critical infrastructure is an object aggregate of artificial objects and systems which have the critical infrastructure role.

Type of change (CHANGELOG.md)

Add

• BSI-KritisV sector division
• BSI-KritisV energy sector
• BSI-KritisV transport sector
• critical infrastructure role
• critical infrastructure

Workflow checklist

Automation

Closes #1792

PR-Assignee

• [ ] 🐙 Follow the Pull Request Workflow
• [ ] 📝 Update the CHANGELOG.md
• [ ] 📙 Add #'s to term tracker item

Reviewer

• [ ] 🐙 Follow the Reviewer Guide
• [ ] 🐙 Provided feedback and show sufficient appreciation for the work done

[viktorwichern]

Since there is no energy sector in the OEO I changed BSI-KritisV energy sector to be a subclass of energy transformation sector as it seemed to fit the description of the BSI-KritisV.

[viktorwichern]

I additionally axiomatised the BSI-sectors as equivalent classes, I wanted to add the critical infrastructure role as well but it didn't work.

[l-emele]

I additionally axiomatised the BSI-sectors as equivalent classes, I wanted to add the critical infrastructure role as well but it didn't work.

Equivalent to what exactly?

[l-emele]

BSI-KritisV energy sector and BSI-KritisV transport sector should be individuals, not classes. That is why the definitions start with the instead of a.

[viktorwichern]

BSI-KritisV energy sector and BSI-KritisV transport sector should be individuals, not classes. That is why the definitions start with the instead of a.

I changed them into individuals, but if I understand correctly BSI-KritisV sector division also has to be an individual, as the other sector divisions are individuals as well.

[l-emele]

I changed them into individuals, but if I understand correctly BSI-KritisV sector division also has to be an individual, as the other sector divisions are individuals as well.

Yes exactly.

[viktorwichern]

Are any further corrections necessary?