In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.
在本知识库系统模型中，知识表示采用一阶谓词(SDSS)逻辑和案例两者相结合的方式。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
应用推荐