DIS@DIS: a system for semantic data integration under integrity constraints | IEEE Conference Publication | IEEE Xplore