Add SemWebLib.
Assert all triples at once.