Semantic Graph, Gql, Graph Theory, Knowledge, Ontology.
semantics based on a description logic (DL). the DL current name was given in the 80’s. It aimed at giving formal logic based semantics to Frames and semantic networks. The foundations of first-order logic were developed independently by Gottlob Frege and Charles Sanders Peirce end of XIXe century,