论文部分内容阅读
对描述逻辑SHOIN（D）进行扩展，提出一种能处理分层信度知识的描述逻辑PB-SHOIN（D），给出了PB-SHOIN（D）的语法和语义，并证明了PB-SHOIN（D）具有超协调性和非单调性，为表示和处理语义Web中具有分层信度的知识提供了一种有效方法．
能处理分层信度知识的描述逻辑PB-SHOIN（D）
【摘 要】
：
对描述逻辑SHOIN（D）进行扩展，提出一种能处理分层信度知识的描述逻辑PB-SHOIN（D），给出了PB-SHOIN（D）的语法和语义，并证明了PB-SHOIN（D）具有超协调性和非单调性，为表示和处理语义Web中具有
【机 构】
：
上海财经大学计算机科学与技术系
【出 处】
：
吉林大学学报(理学版)
【发表日期】
：
2008年2期
其他文献
某排气支管采用QTRSi4Mo耐热铸铁一体铸造成型,在运行约2 000h后发生开裂。利用直读光谱仪、拉伸试验机、扫描电子显微镜、光学显微镜等设备,对排气支管的开裂原因进行了分析
某公司生产的Ф0.5mm金属压簧在使用一段时间后发生断裂,采用宏观观察、化学成分分析、拉伸性能测试、断口微观形貌分析、疲劳测试等方法,对金属压簧的断裂原因进行了分析。
在相同信噪比的情况下,通过数值仿真对夏克-哈特曼波前传感器阵列光斑的4种质心探测算法进行质心探测误差对比.仿真结果表明,强加权质心算法具有较好的适用性,该算法在信噪比
给出变量有上界的线性规划问题的对偶单纯形算法,该算法包含了一般线性规划问题的对偶单纯形算法,为解变量有上界的线性规划问题提供了又一种方法.
提出一种基于实例的非真实感图像绘制算法,该算法利用基于块的纹理合成方法,在搜索匹配过程中应用粒子群优化算法加快纹理合成速度.通过参数的调整控制匹配块在结构与细节间的倾向性,只要输入一个艺术风格画样本就可以把该图的绘画风格传输到目标图中,从而实现图像类比.
通过对两个有代表性的算法Apriori和FP-Growth的剖析, 说明频集模式挖掘的过程, 比较有候选项集产生和无候选项集产生算法的特点, 并给出FP-tree结构的构造方法以及对挖掘关
某电厂300MW锅炉高温过热器管在进行水压试验时发生开裂,采用宏观观察、化学成分分析、金相检验、硬度测试、拉伸试验、微观分析、X射线能谱分析等方法,对高温过热器管的开裂
研究一个数学金融学最优投资理论中的抛物型Monge—Ampeère方程初值问题：VsVyy+ryVyVyy-θV^2y=0,Vyy<0,(s,y)∈[0,T)×R；V(T,y)=1-e^-λy,y∈R.建立了其解V=V(s，y)的
考察了底空间为ΣN×S1的疯狂动力系统的拓扑熵, 确定其范围为lg N～2lg N; 并给出当纤维映射中含有旋转映射时该系统拓扑熵的范围.
研究调QNd：YAG（1．064μm）激光器泵浦的AgGaS2光学参量振荡器．根据三波互作用的相位匹配原理，分析AgGaS2光学参量振荡器的Ⅰ类相位匹配角、角度调谐曲线和有效非线性系数等动力学参