Semantic Represenation on Sort Hierarchy with Multiple Negations and Temporal Information

在这项研究中，我们提出了一个包含多个否定的推理系统，一个是普通否定连接词，另一个是固有的强否定。为了弄清这些多重否定的影响，我们在一个排序层次中展示了否定的排他性、整体性和其他范围。对于时间推理，我们将体信息包含在普通时态逻辑中。作为一个应用程序，我们提供了一个可以在HTML界面上看到的时间地图系统。此外，我们还用模态逻辑对方面信息进行了形式化，给出了一个多维的模态逻辑及其可判定性，为了评估多个排序层次的可行性，我们需要考虑这些局部本体之间的可达性。该框架采用多智能体系统实现，并考虑了它们之间的通信通道。最后，提出了一种多个局部本体(排序层次)的融合机制。我们使用同一性条件的概念来找到远程本体之间的对应排序，并展示了集成或合并它们的过程。此外，我们还讨论了它对语义网研究的适用性。

In this study, we proposed an inference system with multiple negations ; one is the ordinary negative connective and the other is the innate strong negation. In order to clarify the influence of these multiple negations, we showed the exclusivity, globality, and other scopes of negation in a sort hierarchy. As for temporal reasoning, we included the aspectual information into the ordinary tense logic. As an application, we offered a time-map system that could be seen on HTML interface. In addition, we formalized the aspect information in terms of modal logic, and we showed a many dimensional modal logic and its decidability.In order to assess the feasibility of multiple sort hierarchies, we need to consider the accessibility between those local ontologies. We implemented the framework by multi-agent system, and considered communication channels between them. Also, we provided the system of belief fusion between agents.Finally, we proposed an amalgamation mechanism of multiple local ontologies (sort hierarchies). We used the notion of identity conditions to find corresponding sorts between remote ontologies, and showed a procedure to integrate or to merge them. Furthermore, we discussed the applicability to the study of semantic web.