View Source

{bookmark:url=http://www2006.org/programme/files/pdf/p149.pdf}Defines a graphical notation based on facets (literal/variable equality assertions) and interconnections between them{bookmark}