UC知道翻译，请不要用机器翻译
来源：百度知道 编辑：UC知道 时间：2024/05/15 01:46:28
Definition 3 (best Profile cover) A conjunction E of some services of an ontology T is called a best Profile cover of Q using T iff:
• E is a Pcover of Q using T, and
• there doesn't exist a Pcover E' of Q using T such that (\PrestE'(Q)\,\PmissE'(Q)\) < (\PrestE(Q)\,\PmissE(Q)\), where < stands for the lexicographic order.
• E is a Pcover of Q using T, and
• there doesn't exist a Pcover E' of Q using T such that (\PrestE'(Q)\,\PmissE'(Q)\) < (\PrestE(Q)\,\PmissE(Q)\), where < stands for the lexicographic order.
定义 3(最好描绘掩护) 存在论 T 的一些服务的连接词 E 叫做 Q 的最好描绘掩护使用 T iff:
? E 是 Q 的 Pcover 使用 T, 和
? 那里不存在 Pcover E' Q 使用 T 以致于 (\PrestE'(Q)\,\ PmissE'(Q)\)< (\PrestE(Q)\,\ PmissE(Q)\), 哪里< 代表 lexicographic 次序。