【摘 要】
：
提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible MarkupLanguage)和本体论技术的知识描述
论文部分内容阅读
提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible MarkupLanguage)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.
其他文献
借助于Kane方法建立了充液中心刚体上带有挠性附件的航天器的开链多体动力学模型.采用了混合坐标法和弹簧-质量块液体晃动等效力学模型,所得方程形式简洁.由于引入了2级附件,
对太湖梅梁湾及贡湖两个1000m^2湖滨带观测场为期1年的调查研究表明：梅梁湾观测场沉水植物仅有菹草1种；贡湖观测场沉水植物虽多达3种，但其中并没有菹草生长。分析可知：①梅梁湾观
采用过渡液相TLP(Transient Liquid Phase)连接技术,以金属Ti,Cu,Ni箔构成复合焊料连接TiAl和IN718合金.研究了保温时间对接头界面结构的影响.实验结果表明:采用Ti-Cu,Ti-Ni
介绍了微胶囊，微胶囊技术及几种主要纸用微胶囊生产方法的原理和简单流程，以及微胶囊在造纸上的几种应用途径并指出今后的发展趋势。
利用N-S方程对9个上翘后体模型进行了气动力计算,主要研究后体几何参数和流动参数对上翘后体阻力系数的影响.研究结果表明,后体的压差阻力系数分别随上翘角、收缩比的增加及
痴呆是由于大脑器质性或代谢性病变造成的进行性智能衰退。是指智能活动在到达相当水平之后再出现进行性衰退。
高超声速三维化学非平衡绕流流场的数值模拟中,在计算初期容易发生组元密度出现负值的非物理现象,另外源项的刚性是影响计算稳定性和收敛速度的主要原因.根据源项线性化理论,
随着现代医学的发展及行为科学的不断深入，精神医学与其他学科关系越来越密切，综合医院的内、外、妇、儿等科中有众多的精神卫生问题，需要精神科医生的配合，咨询及提供诊疗和处理