Type System for Naval Essential Tasks

Knowledge graphs are information networks with a specific topology. The topology is simple enough that we do not need graph grammars to specify the subgraphs that belong to a mission graph. Knowledge graphs can be modeled as terms of an algebraic data type in a type system called Flutes. Flutes was created by Datanova Scientific to rigorously analyze formal approaches to semantic integration. This project will allow us to demonstrate the capability of Flutes to implement a large knowledge graph that has built-in support for collecting and collapsing high-dimensional data into low-dimensional data. In addition, we anticipate using types in Flutes for summarizing facts. Hence, types in Flutes can be used to optimize queries based on column values similar to columnar and NOSQL databases. By using Flutes to implement a tactical knowledge base, front-end applications would not need to include code for data validation, checking integrity constraints, or mission data extraction.