An object-oriented approach to data/knowledge modeling based on logic | IEEE Conference Publication | IEEE Xplore