I have "User" class, "username" data property, an individual "user1", and i tell "user1" is a "User".
Then i want to tell "User Equal Class" that when there's no "username assertion" on user1, its not a "User".
like an user must have username data property assertion to be filled, if not the reasoning should failed.
can i do this with owl ?
