如何从描述逻辑知识库中提取/构建域模型

Question

希望我的问题不是琐碎的，或者已经在其他地方回答了。

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

问题
是否需要执行以下任何程序：

1. 使用来自 K _mySys 的个人，创建一个新 从定义中推断出的带有声明的本体 T _d 吗？
   
2. 排除与域d不相关的所有信息，即 K _mySys 中的所有个人 不属于 T _d 中的任何概念？
   
3. 包括 来自 T _d 的所有信息，因此最终的本体是 原始模型的特定领域模型？

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

我已经广泛地搜索有关该问题的论文，并在本体合并，映射，匹配，投影等方面找到了结果……但是在我看来，问题的表述与就我而言。问题隐约地类似于合并，只是我想保留领域知识并删除无关的系统知识。

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