Chain resolution for the Semantic WebTammet, TanelAutomated Reasoning : Second International Joint Conference, IJCAR 2004 : Cork, Ireland, July 4-8, 2004 : proceedings2004 / p. 307-320