The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic - Frithjof Dau ((Lecture Notes in Computer Science))