论文部分内容阅读
目前，在对本体的研究中，存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析，用代数语言给出了四种概念分类的形式化描述。并扩展UML，可视化地表示这四种概念分类。同时，用OWL实现了概念分类的描述。
基于本体的子类／父类关系的分类体系形式化表示
【摘 要】
：
目前，在对本体的研究中，存在着形式化程度不够的问题。文章针对本体模型中的概念分类进行分析，用代数语言给出了四种概念分类的形式化描述。并扩展UML，可视化地表示这四种概念分
【机 构】
：
云南师范大学计算机科学系
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2008年3期
【基金项目】
：
基金项目：云南省重点实验室开放基金资助项目,云南省自然科学基金重点项目（2004F00062）资助,省院省校合作项目（2004YX42）资助.
其他文献
本文研究了α－硫代苯甲酰基硫代甲酰吗啉与丁炔二酸二乙酯的反应。结果表明生成的产物为取代噻吩。
辽宁省朝阳县瓦房镇位于辽宁省朝阳县南端,东与六家子镇、南与葫芦岛市、西与胜利镇、北与黑牛乡相邻,近年来该镇畜牧业发展迅速,规模饲养场户不断涌现,散养户成遍地开花之势
图G(V,E)的正常k-全染色σ称为G(V,E)的k-点强全染色当且仅当 v∈V(G),N[v]中的元素染不同色,其中N[v]={u|uv∈E(G)}∪{v},xvsT(G)=min{k|存在G的k-点强全染色}称为G(V,E)的
本文利用矩阵的标准相关分解给出了矩阵方程ATXA=D在SRpnxn上最小二乘解的通式.
畜禽屠宰监督工作的好坏直接关系到畜产品质量安全问题,关系到人民群众身体健康和社会稳定,做为从事畜禽屠宰监管工作者就要提高认识,端正工作态度,依照法律法规,行之有效地
猪肉脂肪含量对于消费者感受熟猪肉良好的嫩度、风味和多汁性具有重要作用。据报道,2.5%~3.0%的肌内脂肪含量是满足美国消费者对熟猪肉品质接受所必需的,而大多数美国猪肉进
随着中国国民经济不断发展,广大人民群众尤其重视身体的健康,在畜牧业得到了长足发展的同时,人们对于畜禽产品的安全质量问题也日益关注。而畜牧兽医综合执法对于保证我国畜
教学参考文献数据系统的构建是高校图书馆服务教学、科研最直接的体现，是集文本、图片、音像、动作为一体的信息资源服务系统。本文探讨了数字化时代加强具有专业特色的高校图
首先通过在砜代数M中引入 滤子，然后又给出了M中次极大 滤子的概念，并讨论了它的性质，得到BR0代数的每个 滤子都可分解为一些次极大 滤子的交，特别地，在满足 滤子降链条件的BR0代