Semantic Represenation on Sort Hierarchy with Multiple Negations and Temporal Information

在本研究中，我们提出了一个多否定推理系统，一个是普通否定连接词，另一个是先天强否定。为了阐明这些多重否定的影响，我们在排序层次结构中展示了排他性、全局性和其他否定范围。在时间推理方面，我们将体貌信息纳入到普通时态逻辑中。作为一个应用程序，我们提供了一个时间地图系统，可以看到在HTML界面。此外，我们还用模态逻辑形式化了方面信息，给出了一个多维模态逻辑及其可判定性，为了评估多排序层次的可行性，我们需要考虑这些局部本体之间的可达性。该框架采用多Agent系统实现，并考虑了多Agent之间的通信通道。最后，提出了多个局部本体（排序层次）的融合机制。我们使用身份条件的概念，以找到远程本体之间的对应排序，并显示了一个程序来整合或合并它们。最后讨论了该方法在语义网研究中的适用性。

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.