Within this model, semanticanalyses are discussed for axioms of the formal reasoning system in modal logic.
其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析。
2
This enables semantic queries to target individual elements of the service metadata, and meaningful dependency analyses to take place prior to making changes.
这支持语义查询针对服务元数据的各个元素,以及在做出更改前进行有意义的依赖项分析。
3
The paper analyses the semantic characteristics of noun phrase, and introduces its processing process in a detail.