1

希望我的问题不是微不足道的或已经在其他地方得到回答。

问题描述 假设我们有一个代表软件架构
的 DL 知识库K mySys = (T sys , A mySys ) 。K mySys知识对软件组件（例如，API、存储、DB、服务器等）及其通信（例如，协议、授权、权限、数据流等）进行建模。术语部分 T sys在几个可能的模型之间共享，断言部分 A mySys是构成我的特定软件的资源的实例化。
现在，我们还假设我们有一个 DL“领域知识” K d = (Td , A d )包含特定领域的概念和角色定义，以及可能的个体。这种“领域知识”可以被认为是我们想要与我们的软件模型结合以起草某种报告的额外知识：例如，它可能包含与安全性、访问控制、密码学相关的概念。K mySys
中的一些知识与K d “相交” ，而另一些则不相交。相交的知识与领域建模相关，其余的不相关，可以丢弃。

问题
是否有任何程序：

  1. 使用来自K mySys的个体，使用从T d中的定义推断出的断言创建一个新的本体 。
  2. 排除与域 d 无关的所有信息，即K mySys中不属于T d中任何概念的所有个人？
  3. 包括来自T d的所有信息，以便最终的本体是原始模型的一种特定于领域的模型？


简而言之：如何从知识K mySys中实例化现有个人的领域知识K d？

我已经在谷歌上广泛搜索了关于这个问题的论文，并找到了关于本体合并、映射、匹配、投影等等的结果……但在我看来，问题的表述与我的情况不同. 这个问题隐约类似于合并，只是我想保留领域知识并丢弃不相关的系统知识。

我有点困惑......
这是投影问题吗？
这是一个合并问题吗？
有人可以指点我相关的研究吗？

4

0 回答 0