A Formal Framework for Coupling Document Spanners with Ontologies | IEEE Conference Publication | IEEE Xplore