Encompassing RDF/OWL
We aim to build a layered stack of TypeDB databases for different cybersecurity protocols, like a pancake stack, each layer with a specific protocol for representing a particular aspect of the whole. Unified, they enable you to capture data and reason over the many aspects of the causal picture behind a successful threat.
Two of the standards we wish to embody in TypeQL, SPYDERISK and Mitre D3FEND are published as rdf/owl standards in turtle files, Our basic plan was to manually re-implement and improve on SPYDERISK in TypeQL, and to separately build a transpiler to dynamically convert the Mitre D3FEND rdf/owl into TypeQL, including converting the DL to functions.
Ideally, this transpiler could include some sort of test harness that could test the results of queries/reasoning to test they were identical. This is a long-term aim, because during the Grakn Warrior days, we had investigated deeply the porting of the Semantic Arts gists over, in a provable way....
