Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents | IEEE Conference Publication | IEEE Xplore