Knowledge representation and reasoning in a system integrating logic in objects | IEEE Conference Publication | IEEE Xplore