Type System for Naval Essential Tasks Navy STTR FY2015.A Sol No.: Navy STTR FY2015.A Topic No.: N15A-T017 Topic Title: Type System for Naval Essential Tasks Proposal No.: N15A-017-0201 Firm: Datanova Scientific, LLC 3000 Chestnut Ave Suite 109A Baltimore, Maryland 21211 Contact: Roderick Moten Phone: (877) 619-6682 Abstract: 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. Benefits: - demonstrate that Flutes is suitable for representing knowledge as a graph. - graph data mining algorithms can be utilized in such a Flutes knowledge graph. - Flutes subtyping and coercions can be used for collecting and collapsing high-dimensional data into low-dimensional data instead of graph grammars and graph transformation. - types can be used for optimizing queries Return