Yan Sun et al.: A Rule Verification System for Smart Buildings. (2017)journals/tetc/SunWLG1710.1109/TETC.2016.2531288A Rule Verification System for Smart Buildings.4Yan Sun 00041Tin-Yu Wu2Xinming Li3Mohsen Guizani4367-379IEEE Trans. Emerg. Top. Comput.IEEE Trans. Emerg. Top. Comput.532017provenance information for RDF data of dblp record 'journals/tetc/SunWLG17'2020-05-15T17:13:46+0200