RDF and Logic: Reasoning and Extension | IEEE Conference Publication | IEEE Xplore