Graph Structures for Knowledge Representation and Reasoning