Graph structures for knowledge representation and reasoning third international workshop, GKR 2013, Beijing, China, August 3, 2013 ; revised selected papers (Springer, 2014)