如何限制类的数据属性断言必须用OWL填充？

Question

我有“用户”类，“用户名”数据属性，个人“user1”，我告诉“user1”是“用户”。

然后我想告诉“User Equal Class”，当user1上没有“用户名断言”时，它不是“用户”。

就像用户必须要填写用户名数据属性断言一样，如果不是，推理应该失败。

我可以用猫头鹰做这个吗？