Reasoning over Knowledge Graphs in an Intuitionistic Description Logic?

In this work we present a way to model and reason over Knowledge Graphs via an Intuitionistic Description Logic called iALC. We also introduce a Natural Deduction System for iALC to reason over our modelling of the information of the Knowledge Graphs. Furthermore, we apply this modelling to some examples in a context that aims to support the concepts of Trust, Privacy, and Transparency.