该文用F—logic程序写出了一个概念语义网F—Net，从而指出了实现语义网的一种可能的新方法。用F——logic来实现语义网的优点是：可以......

主要讨论了在基于四元三角网 ( Quaternary Triangular Mesh,简称 QTM)球面层次格网剖分的基础上 ,通过单元递归细化来确定 2个球......

描述了一种新的具有例外的多继承语义网络推理方法－继承的信任理论，这是一种很具有吸引力的可废止继承方法。它应用于非循环语义网络......

该文用Ｆ－ｌｏｇｉｃ程序写出了一个概念语义网Ｆ－Ｎｅｔ，从而指出了实现语义网的一种可能的新方法，用Ｆ－ｌｏｇｉｃ来实现语义网的优点是；可以利用Ｆ－ｌｏｇｉｃ程序对该语义网的语义网......