Ontological interpretation of object-oriented programming abstractions | IEEE Conference Publication | IEEE Xplore