Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic | IEEE Conference Publication | IEEE Xplore