A semantic graph editing tool