This repository contains all built and reused ontologies for the GENIAL! project.
This entails a GENIAL! Basic Ontology, which is based on BFO (Basic Formal Ontology) and compliant to the ISO 26262 vocabulary. It contains necessary terms for modelling cars components, properties, functions and dependencies.
It further entails car model ontologies (including reusing the ontology of units of measure and related concepts) and context model ontologies.
Scope of this repository is much of what is related to knowledge representation in the project, including:
- OWL ontologies
- SWRL rules
- SHACL constraints
- Common Logic axioms/sentences
- SPARQL queries
- Reasoning
Domains including:
- hardware/software
- eFuse
- sensors
- innovation