84、利用OWL和F - Logic规则及实物期权思维优化安全投资决策

利用OWL和F - Logic规则及实物期权思维优化安全投资决策

1. 基于OWL和F - Logic的角色供应规则支持

在访问控制领域，有多种方法用于验证策略正确性、捕获约束和做出访问控制决策。例如，Giunchiglia等人提出了关系模型（RelBAC）来表示访问控制规则，并使用描述逻辑（DL）对策略规则进行形式化和推理；Bertino等人提出了用于访问控制模型推理的逻辑形式体系；ROWLBAC定义了一个OWL本体来表示基于角色的访问控制（RBAC）和基于属性的访问控制策略。

我们的工作相较于上述方法有两大优势：
- 表达能力 ：我们提出的框架具备强大的规则定义能力，涵盖算术项、聚合、强否定、属性量词、属性基数以及多类别的组合属性表达式，同时还利用了DL推理的优势。
- 强否定 ：现有的基于OWL/DL的方法基于开放世界假设和弱否定。因此，包含否定的职责分离（SoD）约束在OWL中虽可表述，但只有当所有角色明确存储相关信息时，OWL推理机才能强制执行。我们建议额外使用带有强否定的逻辑程序来严格执行SoD。Nejdl等人用F - Logic对凭证本体和约束进行形式化以指定访问控制策略，但未考虑DL。纯F - Logic方法虽能建模本体和访问控制策略，但我们的混合DL/F - Logic方法能在不指定具体实例的情况下表示类的存在信息，而纯F - Logic只能用Skolem函数近似表达。

目前，在访问控制策略建模领域，尚未有将OWL DL与F - Logic结合以解决仅关注DL或F - Logic的现有方法缺陷的工作。F - OWL是一个使用F - Logic对OWL本体进行推理的推理