added forall and at least one support to GSN strategies

ge-high-assurance · Dec 19, 2023 · e7187bb · e7187bb
1 parent a736aa9
commit e7187bb
Show file tree

Hide file tree

Showing 525 changed files with 379 additions and 91,041 deletions.
diff --git a/examples/ingestion-packages/OEM-Ingestion-Package/GSN-Ontology/OwlModels/GSN-core.owl b/examples/ingestion-packages/OEM-Ingestion-Package/GSN-Ontology/OwlModels/GSN-core.owl