By adding the epistemic operator "K" to the description logic, the epistemic description logic can be obtained.
在描述逻辑中加入认知运算符k可以得到认知描述逻辑。
In the model an associated object was presented, so the permissions can be obtained through roles and objects. The access control processes were described with the description logic.
模型引入客体与客体的关联,使得权限既可以通过角色也可以通过客体获得,并采用描述逻辑对模型访问控制过程进行了形式化描述。
As the description logic in expressive power and computational complexity of the balance between the relationships, this is considered a knowledge-based application in a very attractive formal tool.
不同的描述逻辑语言具有不同的表达能力,而每种语言推理算法的计算复杂性是由它的表达能力决定的。
应用推荐